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
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 3 years ago
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆62Updated 3 years ago
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆31Updated 6 months ago
• iatorm / jellyfish
  A two-dimensional esoteric programming language inspired by J
  ☆13Updated 4 years ago
• shadyfennec / baugelang
  An esoteric programming language, using box-drawing characters
  ☆29Updated 11 months ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆30Updated 3 years ago
• Storyyeller / IntercalScript
  The IntercalScript programming language
  ☆139Updated 5 years ago
• aatxe / oxide
  The essence of Rust.
  ☆134Updated 3 years ago
• Radvylf / unsure
  A simple esolang, based on things people say while trying to think of an answer
  ☆13Updated 5 years ago
• jneem / ojo
  ☆37Updated 5 months ago
• ari-language / ari
  A type-centred purely functional programming language designed to type binary files. Mirror of code maintained at gitlab.com.
  ☆13Updated 2 years ago
• fengctor / octune
  A DSL for creating 8-bit style music
  ☆33Updated 2 years ago
• ykjit / yk
  yk packages
  ☆39Updated this week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆42Updated 9 months ago
• Marwes / pretty.rs
  Wadler-style pretty-printing combinators in Rust
  ☆175Updated 4 months ago
• sdleffler / type-operators-rs
  A macro for defining type operators in Rust.
  ☆65Updated 8 years ago
• brendanzab / moniker
  Automagical variable binding library for Rust
  ☆68Updated 6 years ago
• kvverti / rusty-lavender
  The third iteration of the Lavender programming language, implemented in Rust.
  ☆12Updated 4 years ago
• TodePond / Pondiverse
  explore+create across all of the pondiverse
  ☆18Updated 8 months ago
• wilbowma / pl-thesaurus
  ☆90Updated 4 years ago
• duo-lang / duo-lang
  Duo - A research language exploring duality in programming language design
  ☆61Updated 2 years ago
• imdea-software / htt
  Hoare Type Theory
  ☆84Updated 7 months ago
• CAD97 / generativity
  ☆55Updated 5 months ago
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆187Updated last week
• yaahc / uwubot
  discord bot for uwuifying text
  ☆35Updated 4 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆71Updated 6 years ago