Similar repositories to awslabs/typecart:

• awslabs/typecart github similar
• conal/agda-fft github similar
• bedrocksystems/cpp2v github similar
• tootsuite/mastodon github similar
• danistefanovic/build-your-own-x github similar
• lehins/MonadicParty2019 github similar
• mstksg/wavelets github similar
• hecrj/iced github similar
• Lysxia/coq-recursion-schemes github similar
• bachirelkhadir/Convex-Quaternary-Quartics-Are-Sum-of-Squares github similar
• gibiansky/IHaskell github similar
• Twey/agda-imp github similar
• meilisearch/MeiliSearch github similar
• GamestonkTerminal/GamestonkTerminal github similar
• tuvtran/project-based-learning github similar
• opprop/value-inference github similar
• Dargones/libraries github similar
• unison-code/uni-instr-sel github similar
• sadraddini/polytrajectory github similar
• architect/logs github similar
• zstone1/coq-complex github similar
• conal/calculating-compilers-agda github similar
• ChrisPenner/j-lang-haskell github similar
• dpsanders/ExactReals.jl github similar
• alaingiorgetti/enum github similar
• jesyspa/polycat github similar
• fmlab-iis/coq-nbits github similar
• aws/aws-encryption-sdk-dafny github similar
• CVC4/signatures github similar
• uwplse/analytics-data github similar
• jamii/rust-tagless github similar
• tchajed/coq-array github similar
• gvolpe/par-dual github similar
• polysemy-research/polysemy-scoped github similar
• woodrush/sectorlisp-ref-in-bf github similar
• conal/contractive github similar
• HarrisonGrodin/Completion.jl github similar
• neel-krishnaswami/ott-example github similar
• c-cube/smtlib-utils github similar
• NickHu/naperian-functors github similar