Similar repositories to sweirich/replib:

• sweirich/replib github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• k6io/k6 github similar
• lambdageek/unbound-generics github similar
• LightAndLight/parametricity-proofs github similar
• aquynh/capstone github similar
• toeverything/AFFiNE github similar
• tootsuite/mastodon github similar
• hecrj/iced github similar
• LightAndLight/cbpv github similar
• RobertHarper/hott-notes github similar
• sweirich/corespec github similar
• nikivazou/theorem-proving-template github similar
• evertedsphere/preposterous github similar
• LightAndLight/stg-llvm github similar
• dorchard/effectful-explanations-talk github similar
• RyanGlScott/eliminators github similar
• ollef/incrementalism github similar
• mathandley/RTick github similar
• pixijs/pixi.js github similar
• kwf/Presburger github similar
• motemen/gore github similar
• ucsd-progsys/mist github similar
• benjaminselfridge/logix github similar
• garrigue/certint github similar
• emilaxelsson/imperative-edsl github similar
• scmu/foundations-harper github similar
• rossberg/mixml github similar
• mrkgnao/pico github similar
• michaelpj/abstract-machine-debuggers github similar
• mpickering/hashtag-coerce github similar
• goldfirere/th-desugar github similar
• gallais/parseque github similar
• elliottt/layout-rules github similar
• haskell-foundation/foundation-edge github similar
• jonsterling/tt github similar
• david-christiansen/epigram1 github similar
• scmu/mrm github similar
• lucch/pesca github similar