Similar repositories to uwplse/synapse:

• uwplse/synapse github similar
• danistefanovic/build-your-own-x github similar
• Eugeny/terminus github similar
• AOMediaCodec/SVT-AV1 github similar
• AkihiroSuda/lima github similar
• tootsuite/mastodon github similar
• gibiansky/IHaskell github similar
• k6io/k6 github similar
• GamestonkTerminal/GamestonkTerminal github similar
• tuvtran/project-based-learning github similar
• x2bool/xlite github similar
• oscarlab/graphene github similar
• ReactTraining/react-router github similar
• pixijs/pixi.js github similar
• complyue/tour github similar
• nad/dependently-typed-syntax github similar
• thma/CommutativeMonoid github similar
• jtristan/FormalML github similar
• HSAFoundation/phsa github similar
• rwe/actions-hlint-run github similar
• FiretableProject/firetable github similar
• kaitai-io/kaitai_struct_swift_runtime github similar
• GeorgOfenbeck/SpaceTime github similar
• vegaluisjose/vast github similar
• ahrvoje/numerics github similar
• cuplv/iodyn-lang.rust github similar
• JrGoodle/ElementsOfProgramming github similar
• dbp/howtoprovefullabstraction github similar
• MaiaVictor/Elementary-Affine-Core-legacy github similar
• JoeyEremondi/lambda-pi-constraint github similar
• RauliL/plorth-webassembly github similar
• conal/talk-2020-calculating-compilers-categorically github similar
• jesse-michael-han/lean-step-public github similar
• Ninjacop/BuBBLE github similar
• frankmcsherry/explanation github similar
• irskep/swift_compile_times_parser github similar
• aks2203/deep-thinking github similar
• davidlazar/llvm-semantics github similar
• aedans/Katalyst github similar
• howonlee/audible-cos github similar