loophp / combinatorLinks
A curated list of combinators
☆120Updated 4 months ago
Alternatives and similar repositories for combinator
Users that are interested in combinator are comparing it to the libraries listed below
Sorting:
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆222Updated last year
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆117Updated 6 months ago
- A categorical programming language with effects☆282Updated 2 years ago
- Catalog of visual lambda calculi☆143Updated 3 months ago
- ☆227Updated last week
- The adventures of a Haskell compiler☆227Updated 2 months ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆62Updated last month
- Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda☆63Updated this week
- Haskell + Lisp☆210Updated last year
- Inpla: Interaction nets as a programming language (the current version)☆309Updated 8 months ago
- A garden of small programming language implementations 🪴☆272Updated this week
- Programming with pure lambda calculus☆111Updated 3 weeks ago
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆142Updated last year
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 7 months ago
- Haskell implemented with combinators☆549Updated this week
- a tiny tile-based editor☆304Updated 3 weeks ago
- ☆137Updated 3 years ago
- Functional teaching language for use in a discrete mathematics course☆169Updated last month
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆159Updated 3 years ago
- A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.☆185Updated 5 months ago
- Apple array system☆67Updated last month
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- Online REPL for BQN☆34Updated last year
- Embeddable Lambda Prolog Interpreter☆317Updated last week
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆58Updated last month
- A fast functional language based on two level type theory☆391Updated 2 years ago
- ☆160Updated 10 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆176Updated 4 years ago
- Language based on Rewriting Logic☆127Updated last week
- An embeddable flow-oriented language.☆71Updated 2 weeks ago