SE701ProjectGroup4 / git-brunching
A restaurant management system designed for a SOFTENG701 assignment @ UoA
☆14Updated last year
Related projects ⓘ
Alternatives and complementary repositories for git-brunching
- ☆16Updated last year
- ☆12Updated 8 years ago
- GPU-based interaction nets evaluator☆15Updated 12 years ago
- College assignment writing in which I ramble about type classes and dependent types.☆12Updated 3 years ago
- ☆468Updated 3 years ago
- The rule-based graph programming language GP 2☆66Updated 5 months ago
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆27Updated 10 months ago
- ☆13Updated last year
- ChibiOS/RT on VEX☆23Updated 7 years ago
- Snake playing agents☆74Updated 3 years ago
- Geometry in Coq for French high school [maintainer=@thery]☆19Updated 4 months ago
- This is a project for Purdue's 2016 Hello World Hackathon.☆23Updated 4 years ago
- A community around PL at Prague.☆18Updated 2 weeks ago
- Checker for "morally correct" induction proofs about haskell programs☆29Updated 2 years ago
- A variety of algorithms to solve mazes from an input image☆1,741Updated 2 years ago
- 🕸️ A visualizer for graphs defined as logic programs☆29Updated last month
- An Elm app for building and simulating deterministic and non-deterministic finite automata (DFAs and NFAs).☆10Updated 3 years ago
- A Gradual Dependently-typed Language☆14Updated 5 years ago
- The Slate Interactive Theorem Prover☆23Updated last year
- Explainable machine learning☆18Updated 5 years ago
- Public issue tracker for garnix.io☆15Updated 2 years ago
- ☆14Updated 5 years ago
- A small procedural programming language that compiles to Wasm GC☆12Updated this week
- The compiler for N⋆, a statically typed assembly language used as a compiler backend for Zilch☆29Updated last year
- Scheduling application designed to mitigate some of the pain-points present throughout Georgia Tech's registration process.☆95Updated 7 months ago
- Duo - A research language exploring duality in programming language design☆57Updated last year
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- Concurrent decision diagram framework written in Rust☆42Updated this week