Similar repositories to chchen/comet:

• chchen/comet github similar
• tootsuite/mastodon github similar
• bdodge/SDIOanalyzer github similar
• ahumenberger/Aligator.jl github similar
• aiplans/aiplans.github.io github similar
• hargoniX/cpdt-lean github similar
• pulp-platform/RVfplib github similar
• cbaggers/shipshape github similar
• google/git-rebaser github similar
• VincentToups/DevilsPong github similar
• kuopinghsu/callgraph-gen github similar
• jasonrute/thoughts-on-ai-for-theorem-proving github similar
• kni/sml-ev github similar
• david-a-wheeler/mmverify.py github similar
• dwrensha/lean4-maze github similar
• siddhartha-gadgil/Saturn github similar
• advancedresearch/linear_solver github similar
• mark-watson/lisp_practical_semantic_web github similar
• panicz/master-thesis github similar
• gregcman/lem-opengl github similar
• philzook58/egglog github similar
• ejgallego/pycoq github similar
• gos-k/oclcl github similar
• wilbowma/mttex github similar
• droundy/tinyset github similar
• jsiek/B522-PL-Foundations github similar
• IagoAbal/haskell-z3 github similar
• probcomp/sppl github similar
• darius/tush github similar
• webyrd/dissertation-single-spaced github similar
• purescript-contrib/purescript-matryoshka github similar
• samuelgruetter/dot-calculus github similar
• firepile/firepile github similar
• trailofbits/manticore-examples github similar
• second-state/rust-by-example-ext github similar
• rjnw/sham github similar
• niklasf/chessops github similar
• szabta89/IncA github similar
• pi8027/lambda-calculus github similar
• openai/lean-gym github similar