Similar repositories to machine-intelligence/Botworld.HOL:

• machine-intelligence/Botworld.HOL github similar
• CakeML/regression github similar
• probmods/langmods github similar
• allenai/meta-eval github similar
• haskell-lisp/resources github similar
• hellerve/unlambda github similar
• CakeML/hol-reflection github similar
• lawrencewoodman/sblasm github similar
• atzedijkstra/chr github similar
• Anniepoo/strangeloop github similar
• chbrown/aclweb-data github similar
• JasonGross/lob github similar
• chpatrick/hchip github similar
• SeerLabs/CiteSeerExtractor github similar
• JohnLato/language-objc github similar
• andreasabel/helf github similar
• juhp/cabal-rpm github similar
• gallais/agda-presburger github similar
• BartoszMilewski/PolyLens github similar
• maoe/lifted-async github similar
• serokell/foundry github similar
• clash-lang/clash-prelude github similar
• goccy/p5-Compiler-Parser github similar
• pigworker/ProgrammerCommaCon github similar
• pcapriotti/agda-base github similar
• sl236/Piet github similar
• logicmoo/logicmoo_workspace github similar
• qobi/R6RS-AD github similar
• SciCrunch/NIF-Ontology github similar
• haskell/base64-bytestring github similar
• purescript-contrib/purescript-colors github similar
• steshaw/lennart-lambda github similar
• bgamari/optimization github similar
• akkartik/am-utexas github similar
• jespercockx/ataca github similar
• theoremprover-museum/theoremprover-museum.github.io github similar
• raphlinus/ghilbert github similar
• softdevteam/eco github similar
• david-christiansen/epigram1 github similar
• JohnDMcMaster/pr0ntools github similar