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
- ☆16Updated 2 years ago
- A tool to convert any ordinary Git repository to a Historage repository, a fine-grained version control repository.☆12Updated 5 years ago
- A macro which defines a handful main for the Advent of Code☆34Updated 2 years ago
- ☆11Updated 6 years ago
- GPU-based interaction nets evaluator☆15Updated 13 years ago
- Virtual Circuit Board blueprint tool☆11Updated 2 years ago
- A DSL for creating 8-bit style music☆22Updated 11 months ago
- Wrath of Zeus: 3v1 maze escape for UCSD CSE125☆11Updated 7 months ago
- Todo application for Group 2☆12Updated 2 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.☆50Updated 3 years ago
- Fault-tolerant nom 5 parser based on "Syntax error recovery in parsing expression grammars" (2018)☆29Updated 2 years ago
- yk packages☆32Updated this week
- JavaScript Engine for Interaction Nets☆9Updated 6 years ago
- Quick explanation of eliminating left recursion in Haskell parsers☆48Updated 3 years ago
- An imperative, statically-typed toy language☆12Updated 5 years ago
- Haskell bindings to WGPU Native☆17Updated 3 years ago
- Pure functional programming with whole-program mutability inference☆55Updated 2 weeks ago
- A community around PL at Prague.☆18Updated last month
- ☆14Updated 7 years ago
- VS Code extension to verify Rust programs with the Prusti verifier.☆23Updated 3 weeks ago
- Logic programming, for Rust, from inside Rust.☆42Updated 4 years ago
- A CLI client in Rust to access the reverse-engineered LumiNUS API☆27Updated 3 years ago
- this safety is an illusion, exile☆25Updated 3 years ago
- Macros have types!☆129Updated last year
- ☆35Updated last year
- College assignment writing in which I ramble about type classes and dependent types.☆12Updated 4 years ago
- Fast lojban dictionary https://foldr.moe/lidysisku/☆13Updated 2 weeks ago
- A Blarb virtual machine☆13Updated 4 years ago
- Liquid Types implementation for Rust☆28Updated 2 years ago