SE701ProjectGroup4 / git-brunching
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
- JavaScript Engine for Interaction Nets☆8Updated 7 years ago
- syntax highlight and snippets for velocity☆27Updated 9 years ago
- Northeastern class scheduler based on degree audit.☆25Updated last week
- A successor bnf parsing library of bnf parsing library, for parsing Extended Backus–Naur form context-free grammars☆12Updated 2 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- College assignment writing in which I ramble about type classes and dependent types.☆12Updated 4 years ago
- Public issue tracker for garnix.io☆15Updated 3 years ago
- Simple Windows GUI for GHCi.☆17Updated 9 years ago
- The dependently & gradually typed Sage programming language☆9Updated 11 years ago
- Advent of Code Submission Board showcasing solutions of CAU CS students/alumni☆11Updated 3 months ago
- A system to handle and connect meal-credit donations on the Brown campus☆10Updated 2 years ago
- 💐 j is a subset of J, and an essay.☆40Updated last year
- Fault-tolerant nom 5 parser based on "Syntax error recovery in parsing expression grammars" (2018)☆30Updated 3 years ago
- Idiomatic exceptions for Rust☆73Updated 8 months ago
- An Elm app for building and simulating deterministic and non-deterministic finite automata (DFAs and NFAs).☆11Updated 2 months ago
- A small procedural programming language that compiles to Wasm GC☆16Updated this week
- Tools for working with functions in rust☆10Updated 4 years ago
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Updated 4 years ago
- ☆37Updated last year
- Liquid Types implementation for Rust☆29Updated 2 years ago
- Generate Nix Flakes imperatively.☆20Updated last year
- Experimental type level programming in Rust☆37Updated 3 years ago
- ☆33Updated 2 years ago
- A DSL for creating 8-bit style music☆33Updated last year
- EmPOWer your commits with Rust!☆20Updated 3 years ago
- compile time constraints on const generics made easy☆12Updated 2 years ago
- [WIP] Determine if text is about the Rust game or Rust programming language☆13Updated 3 years ago
- Snake playing agents☆78Updated 3 years ago
- A simple NES emulator implemented in Rust. (WIP)☆12Updated 2 years ago
- Nix Hash Converter [maintainer=@zimbatm]☆10Updated 4 years ago