kseo / fp
John Backus' Functional Programming Systems
☆14Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for fp
- The Alms Programming Language☆44Updated 6 years ago
- JVM implementation in Haskell☆44Updated 2 months ago
- ☆41Updated 7 years ago
- Yes, it is what you think it is☆33Updated 8 years ago
- List monad transformer☆60Updated 6 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 3 weeks ago
- PolyRPC, A multi-tier functional programming language☆20Updated 2 years ago
- Recursion schemes in ATS☆9Updated 2 years ago
- a simple functional language for learners☆30Updated 7 years ago
- A fork of jhc. And also a Haskell compiler.☆134Updated 5 years ago
- For hosting certain parts of http://www.ats-lang.org☆26Updated last year
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 8 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆57Updated 3 years ago
- ☆26Updated 10 years ago
- Haskell Semantics with Lisp Syntax☆66Updated 10 years ago
- Kempe is a compiled stack-based language☆58Updated last month
- microkanren in sml☆26Updated 9 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 9 years ago
- minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros☆18Updated 11 years ago
- Keyboard controller written in Ivory☆10Updated 7 years ago
- Haskell Join-calculus DSL☆22Updated 5 years ago
- ☆23Updated 6 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆87Updated 5 years ago
- A natural transformation package☆16Updated 3 weeks ago
- ☆20Updated 9 years ago
- A programming language that runs in Haskell's type system.☆249Updated 8 years ago
- System POSIX bindings for Idris.☆36Updated 5 years ago
- Haskell User's Gofer System☆22Updated 8 years ago
- A simple implementation of linear type theory☆38Updated 7 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆37Updated 11 years ago