SE701ProjectGroup4 / git-brunchingLinks
A restaurant management system designed for a SOFTENG701 assignment @ UoA
☆14Updated 2 years ago
Alternatives and similar repositories for git-brunching
Users that are interested in git-brunching are comparing it to the libraries listed below
Sorting:
- A webapp that lets flatmates record expenses, chores, etc and generally simplifies life flatting.☆14Updated 4 years ago
- A DSL for creating 8-bit style music☆33Updated last year
- The Slate Interactive Theorem Prover☆23Updated 2 years ago
- College assignment writing in which I ramble about type classes and dependent types.☆12Updated 4 years ago
- Virtual Circuit Board blueprint tool☆11Updated 3 years ago
- Duo - A research language exploring duality in programming language design☆57Updated 2 years ago
- An (in progress) implementation of a CTS → rule 110 compiler☆10Updated 5 years ago
- A small programming language that compiles to Wasm GC☆17Updated 3 weeks ago
- ☆136Updated 3 years ago
- Subtyping calculus of inductive constructions☆54Updated last year
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆60Updated last year
- A community around PL at Prague.☆18Updated 8 months ago
- A Language with Dependent Data and Codata Types☆117Updated last week
- Simple Windows GUI for GHCi.☆19Updated 9 years ago
- ☆19Updated last year
- Macros have types!☆131Updated 2 years ago
- Public issue tracker for garnix.io☆16Updated 3 years ago
- Refinement types + dependent types = ❤️☆60Updated 3 years ago
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.☆38Updated last month
- Animations of lambda term reduction sequences☆143Updated 7 years ago
- Experimental effects library for Idris 2☆43Updated 3 years ago
- ☆90Updated 3 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- ☆37Updated 3 weeks ago
- Liquid Types implementation for Rust☆29Updated 2 years ago
- Staged compilation with dependent types☆179Updated 3 months ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆69Updated this week
- Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda☆12Updated 10 months ago
- Type-safe WebAssembly eDSL in Haskell☆27Updated 10 months ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15Updated last year