athas / EggsML
A fully fledged and highly scalable lunch management system for the modern enterprise
☆29Updated last month
Alternatives and similar repositories for EggsML
Users that are interested in EggsML are comparing it to the libraries listed below
Sorting:
- Generic package manager for Standard ML libraries and programs☆165Updated 3 months ago
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Updated 6 years ago
- 👓 Profunctor based lightweight implementation of Lenses☆71Updated last year
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated last month
- 🍰🔪 Architecture of Haskell backend applications☆133Updated 2 years ago
- ⚡️Efficient implementation of Map with types as keys☆100Updated last year
- First-class type families☆87Updated 3 weeks ago
- Importi.fy — it's like Uber, but for Haskell modules.☆103Updated 6 years ago
- Publishes curated news about the Haskell programming language.☆151Updated last week
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- Named parameters (keyword arguments) for Haskell☆94Updated 2 months ago
- Advent of Code complete solution archive and common library☆45Updated 4 months ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆98Updated this week
- A utility for displaying the module dependencies of Haskell programs.☆183Updated 10 months ago
- Visualise eventlog events as a static webpage☆71Updated 5 months ago
- Total Parser Combinators in Agda☆126Updated 2 years ago
- Prelude written in @Serokell☆183Updated 4 months ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆156Updated 4 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆126Updated last year
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- Email address validation for Haskell☆43Updated 7 months ago
- Various data structures for use in the Idris Language.☆95Updated 4 years ago
- Fast parsing from bytestrings☆158Updated last month
- Haskell to C compiler via Categorifier☆32Updated last year
- ☆49Updated 7 years ago
- Basics of the dependently-typed functional language Agda ^_^☆39Updated 3 years ago
- GRIN backend for GHC☆144Updated 3 years ago
- Composable, streaming, and efficient left folds☆167Updated 4 months ago
- Improving all Haskell's programmer interfaces☆74Updated 3 months ago
- A Functional Graph Library for Haskell☆188Updated 7 months ago