athas / EggsML
A fully fledged and highly scalable lunch management system for the modern enterprise
☆29Updated last week
Related projects: ⓘ
- Create temporary postgres instances☆53Updated last month
- First-class type families☆86Updated last month
- Named parameters (keyword arguments) for Haskell☆92Updated last year
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆155Updated 3 years ago
- A collection of Haskell's WATs☆89Updated 9 months ago
- Classic games recreated in netwire☆93Updated 7 years ago
- ☆109Updated 7 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆121Updated last month
- Reimplementation of Parsley in Haskell, with improvements☆49Updated 6 months ago
- Stream editing with Haskell Megaparsec parsers☆79Updated 3 months ago
- They see me rollin'. They're Heyting. Patrollin' and tryna catch me ridin' dirty. -- Chamillionaire, 2005☆82Updated 3 years ago
- Various data structures for use in the Idris Language.☆95Updated 4 years ago
- A pleasant PostgreSQL database layer for Haskell☆41Updated 6 months ago
- A logical authorization system☆49Updated 2 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆111Updated last week
- self(auto)- documenting encoders and decoders☆120Updated 2 weeks ago
- Visual tool to spot odd runtime behaviour of Haskell programs.☆108Updated 2 years ago
- Various functions which are used across multiple @serokell packages☆44Updated 5 years ago
- Examples using dependent types for mathematical proofs at the type level☆12Updated 4 years ago
- Moot is a CFP and event management system!☆66Updated 5 years ago
- Translate Cabals Generic Package Description to a Nix expression☆96Updated last year
- A utility for displaying the module dependencies of Haskell programs.☆179Updated 2 months ago
- Library for generating Haskell source files and code fragments.☆89Updated 5 months ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆80Updated last month
- A simple Idris program to blink the LED on an Arduino☆54Updated 3 years ago
- Haskell job queue with admin UI and loads of other features.☆74Updated 6 months ago
- Generate Elm types, encoders, and decoders from Haskell types☆61Updated last month
- JSON decoding/encoding/manipulation library.☆94Updated 2 years ago
- Visualise eventlog events as a static webpage☆69Updated last month
- Measure allocations of a Haskell functions/values☆92Updated last year