☆20Jan 7, 2021Updated 5 years ago
Alternatives and similar repositories for multirec
Users that are interested in multirec are comparing it to the libraries listed below
Sorting:
- ☆19Aug 4, 2025Updated 6 months ago
- Reversible parsing and pretty-printing.☆17Dec 15, 2014Updated 11 years ago
- A No-JavaScript Tailwind runner in Haskell☆19Feb 18, 2025Updated last year
- Encoders and decoders for the PostgreSQL's binary format☆21Jan 7, 2026Updated last month
- Hypertypes - generic programming for heterogeneous recursive types☆124Jan 12, 2025Updated last year
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 2 years ago
- Standardized conversion between string types☆21Mar 4, 2022Updated 3 years ago
- Run digestive-functors against a JSON document☆34Sep 30, 2022Updated 3 years ago
- 📚 - Resources for Machine Learning and Haskell☆21Nov 14, 2017Updated 8 years ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆25Mar 7, 2016Updated 9 years ago
- Univalence from scratch in Idris☆19Apr 25, 2018Updated 7 years ago
- Haskell program configuration using higher kinded data☆29May 21, 2024Updated last year
- Type-safe library for generating haskell source code☆28Jan 28, 2018Updated 8 years ago
- ☆28Jun 3, 2018Updated 7 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Sep 10, 2015Updated 10 years ago
- Coq proofs for the paper "Calculating Correct Compilers"☆31Dec 11, 2023Updated 2 years ago
- Nix development utils that will blow up your mind☆44Dec 16, 2015Updated 10 years ago
- Silk-Companion icon set, made available in various package managers, shipped with CSS spritesheet☆36Jan 28, 2022Updated 4 years ago
- Golden test support for Tasty☆42Feb 1, 2026Updated last month
- Proposals for the Haskell Ecosystem☆54Jan 10, 2019Updated 7 years ago
- Haskell library implementing "Data Types a la Carte"☆92Oct 20, 2023Updated 2 years ago
- Tax types and computations for Australia☆12Dec 8, 2025Updated 2 months ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆46Oct 18, 2022Updated 3 years ago
- Opinionated saltstack formula dependency resolver☆10Jan 27, 2020Updated 6 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Jun 8, 2018Updated 7 years ago
- [WIP] pivot a running process into an emulator for instrumentation☆13Aug 12, 2016Updated 9 years ago
- link a linux ELF .so library into memory with python and call functions in it, even if you're not on linux☆10Feb 5, 2020Updated 6 years ago
- ☆12May 9, 2015Updated 10 years ago
- A Haskell clone of https://cstack.github.io/db_tutorial☆11Jun 30, 2020Updated 5 years ago
- Rust port of the streaming ddelta patch algorithm, based on bsdiff☆12May 2, 2024Updated last year
- Plugin module for the ALL(*) lookahead algorithm in Chevrotain☆12Aug 31, 2023Updated 2 years ago
- NixOS configurations☆17Dec 7, 2015Updated 10 years ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- Automatically add use statement imports for Rust from ST3☆10Apr 24, 2019Updated 6 years ago
- Fast program tracing and analysis☆17Feb 3, 2026Updated 3 weeks ago
- @davidtwco's dotfiles - managed by chezmoi!☆14Jan 16, 2026Updated last month
- ☆24Jan 23, 2017Updated 9 years ago
- The LTTng CI infrastructure configuration☆12Updated this week