ghost-not-in-the-shell

Pinned Repositories

csci8980
Language:Agda00
Mono
Language:Agda00
pie
Language:Haskell0 1 00
playground
Language:Agda0 1 00
prometheus
OCaml library for reporting metrics to a Prometheus server
Language:OCaml00
Rosetta
Language:Agda1 1 00
tt-in-cagda
Simply typed lambda calculus in cubical agda
Language:Agda0 1 00
type-inference
Unification and type inference algorithms
Language:Haskell0 0 00

ghost-not-in-the-shell's Repositories

ghost-not-in-the-shell/Rosetta
Language:Agda1 1 00
ghost-not-in-the-shell/csci8980
Language:Agda00
ghost-not-in-the-shell/Mono
Language:Agda00
ghost-not-in-the-shell/pie
Language:Haskell0 1 00
ghost-not-in-the-shell/playground
Language:Agda0 1 00
ghost-not-in-the-shell/prometheus
OCaml library for reporting metrics to a Prometheus server
Language:OCaml00
ghost-not-in-the-shell/tt-in-cagda
Simply typed lambda calculus in cubical agda
Language:Agda0 1 00
ghost-not-in-the-shell/type-inference
Unification and type inference algorithms
Language:Haskell0 0 00