Similar repositories to david-christiansen/Brainfun:

• gibiansky/IHaskell github similar
• david-christiansen/Brainfun github similar
• domdere/haskell-coq github similar
• aquynh/capstone github similar
• jozefg/ctt.elf github similar
• fferreira/NbE github similar
• FranklinChen/cmu-cs-212ML-notes-spring-1998 github similar
• jozefg/classical-realizability github similar
• trillioneyes/idris-toys github similar
• dredozubov/mtheory github similar
• jozefg/sml-abt-unify github similar
• FranklinChen/schreiner-friedman-pretty-printer github similar
• ayberkt/system-t-normalization github similar
• konn/vscode-redtt-diagnostics github similar
• jpaykin/ControlHTT github similar
• amintimany/OPLSS github similar
• uelis/contextual github similar
• tapeinosyne/idris-microKanren github similar
• RedPRL/sml-lcf github similar
• xuanruiqi/commalg github similar
• elpinal/duploids github similar
• jonsterling/coq-sgdt github similar
• akuhlens/gradual-racket github similar
• fujisawa/purescript-simple-csv github similar
• input-output-hk/qeditas-ledgertheory github similar
• dckc/togl github similar
• tel/ocaml-abt github similar
• slamdata/scala-abt github similar
• yforster/coq-synthetic-computability github similar
• pigworker/SmolCat github similar
• paf31/purescript-distributions github similar
• paf31/purescript-tropical github similar
• GuglielmoS/sfidris github similar
• danilkolikov/setoids github similar
• sellout/Idris-CPDT github similar
• chrisamaphone/celf-tutorial github similar
• IanOrton/decomposing-univalence github similar
• jfdm/idris-argparse github similar
• mikeshulman/dirtt github similar
• jasonjckn/clarsec github similar