loophp / combinatorLinks
A curated list of combinators
☆123Updated this week
Alternatives and similar repositories for combinator
Users that are interested in combinator are comparing it to the libraries listed below
Sorting:
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆129Updated 11 months ago
- ☆233Updated 3 months ago
- The adventures of a Haskell compiler☆232Updated last month
- A fast functional language based on two level type theory☆391Updated 2 years ago
- A language server for Standard ML in Rust.☆230Updated 2 months ago
- Useful things for Standard ML☆72Updated last year
- Programming with pure lambda calculus☆128Updated last week
- Embeddable Lambda Prolog Interpreter☆326Updated last week
- A compiler and run-time system to compile and run Curry programs as Go programs☆37Updated 3 weeks ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆226Updated last year
- Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.☆48Updated 9 months ago
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆147Updated 2 years ago
- An embeddable flow-oriented language.☆71Updated 3 weeks ago
- The cuteness implementation of a dependently typed language.☆193Updated 2 years ago
- A categorical programming language with effects☆289Updated 2 years ago
- Standard ML of New Jersey☆226Updated this week
- Catalog of visual lambda calculi☆160Updated 4 months ago
- Inpla: Interaction nets as a programming language (the current version)☆315Updated last year
- A Lisp interpreter written in untyped lambda calculus☆245Updated 2 years ago
- Haskell implemented with combinators☆642Updated this week
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆216Updated 2 years ago
- A garden of small programming language implementations 🪴☆292Updated this week
- A native and a cross platform guide for BQN array programming language☆57Updated last year
- deployment for smlhelp page☆41Updated 5 months ago
- A small, weird and unpractical programming language.☆102Updated last week
- A functional programming language with shell scripting capabilities☆123Updated 4 months ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆63Updated 2 years ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆81Updated last week
- Cross-platform IDE for Dyalog APL☆219Updated last month
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆67Updated 2 months ago