Pinned Repositories
bright-ml
A statically-typed programming language based on "F-ing modules"
focused-modules
A type system for ML-style modules, solving the avoidance problem by focusing [Crary 2020]
mixml-sml
A MixML typechecker, written in Standard ML
modules
Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules
modules-rs
An interpreter of F-ing modules
seqmod
Full implementation of F-ing Modules, with the power of sequent calculus
subtyping-agda
Some rudimentary proofs on subtyping
tutor-ml-modules
Tutorial on implementing an ML-like module system
types-1ml
Type systems written in 1ML
ucat
Univalent categories, displayed categories, and fibrations
elpinal's Repositories
elpinal/vimperator-root
elpinal/molino
Molino programming language — LISP in Go
elpinal/vimperator-selectd
Delete tabs selectively
elpinal/extract
Extract main content from HTML
elpinal/wring
elpinal/validate
Some validators
elpinal/diff
elpinal/benchinit