Similar repositories to the-little-prover/j-bob:

• the-little-prover/j-bob github similar
• danistefanovic/build-your-own-x github similar
• shaunlebron/parinfer github similar
• tootsuite/mastodon github similar
• gibiansky/IHaskell github similar
• pixijs/pixi.js github similar
• ReactTraining/react-router github similar
• tuvtran/project-based-learning github similar
• the-little-typer/pie github similar
• aquynh/capstone github similar
• RobertHarper/hott-notes github similar
• nanopass/nanopass-framework-scheme github similar
• jasonhemann/microKanren github similar
• vishesh/racketscript github similar
• Eloston/ungoogled-chromium github similar
• hecrj/iced github similar
• chriskempson/base16 github similar
• miniKanren/TheReasonedSchemer github similar
• juxt/crux github similar
• miniKanren/miniKanren github similar
• akeep/scheme-to-c github similar
• mwand/eopl3 github similar
• calvis/cKanren github similar
• motemen/gore github similar
• sweirich/pi-forall github similar
• webyrd/miniKanren github similar
• akeep/nanopass-framework github similar
• HOL-Theorem-Prover/HOL github similar
• epsil/gll github similar
• wilbowma/cur github similar
• racket/typed-racket github similar
• Andromedans/andromeda github similar
• achlipala/frap github similar
• acl2/acl2 github similar
• CakeML/cakeml github similar
• meilisearch/MeiliSearch github similar
• Eugeny/terminus github similar
• RedPRL/sml-redprl github similar
• IUCompilerCourse/Essentials-of-Compilation github similar
• webyrd/miniKanren-with-symbolic-constraints github similar