Similar repositories to phadej/ncill:

• phadej/ncill github similar
• danistefanovic/build-your-own-x github similar
• Lysxia/coq-recursion-schemes github similar
• mathandley/RTick github similar
• Acid-ZdS/PyAcid github similar
• Mesabloo/paranet github similar
• andreasabel/shift-reset-dsl github similar
• KolodeznyDiver/THEff github similar
• finnteegen/pflp github similar
• Lolirofle/stuff-in-agda github similar
• kaeluka/sequentc github similar
• Butanium/Image_of_life github similar
• wenkokke/swillprover github similar
• nikivazou/proof-combinators github similar
• jwiegley/constructive-ltl github similar
• chessai/vector-circular github similar
• meta-logic/sequoia github similar
• sconybeare/mltt github similar
• yveszhang/ldtyping github similar
• ayberkt/sml-system-t github similar
• philzook58/lens-algebra github similar
• ayberkt/simplc github similar
• joom/direct-reflection-for-free github similar
• ekmett/monad-ran github similar
• sstewartgallus/hs-callbypushvalue github similar
• conal/agda-cat-linear github similar
• MaiaVictor/Elementary-Affine-Type-Theory-legacy github similar
• msp-strath/Mary github similar
• ziman/itt github similar
• robrix/tilec github similar
• khanage/heineken github similar
• keera-studios/haskell-titan github similar
• jkoppel/thermometer-continuations github similar
• amosr/folderol github similar
• lambdabetaeta/modal-logics github similar
• MorganCaron/Script github similar
• statusfailed/pp github similar
• noamz/linlam github similar
• heades/System-F-Coq github similar
• joom/proof-tree-builder github similar