kseo / fp
John Backus' Functional Programming Systems
☆14Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for fp
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 2 weeks ago
- A natural transformation package☆16Updated 2 weeks ago
- List monad transformer☆60Updated 5 months ago
- PolyRPC, A multi-tier functional programming language☆20Updated 2 years ago
- phantom types☆37Updated last month
- ☆41Updated 7 years ago
- JVM implementation in Haskell☆44Updated last month
- a simple functional language for learners☆30Updated 7 years ago
- Rope data structure used by Yi☆19Updated 6 years ago
- The Spire Programming Language☆59Updated 10 years ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Updated last year
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Updated 9 years ago
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆18Updated 6 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- Recursion schemes in ATS☆9Updated 2 years ago
- JVM code generation☆32Updated 5 years ago
- Deep evaluation of data structures☆41Updated 2 months ago
- Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development☆11Updated 9 years ago
- A Haskell binding for the OpenAL Utility Toolkit, which makes managing of OpenAL contexts, loading sounds in various formats and creating…☆13Updated last year
- S-expression-based syntax alternative for Haskell.☆21Updated 10 years ago
- ☆23Updated 6 years ago
- Haskell Join-calculus DSL☆22Updated 5 years ago
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- Dynamic network FRP with events and continuous values☆53Updated 4 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- GHCJS DOM Hello World, an example package☆10Updated 5 months ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆37Updated 11 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Updated 5 years ago