robsimmons / levyView external linksLinks
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 12 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
- Simple implementations of forward- and backward-mode automatic differentation in Scala☆23Jun 21, 2018Updated 7 years ago
- ☆26Nov 18, 2022Updated 3 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 last year
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago
- ☆12Feb 28, 2021Updated 4 years ago
- A conlang lexicon software made in Python☆13Aug 24, 2025Updated 5 months ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- SQL preprocessor for LaTeX☆11Nov 2, 2025Updated 3 months ago
- ☆40May 1, 2016Updated 9 years ago
- General, extensible effect monad for Scala with message-passing semantics☆38Sep 16, 2017Updated 8 years ago
- Pure Functional SQL generation.☆40Oct 5, 2018Updated 7 years ago
- Baresto UI☆39Feb 28, 2017Updated 8 years ago
- Fun and Games with Fix, Cofree, and Doobie☆40Nov 13, 2016Updated 9 years ago
- Contains various Greek and Roman works of antiquity that were originally provided as part of the Perseus project (http://www.perseus.tuft…☆14Sep 27, 2013Updated 12 years ago
- PureScript + D3 examples☆13Oct 11, 2016Updated 9 years ago
- A port of the ForkJoinPool JSR-166 implementation used in Scala 2.11.x for usage in Scala 2.12☆11Dec 30, 2016Updated 9 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- ☆18Aug 15, 2015Updated 10 years ago
- Tiny High Performance HTTP Server for Scala☆13Jan 4, 2025Updated last year
- Functor products, coproducts, and composition☆13Apr 27, 2022Updated 3 years ago
- WebSocket library for Python (ws4py)☆13Apr 26, 2012Updated 13 years ago
- A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.☆11Jun 23, 2019Updated 6 years ago
- Decentralized social applications, made easy (under development)☆12Jan 19, 2015Updated 11 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆12Dec 2, 2025Updated 2 months ago
- Many-to-many broadcasting☆16Apr 27, 2022Updated 3 years ago
- A Dependently Timed Drum Machine Language☆11May 4, 2024Updated last year
- Csound CSD Preprocessor☆21Apr 27, 2015Updated 10 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- WAMCC is a WAM-based Prolog to C compiler.☆11Dec 10, 2013Updated 12 years ago