There are no reviews yet. Be the first to send feedback to the community and the maintainers!
bright-ml
A statically-typed programming language based on "F-ing modules"modules
Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modulesseqmod
Full implementation of F-ing Modules, with the power of sequent calculusmodules-rs
An interpreter of F-ing modulessubtyping-agda
Some rudimentary proofs on subtypingmixml-sml
A MixML typechecker, written in Standard MLtutor-ml-modules
Tutorial on implementing an ML-like module systemucat
Univalent categories, displayed categories, and fibrationsfocused-modules
A type system for ML-style modules, solving the avoidance problem by focusing [Crary 2020]types-1ml
Type systems written in 1MLrain-ml
an abandoned projectregions
Is it possible to extend region inference to System F?capabilities
Capability Calculus for typed memory management [WIP]orthogonal-reflection
[WIP] Orthogonal-Reflection Constructionduploids
Duploidstypes
Type Systems: The rank 2 fragment of System F, linear types, kinds, and so ontwelf-proofs
Proofs for type systems and logical systems in Twelfexsub-ccc
Categorical semantics of functional type theory with explicit substitutionsmodal
Modal type systemcanonical-singleton-kinds
Singleton kinds, hereditarilyregalloc
Training in register allocationellet-l
A linearly typed assembly languageeval-order-poly-hs
Evaluation-order polymorphismlambda-nq
Lambda calculus with catch/throwvalue-recursion-fs
A type system for safe value recursion, written in F#typed-videocore
A typed assembly language for VideoCore IV [WIP]emsh
An ordinary shellrain-vm
A virtual machine for Rain ML [WIP]incr-cycle-detection
Incremental cycle detection implemented in Standard MLwell-founded-recursion
Well-founded recursion, written in Moscow MLtyped-assembly
Typed assembly languagewbt
Weight-balanced tree library for Standard MLcoc-forester
Bring `forester complete` to vimcoeffects
Analysis of context-dependencesml-lexer
A small lexer library for Standard MLtheb
A text-based web browser [WIP]fomega-typed-compilation
[WIP] Typed compilation of Fωtypes-bml
Type systems written in Bright MLLove Open Source and this site? Check out how you can help us