Similar repositories to chrisosaurus/calculi:

• chrisosaurus/calculi github similar
• chrisosaurus/gentzen github similar
• SydneyTypes/PLATYPUS github similar
• ollef/region github similar
• lucch/pesca github similar
• pigworker/WhatRTypes4 github similar
• lexi-lambda/racket-higher-rank github similar
• RobertHarper/hott-notes github similar
• lukemaurer/sequent-core github similar
• chrisosaurus/icarus github similar
• Barry-Jay/bondi github similar
• discus-lang/salt github similar
• RobertHarper/TILT-Compiler github similar
• brendanzab/moniker github similar
• icicle-lang/icicle-ambiata github similar
• jtolio/sheepda github similar
• brendanzab/rust-nbe-for-mltt github similar
• nomeata/veggies github similar
• NICTA/cogent github similar
• jozefg/nbe-for-mltt github similar
• effect-handlers/effects-rosetta-stone github similar
• discus-lang/ddc github similar
• ollef/Bidirectional github similar
• discus-lang/iron github similar
• seagreen/plate github similar
• ezyang/logitext github similar
• GU-CLASP/TypedFlow github similar
• type-theory/type-theory-study-group github similar
• MaiaVictor/Cedille-Core github similar
• system-f/lets-lens github similar
• rossberg/1ml github similar
• evertedsphere/silica github similar
• granule-project/granule github similar
• jonascarpay/apecs github similar
• sdiehl/wasm github similar
• pikelet-lang/pikelet github similar
• pikatchu/LinearML github similar
• MaiaVictor/Symmetric-Interaction-Calculus github similar
• saschagrunert/indextree github similar
• llvm-hs/llvm-hs github similar