Alternatives and similar repositories for git-brunching

Users that are interested in git-brunching are comparing it to the libraries listed below

• SOFTENG701G1 / Flatmate-Management-System
  A webapp that lets flatmates record expenses, chores, etc and generally simplifies life flatting.
  ☆14Updated 4 years ago
• jpearman / smartMotorLib
  ☆12Updated 9 years ago
• AndrasKovacs / pny1-assignment
  College assignment writing in which I ramble about type classes and dependent types.
  ☆12Updated 5 years ago
• fengctor / octune
  A DSL for creating 8-bit style music
  ☆33Updated last year
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆25Updated 7 years ago
• jneem / ojo
  ☆37Updated 5 months ago
• chrjen / vcbb
  Virtual Circuit Board blueprint tool
  ☆11Updated 3 years ago
• viperproject / prusti-assistant
  VS Code extension to verify Rust programs with the Prusti verifier.
  ☆24Updated this week
• paulstansifer / unseemly
  Macros have types!
  ☆134Updated 2 years ago
• msp-strath / TypOS
  being an operating system for typechecking processes
  ☆130Updated 3 months ago
• kritzcreek / nemo-lang
  A small programming language that compiles to Wasm GC
  ☆19Updated 2 weeks ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 3 years ago
• halfaya / MusicTools
  ☆43Updated last month
• aatxe / oxide
  The essence of Rust.
  ☆134Updated 3 years ago
• tcr / corollary
  Cross-compiler from Haskell to Rust, plus parser-haskell.
  ☆79Updated 8 years ago
• danieljharvey / wasm-calc
  Building a compiler to WASM step-by-step
  ☆15Updated 10 months ago
• chessai / hsdatalog
  BDD-based implementation of Datalog
  ☆37Updated 5 years ago
• duo-lang / duo-lang
  Duo - A research language exploring duality in programming language design
  ☆61Updated 2 years ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆64Updated last year
• VictorTaelin / absal-rs
  ☆35Updated 7 years ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 3 years ago
• agusakov / category-theory-game
  ☆17Updated 5 years ago
• fatho / logru
  Log(ic) programming in Ru(st).
  ☆24Updated 4 months ago
• brendanzab / moniker
  Automagical variable binding library for Rust
  ☆68Updated 6 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆71Updated 6 years ago
• yvan-sraka / cargo-cabal
  A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
  ☆108Updated last week
• jfaure / Irie-lang
  Subtyping calculus of inductive constructions
  ☆57Updated 2 years ago
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆187Updated 8 months ago
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago