☆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:
- A No-JavaScript Tailwind runner in Haskell☆19Feb 18, 2025Updated last year
- Derivation of C-like Storable Instances☆13Jun 1, 2016Updated 9 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆124Jan 12, 2025Updated last year
- Run digestive-functors against a JSON document☆34Sep 30, 2022Updated 3 years ago
- ☆19Aug 4, 2025Updated 7 months ago
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 2 years ago
- Reversible parsing and pretty-printing.☆17Dec 15, 2014Updated 11 years ago
- Univalence from scratch in Idris☆19Apr 25, 2018Updated 7 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- Type-safe library for generating haskell source code☆28Jan 28, 2018Updated 8 years ago
- Encoders and decoders for the PostgreSQL's binary format☆21Jan 7, 2026Updated 2 months ago
- Combinators for bidirectional JSON parsing☆21May 29, 2014Updated 11 years ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- OLED Driver for use with embedded_hal and (optionally) embedded_graphics SH110x☆15Oct 17, 2025Updated 5 months ago
- Haskell library implementing "Data Types a la Carte"☆92Oct 20, 2023Updated 2 years ago
- Project set up for playing around with mobile haskell☆14May 8, 2018Updated 7 years ago
- A proof-of-concept C++ implementation of the Stack Resource Policy (SRP) based Real-Time For the Masses (RTFM) kernel☆12Jul 2, 2017Updated 8 years ago
- CancellationToken in Swift, modelled after the .NET version☆20Mar 5, 2021Updated 5 years ago
- Silk-Companion icon set, made available in various package managers, shipped with CSS spritesheet☆36Jan 28, 2022Updated 4 years ago
- Synchronous programming in Haskell☆17Oct 19, 2020Updated 5 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Mar 3, 2022Updated 4 years ago
- First class composable record labels for Haskell.☆68Oct 23, 2025Updated 4 months ago
- A binding to WebKitGTK+ for Common Lisp☆55Jul 22, 2024Updated last year
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Sep 10, 2015Updated 10 years ago
- A full-featured editor for the Dreadbox Nymphes Synthesizer, written in python☆13Oct 14, 2025Updated 5 months ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- A syntax for unions of constraints in Haskell☆70Jun 30, 2017Updated 8 years ago
- ☆17Jun 29, 2020Updated 5 years ago
- Planning at the speed of thought☆13Mar 15, 2018Updated 8 years ago
- Персональное Рабочее Окружение☆18Jan 12, 2026Updated 2 months ago
- Haskell bindings to the libui C library.☆48Jan 5, 2018Updated 8 years ago
- ☆28Jun 3, 2018Updated 7 years ago
- A C++20 wrapper library for D3D11, D3D12, and DXGI☆12Dec 21, 2025Updated 3 months ago
- A brief, self-descriptive, serde-compatible binary format.☆18Jan 4, 2026Updated 2 months ago
- Run an arbitrary NixOS configuration in a docker container☆17Aug 10, 2024Updated last year
- categories from category-extras☆34Oct 9, 2019Updated 6 years ago
- Simple TodoList with dependency expressed by DAG☆13May 6, 2022Updated 3 years ago
- A crate to easily constrain a struct☆16Jul 19, 2022Updated 3 years ago