loophp / combinatorLinks
A curated list of combinators
☆120Updated 3 weeks 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☆223Updated last year
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆145Updated last year
- Programming with pure lambda calculus☆118Updated 2 weeks ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆65Updated 2 weeks ago
- A small, weird and unpractical programming language.☆103Updated this week
- Embeddable Lambda Prolog Interpreter☆324Updated 2 weeks ago
- A categorical programming language with effects☆283Updated 2 years ago
- Some notes taken while working on Prolog☆189Updated last year
- ☆47Updated 3 years ago
- Catalog of visual lambda calculi☆150Updated last month
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆122Updated 8 months ago
- A language server for Standard ML in Rust.☆228Updated 2 weeks ago
- Inpla: Interaction nets as a programming language (the current version)☆310Updated 10 months ago
- ☆233Updated 3 weeks ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆35Updated 3 months ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆72Updated this week
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- The adventures of a Haskell compiler☆231Updated 3 months ago
- The cuteness implementation of a dependently typed language.☆193Updated 2 years ago
- Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.☆45Updated 6 months ago
- Standard ML of New Jersey☆219Updated this week
- Online REPL for BQN☆34Updated 2 years ago
- The Makam Metalanguage☆199Updated 2 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆166Updated this week
- A fast functional language based on two level type theory☆391Updated 2 years ago
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆72Updated this week
- A garden of small programming language implementations 🪴☆279Updated this week
- Haskell implemented with combinators☆581Updated this week
- A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.☆189Updated 7 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆177Updated 4 years ago