μKanren implementation in Haskell
☆19Jul 3, 2014Updated 11 years ago
Alternatives and similar repositories for featherweight
Users that are interested in featherweight are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Haskell bindings to Apache Arrow☆12Aug 21, 2018Updated 7 years ago
- HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.☆24Sep 25, 2011Updated 14 years ago
- A typed logic programming language embedded in Haskell☆50Mar 3, 2013Updated 13 years ago
- Reference type checker for the Lean theorem prover☆18Feb 14, 2018Updated 8 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆26Jul 7, 2018Updated 7 years ago
- Map and Set over contiguous memory☆22Aug 9, 2023Updated 2 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆36Nov 29, 2016Updated 9 years ago
- fast unique variables☆10Aug 23, 2025Updated 7 months ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- A more elegant specification for FRP☆24Jan 8, 2024Updated 2 years ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 4 years ago
- ☆11Jul 2, 2024Updated last year
- Haskell solutions for https://adventofcode.com/2021/☆14Dec 25, 2021Updated 4 years ago
- translations of a lambda abstraction to combinations of operators☆18Sep 6, 2019Updated 6 years ago
- ☆11Nov 5, 2015Updated 10 years ago
- LIL is a Language☆11Nov 17, 2022Updated 3 years ago
- ☆11Sep 19, 2017Updated 8 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆23Feb 17, 2015Updated 11 years ago
- Improves the known complexity of online lowest common ancestor search to O(log h) persistently, and without preprocessing☆27Jan 21, 2025Updated last year
- Navigate headings and keywords provided by navi-mode and outshine using Helm☆11May 17, 2023Updated 2 years ago
- string diagrams for the working programmer☆14Jul 17, 2023Updated 2 years ago
- A Helm interface for bbdb☆10Jul 28, 2019Updated 6 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30May 10, 2022Updated 3 years ago
- Mesos bindings for Haskell☆34Oct 29, 2015Updated 10 years ago
- Fingertrees of Bytestrings☆19Dec 3, 2018Updated 7 years ago
- An Efficient JavaScript Unification Library☆19Feb 10, 2015Updated 11 years ago
- ☆13Dec 14, 2015Updated 10 years ago
- Succinct binary serialization☆15Aug 26, 2018Updated 7 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- ☆18Mar 24, 2021Updated 5 years ago
- Optimized single-pass blur shaders for GLSL☆25Mar 20, 2023Updated 3 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Jul 24, 2016Updated 9 years ago
- Sample code to build a C library from a Haskell module, then call it from C☆16Jun 22, 2017Updated 8 years ago
- UI experiments for coda☆66Sep 23, 2021Updated 4 years ago
- Run, evaluate and compile functionality for a variety of different languages and modes.☆12Dec 18, 2025Updated 3 months ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- Transaction Attestation Platform for Ethereum smart contracts☆13Dec 6, 2016Updated 9 years ago
- Work with WAVE and RF64 files in Haskell☆11Feb 16, 2026Updated last month