☆16May 5, 2018Updated 7 years ago
Alternatives and similar repositories for wcpl
Users that are interested in wcpl are comparing it to the libraries listed below
Sorting:
- Simple processor in Haskell☆11Jul 3, 2015Updated 10 years ago
- A fuzzy string set implementation in Haskell.☆11Mar 8, 2024Updated last year
- A nullary type class for partial functions☆15Nov 28, 2017Updated 8 years ago
- MVC web framework for Euphoria (https://openeuphoria.org/)☆18Aug 1, 2022Updated 3 years ago
- ☆14Jan 31, 2021Updated 5 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Mar 14, 2020Updated 5 years ago
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆70Jan 13, 2020Updated 6 years ago
- Functional GPU programming - DSEL & compiler☆22Sep 9, 2016Updated 9 years ago
- Stack-based language similar to Factor.☆26Jun 14, 2018Updated 7 years ago
- ☆20Apr 17, 2018Updated 7 years ago
- Open-source electroporator for genetic transformation and other culturally shocking activities.☆16Mar 13, 2019Updated 6 years ago
- (early experiments toward) a version-control system for structured data☆19Jul 23, 2023Updated 2 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆37May 30, 2022Updated 3 years ago
- Basic Solitaire game in PureScript, with both web and terminal UIs☆20Apr 30, 2020Updated 5 years ago
- Example project for developing PureScript projects with Nix☆19Aug 30, 2018Updated 7 years ago
- Swift-like unicode string handling☆24May 7, 2020Updated 5 years ago
- Some writings about a type system for nix☆19Dec 18, 2017Updated 8 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25May 30, 2019Updated 6 years ago
- ☆23Aug 30, 2017Updated 8 years ago
- ☆26Oct 3, 2020Updated 5 years ago
- Managing third-party Haskell packages in Bazel☆29Jun 18, 2019Updated 6 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Jan 25, 2013Updated 13 years ago
- Drive the Nix build system using the Dhall configuration language☆26Nov 17, 2018Updated 7 years ago
- Tools for functors from Hask^k to Hask☆23Aug 25, 2019Updated 6 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆71Jan 2, 2011Updated 15 years ago
- A backwards-compatible, modern replacement for the Prelude.☆22Jan 20, 2017Updated 9 years ago
- Dijkstra's shortest path algorithm implemented at type level with Haskell☆20Dec 11, 2017Updated 8 years ago
- Hopefully verifiable code generation in GHC☆94May 10, 2017Updated 8 years ago
- User Interfaces for Programming Languages: The Compendium☆28Feb 14, 2021Updated 5 years ago
- HTML processor to parse and compile with browser APIs, powered by plugins☆27Dec 9, 2024Updated last year
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Aug 16, 2020Updated 5 years ago
- Category theory and algebra☆27Aug 4, 2016Updated 9 years ago
- Embeddable Forth interpreter written in Ada☆28Sep 20, 2015Updated 10 years ago
- Auto-parallelizing Pure Functional Language☆27Apr 29, 2019Updated 6 years ago
- Compiler that has been integrated into Okami now☆24Jul 15, 2022Updated 3 years ago
- An introductory Haskell programming course by Richard Cook☆31Apr 3, 2018Updated 7 years ago
- Dependently typed Algorithm M and friends☆26Jun 2, 2018Updated 7 years ago
- ☆20Aug 27, 2020Updated 5 years ago
- concise json parsing in Haskell using lenses☆20Oct 2, 2017Updated 8 years ago