μ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
Sorting:
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.☆24Sep 25, 2011Updated 14 years ago
- Reference type checker for the Lean theorem prover☆17Feb 14, 2018Updated 8 years ago
- A typed logic programming language embedded in Haskell☆50Mar 3, 2013Updated 13 years ago
- Map and Set over contiguous memory☆22Aug 9, 2023Updated 2 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Jul 7, 2018Updated 7 years ago
- A more elegant specification for FRP☆24Jan 8, 2024Updated 2 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30May 10, 2022Updated 3 years ago
- An interactive Ruby shell that can also be used as a Unix shell replacement☆10May 16, 2011Updated 14 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- ☆10Oct 2, 2021Updated 4 years ago
- Integrates the skrollr javascript library with the Rails asset pipeline☆31Jan 7, 2015Updated 11 years ago
- A preprocessor for GHC for alternate Haskell syntaxes☆38Sep 8, 2015Updated 10 years ago
- Extensions ontop the standard xml library for encoding, decoding, mapping and mutability☆11Feb 24, 2021Updated 5 years ago
- Gate between git and mediawiki☆31Jan 5, 2014Updated 12 years ago
- The name "KnowledgeMap" tries to use the metaphor of a cartographic map. If we represent all the different areas of knowledge as a bidime…☆12Mar 29, 2016Updated 9 years ago
- Universal build and CI testing for Haskell packages☆94Oct 28, 2025Updated 4 months ago
- Fuzzing web services in style with nodejs☆10Aug 10, 2019Updated 6 years ago
- ☆11Sep 19, 2017Updated 8 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- Pure-Scala implementation of HOCON, suitable for cross-platform use☆10May 29, 2017Updated 8 years ago
- Tool to convert literate code between styles or to code.☆11Jun 4, 2019Updated 6 years ago
- A Helm interface for bbdb☆10Jul 28, 2019Updated 6 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- s_mach.datadiff is an open-source data difference engine for Scala. Implementations of the DataDiff type-class are provided which can com…☆10Feb 3, 2017Updated 9 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- Proper English title capitalization of a marked region☆11Nov 4, 2018Updated 7 years ago
- Efficiently scale, crop, flip images with JuicyPixels☆15Feb 9, 2026Updated 3 weeks ago
- A RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 2 years ago
- TFTP Server employing negative latency☆16Oct 22, 2008Updated 17 years ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 3 years ago
- LIL is a Language☆12Nov 17, 2022Updated 3 years ago
- VersionEye SBT Plugin for scala projects☆10Nov 30, 2017Updated 8 years ago
- Generate multiple seeds for Clifford or De Jong attractors simultaneously in a single page.☆10Jun 28, 2020Updated 5 years ago
- Haskell bindings to Apache Arrow☆12Aug 21, 2018Updated 7 years ago
- Common Trace Format requirements and specifications☆11Feb 7, 2023Updated 3 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- fast unique variables☆10Aug 23, 2025Updated 6 months ago
- Haskell support☆14Feb 25, 2026Updated last week