Skip to content
Avatar

Organizations

@iiittheorygroup
Block or Report

Block or report iambrj

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

Pinned

  1. Relational interpreter for miniKanren, in miniKanren.

    Racket 10 3

  2. imin Public

    A nanopass compiler for (a subset of) Racket -> x86-64, implemented in Racket

    Racket 3 1

  3. dinterp Public

    Scheme interpreter in miniKanren, capable of program synthesis

    Racket 1

  4. notes Public

    notes I've made from books I've read, courses I've taken etc

    TeX 11 1

854 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Activity overview
Contributed to iambrj/notes, iambrj/imin, iambrj/eopl and 5 other repositories

Contribution activity

October 2021

Created 7 commits in 1 repository
49 contributions in private repositories Oct 2 – Oct 24

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