athas / EggsML
A fully fledged and highly scalable lunch management system for the modern enterprise
☆30Updated last week
Alternatives and similar repositories for EggsML:
Users that are interested in EggsML are comparing it to the libraries listed below
- fairly limited x86 to x86' translator☆19Updated 2 years ago
- Create temporary postgres instances☆53Updated 6 months ago
- Generic package manager for Standard ML libraries and programs☆165Updated 3 weeks ago
- A collection of Haskell's WATs☆92Updated 3 weeks ago
- First-class type families☆87Updated 6 months ago
- A Go backend for Idris☆15Updated 6 years ago
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆21Updated 6 years ago
- PMPH course 2020 public repo☆12Updated last year
- 🔧 Semantic UI for Haskell and Reflex-DOM☆38Updated 2 years ago
- A logical authorization system☆50Updated 2 years ago
- A pleasant PostgreSQL database layer for Haskell☆42Updated 3 months ago
- Helping you keep your workstation nice and tidy☆31Updated 4 years ago
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆16Updated last year
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated last year
- ☆36Updated 5 years ago
- Category Theory in Agda. Learning exercise, not for public consumption.☆25Updated 4 years ago
- A package index for the Haskell ecosystem☆133Updated this week
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆155Updated 3 years ago
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated last year
- self(auto)- documenting encoders and decoders☆124Updated last week
- Free Algebras in Haskell☆37Updated 5 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Reimplementation of Parsley in Haskell, with improvements☆51Updated 11 months ago
- A tiny EDSL to write type-level-unit tests☆49Updated 6 years ago
- A library for doing generic programming in Agda☆31Updated 4 years ago
- Example of usage polysemy and servant☆57Updated 5 years ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Updated 5 years ago
- Exploring the options for incremental Haskell builds using Nix☆106Updated 2 years ago
- Moot is a CFP and event management system!☆66Updated 6 years ago