Similar repositories to been-jamming/CORE:

• been-jamming/CORE github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• horse64/core.horse64.org github similar
• leissa/dimpl github similar
• crabbo-rave/Soup github similar
• DasNaCl/toadml github similar
• robrix/sequoia github similar
• tuvtran/project-based-learning github similar
• nullgemm/ly github similar
• ShawSumma/minivm github similar
• karpathy/nanoGPT github similar
• brendanzab/language-garden github similar
• terrastruct/d2 github similar
• typst/typst github similar
• wilbowma/crash-coq github similar
• leanprover/doc-gen4 github similar
• fennecdjay/fennecdjay github similar
• myuon/lean-software-foundations github similar
• thma/lambda-ski github similar
• yosoyubik/advent-of-hoon github similar
• cstml/FMCt github similar
• brandonhewer/Subtyping github similar
• digama0/mm-web-rs github similar
• kbuzzard/lean-game-skeleton github similar
• werk/cellular github similar
• boltlabs-inc/call-by github similar
• eleanor-em/papervote github similar
• remexre/hm-prolog github similar
• apachejuice/cbr github similar
• PiccoloLang/cli github similar
• arthurpaulino/LeanMusic github similar
• kvverti/rusty-lavender github similar
• aatxe/diet-coke github similar
• CoqHott/coq-effects github similar
• DasNaCl/csc github similar
• jonsterling/itt-bidirectional github similar
• johnmschneider/LOLC github similar
• brightly-salty/inversify github similar
• david-a-wheeler/metamath-knife github similar