elpinal

Pinned Repositories

• bright-ml

  A statically-typed programming language based on "F-ing modules"

  Language:Standard ML79311

• focused-modules

  A type system for ML-style modules, solving the avoidance problem by focusing [Crary 2020]

  Language:Standard ML10200

• mixml-sml

  A MixML typechecker, written in Standard ML

  Language:Standard ML10100

• modules

  Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules

  Language:Haskell27320

• modules-rs

  An interpreter of F-ing modules

  Language:Rust18100

• seqmod

  Full implementation of F-ing Modules, with the power of sequent calculus

  Language:Standard ML20200

• subtyping-agda

  Some rudimentary proofs on subtyping

  Language:Agda11201

• tutor-ml-modules

  Tutorial on implementing an ML-like module system

  Language:Rust10100

• types-1ml

  Type systems written in 1ML

  Language:Roff9100

• ucat

  Univalent categories, displayed categories, and fibrations

  Language:Agda10200

elpinal's Repositories