athas / EggsML
A fully fledged and highly scalable lunch management system for the modern enterprise
☆29Updated 3 weeks ago
Alternatives and similar repositories for EggsML:
Users that are interested in EggsML are comparing it to the libraries listed below
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Updated 6 years ago
- Create temporary postgres instances☆54Updated 8 months ago
- Get your IO right on the first try☆54Updated this week
- Real World Haskell☆30Updated 12 years ago
- Arbitrary-precision floating-point numbers represented using scientific notation☆74Updated 4 months ago
- One-line caching action for Stack-based Haskell projects☆13Updated this week
- A pleasant PostgreSQL database layer for Haskell☆42Updated 5 months ago
- A non-interactive proof assistant using the Haskell type system☆37Updated 5 years ago
- Inspecting tool for GHC compilation pipeline☆32Updated last year
- Visualise eventlog events as a static webpage☆71Updated 4 months ago
- Code for my blog post "Generating Mazes with Inductive Graphs"☆36Updated 6 years ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆97Updated last week
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated last year
- Haskell implementation of nominal datatypes and functions☆41Updated 4 years ago
- Haskell library for semigroup actions and torsors☆61Updated 2 months ago
- First-class type families☆87Updated 8 months ago
- A Go backend for Idris☆15Updated 6 years ago
- Library of categories, with categorical constructions on them☆56Updated last year
- QuickCheck extension for higher-order properties☆17Updated 3 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆68Updated 2 weeks ago
- A haskell library implementing the Kademlia DHT☆43Updated 6 years ago
- A tiny EDSL to write type-level-unit tests☆49Updated 6 years ago
- A logical authorization system☆50Updated 3 years ago
- Observational Type Theory as an Agda library☆52Updated 7 years ago
- Create and animate sprites easily with sdl2 (Haskell)☆23Updated 6 years ago
- Tasty meal of Dhall☆66Updated last year
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated last year
- Bidirectional Parsing. Work in Progress☆32Updated 7 months ago
- Servant based API and server for token based authorisation☆14Updated 5 years ago