Similar repositories to dragonwasrobot/simpl-lang:

• dragonwasrobot/simpl-lang github similar
• dragonwasrobot/formal-moessner github similar
• danistefanovic/build-your-own-x github similar
• jonsterling/itt-bidirectional github similar
• SimonJF/IdrisNet github similar
• mswift42/obsidian-theme github similar
• larrytheliquid/leveling-up github similar
• heades/System-F-Coq github similar
• NicolasT/ocaml-free github similar
• puffnfresh/tryidris github similar
• idris-hackers/iQuery github similar
• edwinb/SDL-idris github similar
• PatrickMassot/lean-verbose github similar
• ocaml/ocaml.org github similar
• SimonJF/IdrisNet2 github similar
• ttakamura/org-todoist github similar
• SMLFamily/The-Mechanization-of-Standard-ML github similar
• Engil/Goodboy github similar
• standardml/twelf github similar
• stedolan/idris-malfunction github similar
• robbertkrebbers/ch2o github similar
• david-christiansen/idris-type-providers github similar
• ocaml-cross/opam-cross-android github similar
• idris-hackers/IdrisWeb github similar
• abrochard/emacs-todoist github similar
• discus-lang/iron github similar
• nomeata/ghc-proofs github similar
• snowleopard/alga-paper github similar
• LogicalAtomist/principia github similar
• the-lambda-church/coquille github similar
• Fuco1/clippy.el github similar
• mit-plv/bedrock2 github similar
• puffnfresh/iridium github similar
• stepchowfun/theorem-prover github similar
• nick8325/quickspec github similar
• framasoft/mobilizon github similar
• ziman/lightyear github similar
• digama0/mm0 github similar
• AndrasKovacs/elaboration-zoo github similar
• mirleft/ocaml-tls github similar