Skip to content
Avatar
909 followers · 359 following

Sponsoring

@samaaron

Achievements

Arctic Code Vault Contributor
GitHub Sponsor

Achievements

Arctic Code Vault Contributor
GitHub Sponsor

Organizations

@scala @clojure @js-scala @scala-lms @lampepfl
Block or Report

Block or report namin

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. inc Public

    an incremental approach to compiler construction

    Scheme 759 91

  2. dot Public

    formalization of the Dependent Object Types (DOT) calculus

    140 11

  3. io.livecode.ch Public

    interactive programming tutorials, powered by Github and Docker

    HTML 121 7

  4. logically Public

    explorations in core.logic

    Clojure 106 9

  5. staged-miniKanren Public

    staged relational interpreters: running with holes, faster

    Scheme 105 12

  6. unsound Public

    Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala

    HTML 71 3

2,856 contributions in the last year

Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

January 2022

Created 156 commits in 3 repositories
43 contributions in private repositories Jan 1 – Jan 28

Seeing something unexpected? Take a look at the GitHub profile guide.