Skip to content
View rzrn's full-sized avatar
54 followers · 15 following

Block or report rzrn

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Pinned Loading

  1. hrin hrin Public

    An attempt to reinvent the garbage collector

    C 1

  2. starfish_prime starfish_prime Public

    Starfish Prime: Lisp Flavoured LCF

    Standard ML 4

  3. general-recursive-functions general-recursive-functions Public

    Toy point free language implementing GRF

    OCaml 2

  4. bravo bravo Public

    Castle Bravo: Experimental HoTT Implementation

    OCaml 7 1