Alternatives and similar repositories for Flatmate-Management-System

Users that are interested in Flatmate-Management-System are comparing it to the libraries listed below

• SE701ProjectGroup4 / git-brunching
  A restaurant management system designed for a SOFTENG701 assignment @ UoA
  ☆14Updated 3 years ago
• jpearman / smartMotorLib
  ☆12Updated 9 years ago
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆25Updated 7 years ago
• fengctor / octune
  A DSL for creating 8-bit style music
  ☆33Updated last year
• AndrasKovacs / pny1-assignment
  College assignment writing in which I ramble about type classes and dependent types.
  ☆12Updated 5 years ago
• chrjen / vcbb
  Virtual Circuit Board blueprint tool
  ☆11Updated 3 years ago
• jneem / ojo
  ☆37Updated 5 months ago
• ebkalderon / example-fault-tolerant-parser
  Fault-tolerant nom 5 parser based on "Syntax error recovery in parsing expression grammars" (2018)
  ☆31Updated 3 years ago
• VictorTaelin / absal-rs
  ☆35Updated 7 years ago
• tcr / corollary
  Cross-compiler from Haskell to Rust, plus parser-haskell.
  ☆79Updated 8 years ago
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆187Updated 8 months ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 3 years ago
• Storyyeller / IntercalScript
  The IntercalScript programming language
  ☆139Updated 5 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• brendanzab / moniker
  Automagical variable binding library for Rust
  ☆68Updated 6 years ago
• msp-strath / TypOS
  being an operating system for typechecking processes
  ☆130Updated 3 months ago
• madsobitsoe / CATITOR
  The extremely portable, extremely extensible line editor
  ☆13Updated 3 years ago
• kritzcreek / nemo-lang
  A small programming language that compiles to Wasm GC
  ☆19Updated 2 weeks ago
• jfaure / Irie-lang
  Subtyping calculus of inductive constructions
  ☆57Updated 2 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆134Updated 2 years ago
• shadyfennec / baugelang
  An esoteric programming language, using box-drawing characters
  ☆29Updated 11 months ago
• viperproject / prusti-assistant
  VS Code extension to verify Rust programs with the Prusti verifier.
  ☆24Updated this week
• VictorTaelin / absal-ex
  Absal ex
  ☆58Updated 2 years ago
• wilbowma / pl-thesaurus
  ☆90Updated 4 years ago
• baig / rust-dialect
  A terse syntactic dialect of Rust à la Haskell
  ☆18Updated last year
• danieljharvey / wasm-calc
  Building a compiler to WASM step-by-step
  ☆15Updated 10 months ago
• tinaun / gen-iter
  create iterators from generators
  ☆11Updated 2 years ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆64Updated last year
• ollef / rock
  Build system
  ☆134Updated 3 months ago
• sdleffler / type-operators-rs
  A macro for defining type operators in Rust.
  ☆65Updated 8 years ago