Skip to content
View Saityi's full-sized avatar
Block or Report

Block or report Saityi

Report abuse

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

Report abuse

Pinned Loading

  1. a-tour-of-standard-ml a-tour-of-standard-ml Public

    A Tour of Standard ML (in the style of A Tour of Go)

    Standard ML 47 4

  2. 'An Archaeology-inspired database' (... 'An Archaeology-inspired database' (but in Racket) (https://www.aosabook.org/en/500L/an-archaeology-inspired-database.html) (Incomplete -- does not include queries)
    1
    #lang racket
    2
    (require racket/generic
    3
             racket/match
    4
             racket/pretty
    5
             struct-update
  3. felis felis Public

    (⚠️ Work in Progress ⚠️) Category theoretic abstractions and implementations

    Standard ML 2 1