A fork of Levy, originally by Bauer and Pretnar. The 'master' branch has some minor code fixes, more examples, and a top-level 'do' notation, the 'modprec' branch fiddles with the parser, and the 'datatype' branch totally changes the parser (damn you, reduce/reduce errors) and adds support for user-defined datatypes. The 'holey' branch is highly…
☆16Mar 11, 2012Updated 13 years ago
Alternatives and similar repositories for levy
Users that are interested in levy are comparing it to the libraries listed below
Sorting:
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Code for "Staged Generic Programming" (ICFP 2017)☆28Sep 2, 2023Updated 2 years ago
- A directed graph library for PureScript.☆11Jan 12, 2019Updated 7 years ago
- Types for the least and greatest fixed points of functors.☆15Apr 27, 2022Updated 3 years ago
- Juice - Oberon answer to Java browser plugins (1997)☆21Feb 14, 2013Updated 13 years ago
- An approach to user interfaces based in denotational design.☆27Jan 7, 2023Updated 3 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Aug 16, 2020Updated 5 years ago
- ☆26Nov 18, 2022Updated 3 years ago
- Simple implementations of forward- and backward-mode automatic differentation in Scala☆23Jun 21, 2018Updated 7 years ago
- applicative opt parsing for node☆31Jun 14, 2021Updated 4 years ago
- NbE course @ Chalmers☆28Sep 24, 2024Updated last year
- An easy way to deploy your Akka services to a distributed environment.☆30Dec 23, 2022Updated 3 years ago
- A dynamically-typed CBPV language embedded in Racket☆40Mar 6, 2024Updated 2 years ago
- SQL preprocessor for LaTeX☆11Nov 2, 2025Updated 4 months ago
- ☆12Feb 28, 2021Updated 5 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- A conlang lexicon software made in Python☆13Aug 24, 2025Updated 6 months ago
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago
- ☆40May 1, 2016Updated 9 years ago
- General, extensible effect monad for Scala with message-passing semantics☆38Sep 16, 2017Updated 8 years ago
- Fun and Games with Fix, Cofree, and Doobie☆40Nov 13, 2016Updated 9 years ago
- Pure Functional SQL generation.☆40Oct 5, 2018Updated 7 years ago
- Baresto UI☆39Feb 28, 2017Updated 9 years ago
- Many-to-many broadcasting☆16Apr 27, 2022Updated 3 years ago
- A "port" of plucid that works on OS X☆12Oct 25, 2014Updated 11 years ago
- ilo nanpa li ilo pi nasin nanpa pi toki pona.☆13Jan 15, 2019Updated 7 years ago
- Bayesian Regression Models using pymc3☆11Feb 4, 2017Updated 9 years ago
- Instances for QuickCheck classes☆17Jan 8, 2026Updated last month
- ☆11Jul 2, 2024Updated last year
- WebSocket library for Python (ws4py)☆13Apr 26, 2012Updated 13 years ago
- Functor products, coproducts, and composition☆13Apr 27, 2022Updated 3 years ago
- Provide a reference implementation for the TTM programming language.☆10Oct 5, 2014Updated 11 years ago
- Development tools for Atari Jaguar 64☆10Jan 30, 2015Updated 11 years ago
- Interpreter written for Prolog course.☆10Feb 18, 2020Updated 6 years ago
- ☆10Feb 18, 2016Updated 10 years ago
- Csound CSD Preprocessor☆21Apr 27, 2015Updated 10 years ago
- Fast, simple Free Monads using ScalaMeta macro annotations. Port of Freasy-Monad.☆14Oct 16, 2017Updated 8 years ago
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 9 years ago
- Experiment about a semantic-based diff tool for Java language.☆12Mar 28, 2015Updated 10 years ago