Similar repositories to Kachoc/charon:

• AeneasVerif/charon github similar
• hecrj/iced github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• meilisearch/MeiliSearch github similar
• rust-formal-methods/wg github similar
• tuvtran/project-based-learning github similar
• ksco/rvld github similar
• cozodb/cozo github similar
• exaloop/codon github similar
• google/forma github similar
• karpathy/nanoGPT github similar
• veera-sivarajan/type-inferencer github similar
• alexcrichton/cc-rs github similar
• precog/quasar github similar
• google/comprehensive-rust github similar
• m-ou-se/rust-atomics-and-locks github similar
• typst/typst github similar
• tootsuite/mastodon github similar
• fsmith1024/scales github similar
• amintimany/UniverseComparator github similar
• thery/lemonde github similar
• coq-io/list github similar
• coq-io/exception github similar
• inanna-malick/hgit github similar
• vch9/merlin-analysis-module github similar
• coq-io/evaluate github similar
• naomiiiiiiiii/iota github similar
• vch9/ppx_deriving_qcheck github similar
• AeneasVerif/aeneas github similar
• jeanpehk/doubly-generic github similar
• ghuysmans/futurama github similar
• compiler-errors/ferrodb github similar
• stevebleazard/ocaml-jsonxt github similar
• thery/Plouffe github similar
• vch9/ometrics github similar
• pandaman64/sabi github similar
• iamazy/jvm-rs github similar
• clarus/cybele github similar
• palmskog/ocaml-light github similar