Skip to content
View forked-from-1kasper's full-sized avatar

Block or report forked-from-1kasper

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. anders anders Public

    Anders: Cubical Type Checker

    OCaml 18 1

  2. bravo bravo Public

    Castle Bravo: Experimental HoTT Implementation

    OCaml 6 1

  3. ground_zero ground_zero Public

    Ground Zero: Lean 4 HoTT Library

    Lean 46 1

  4. solar solar Public

    Very simple solar system simulator.

    F# 6

  5. hask hask Public

    Continuation of work on https://github.com/billpmurphy/hask, Haskell language features and standard libraries in pure Python.

    Python 2

  6. general-recursive-functions general-recursive-functions Public

    Toy point free language implementing GRF

    OCaml 2