Skip to content
View jasonhemann's full-sized avatar
💭
Hi!
💭
Hi!
159 followers · 39 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Highlights

  • Pro

Block or report jasonhemann

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. microKanren microKanrenPublic

    The implementation of microKanren, a featherweight relational programming language

    Scheme 319 35

  2. miniKanren miniKanrenPublic

    An outdated miniKanren implementation with a not-pairo constraint

    Scheme 30 6

  3. micro-in-mini micro-in-miniPublic

    an implementation of a microKanren(-like language) in miniKanren

    Racket 27 4

  4. constraint-microKanren constraint-microKanrenPublic

    A microKanren framework for implementing constraints.

    Racket 19 4

  5. Roll-Your-Own-Relational-DSL Roll-Your-Own-Relational-DSLPublic

    Lambda Jam 2014: Roll Your Own Relational DSL

    Racket 15 1

  6. microKanren-DLS-16 microKanren-DLS-16Public

    microKanren implementation from DLS '16

    Racket 14 4