SE701ProjectGroup4 / git-brunchingLinks
A restaurant management system designed for a SOFTENG701 assignment @ UoA
☆14Updated 3 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 2 years ago
- Virtual Circuit Board blueprint tool☆11Updated 3 years ago
- College assignment writing in which I ramble about type classes and dependent types.☆12Updated 5 years ago
- Phase vocoder in Haskell☆18Updated 4 years ago
- A 100% browser-based interactive live audio coding environment.☆41Updated 3 years ago
- Haskell bindings to WGPU Native☆22Updated 5 months ago
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆35Updated 4 years ago
- The Slate Interactive Theorem Prover☆23Updated 3 years ago
- A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!☆109Updated last week
- Type-safe WebAssembly eDSL in Haskell☆28Updated last year
- The Hazy Haskell Compiler☆50Updated this week
- Public issue tracker for garnix.io☆16Updated 3 years ago
- Subtyping calculus of inductive constructions☆57Updated 2 years ago
- Extend GHC's type checker with user-defined rules, without writing a type checker plugin.☆18Updated 4 years ago
- Remember how long commands take, tell me if I have enough time to make a sandwich☆26Updated last year
- Divide without division☆20Updated 5 months ago
- A featureful sound change applier for language construction☆42Updated 3 months ago
- ☆11Updated 2 weeks ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆70Updated last week
- Duo - A research language exploring duality in programming language design☆61Updated 2 years ago
- A statically typed embedding of miniKanren in Haskell☆24Updated 7 months ago
- Haskell wrapper for iced☆36Updated 8 months ago
- A multi-purpose calculator for microtonal(/xenharmonic) music☆13Updated 8 months ago
- Data structures for describing changes to other data structures.☆17Updated last year
- Convert values from one type into another.☆78Updated 3 weeks ago
- A GHC plugin for rust style impl with -XOverloadedRecordDot☆19Updated 4 years ago
- An unofficial Idris2 package repository for Nix☆47Updated 3 years ago
- A small programming language that compiles to Wasm GC☆19Updated 3 weeks ago
- Renderer for (anti-) “buddhabrot” Mandelbrot fractals.☆15Updated 6 years ago