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 14 years ago
Alternatives and similar repositories for levy
Users that are interested in levy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- Types for the least and greatest fixed points of functors.☆15Apr 27, 2022Updated 3 years ago
- applicative opt parsing for node☆31Jun 14, 2021Updated 4 years ago
- A directed graph library for PureScript.☆11Jan 12, 2019Updated 7 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- The Flow programming language☆27Updated this week
- Flexible generic codecs for purescript-argonaut☆16Jun 25, 2017Updated 8 years ago
- A "port" of plucid that works on OS X☆12Oct 25, 2014Updated 11 years ago
- An approach to user interfaces based in denotational design.☆27Jan 7, 2023Updated 3 years ago
- Server-side Zotero translation based on Mozilla xpcshell (deprecated)☆37Aug 31, 2018Updated 7 years ago
- Instances for QuickCheck classes☆17Jan 8, 2026Updated 2 months ago
- ☆15Mar 12, 2016Updated 10 years ago
- ☆26Nov 18, 2022Updated 3 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Aug 16, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ilo nanpa li ilo pi nasin nanpa pi toki pona.☆13Jan 15, 2019Updated 7 years ago
- Data store(s) for purescript applications. Use your own DSL to update the global state.☆19Oct 7, 2018Updated 7 years ago
- Juice - Oberon answer to Java browser plugins (1997)☆21Feb 14, 2013Updated 13 years ago
- Simple implementations of forward- and backward-mode automatic differentation in Scala☆23Jun 21, 2018Updated 7 years ago
- Algorithmically solve Slay the Spire☆19Oct 7, 2022Updated 3 years ago
- ☆17Apr 1, 2025Updated 11 months ago
- vpnc keepalive daemon for Linux systems☆38May 28, 2020Updated 5 years ago
- Install and configure Samba 3 file sharing server☆17Dec 2, 2016Updated 9 years ago
- A library for working with the PureScript functional core.☆24Jun 9, 2020Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A library of components for RISC-V implementations in Haskell CLaSH☆13Mar 24, 2017Updated 9 years ago
- A prototype implementation of the Frank programming language☆17Feb 11, 2016Updated 10 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- simple ray tracing by TeX☆15Nov 2, 2019Updated 6 years ago
- NbE course @ Chalmers☆28Sep 24, 2024Updated last year
- Example language server (LSP) implementation for a toy language☆60Jul 21, 2021Updated 4 years ago
- ☆11Aug 27, 2018Updated 7 years ago
- Tiny High Performance HTTP Server for Scala☆13Jan 4, 2025Updated last year
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Interesting ways of using Go channels by John Graham-Cumming☆22Jan 20, 2016Updated 10 years ago
- Haskell reading group in Berlin.☆14Sep 3, 2017Updated 8 years ago
- An easy way to deploy your Akka services to a distributed environment.☆30Dec 23, 2022Updated 3 years ago
- An application to monitor and drive the Spark JobServer☆12Dec 12, 2014Updated 11 years ago
- A compiler and mutation testing framework for the programming language Pascal-86☆20Sep 12, 2014Updated 11 years ago
- ☆13Jan 23, 2022Updated 4 years ago
- Atmel MARC4 disassembler☆16Mar 29, 2013Updated 12 years ago