Similar repositories to hgoes/nbis:

• hgoes/nbis github similar
• hughfdjackson/abattoir github similar
• andrewthad/lens-prelude github similar
• nachivpn/coherence github similar
• heliaxdev/witch github similar
• florence/esterel-calculus github similar
• MonoidalAttackTrees/ATLL-Formalization github similar
• joshcough/HaskellCourse github similar
• jonsterling/itt-bidirectional github similar
• dorchard/coeffects-experiments github similar
• jbracker/polymonad-proofs github similar
• stefaniatadama/inductive_types github similar
• matijapretnar/proofs github similar
• conal/agda-cat-linear github similar
• jwiegley/coq-lattice github similar
• exercism/coq github similar
• Barry-Jay/Intensional-computation github similar
• effectfully/random-stuff github similar
• ualib/ualib.github.io github similar
• quchen/amoeba github similar
• tonymorris/fp-projects github similar
• heades/System-F-Coq github similar
• wenkokke/priority-sesh github similar
• Chaaaos/formaltt github similar
• coq-community/gaia github similar
• DougBurke/astro-haskell github similar
• dalaing/type-systems github similar
• divipp/frp_agda github similar
• DanBurton/system-f github similar
• llee454/functional-algebra github similar
• gallais/typing-with-leftovers github similar
• RobertHarper/hott-notes github similar
• dorchard/effects-as-sessions github similar
• ocamllabs/ocaml-effects github similar
• UCSD-PL/kraken github similar
• coq-community/reglang github similar
• QuickChick/Luck github similar
• nikivazou/theorem-proving-template github similar
• FreeProving/free-compiler github similar
• puffnfresh/bam-idris-blog github similar