loophp / combinatorLinks
A curated list of combinators
☆120Updated 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☆123Updated 9 months ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆224Updated last year
- Embeddable Lambda Prolog Interpreter☆326Updated this week
- ☆234Updated last month
- Catalog of visual lambda calculi☆154Updated 2 months ago
- The cuteness implementation of a dependently typed language.☆193Updated 2 years ago
- deployment for smlhelp page☆41Updated 3 months ago
- A fast functional language based on two level type theory☆392Updated 2 years ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆78Updated last week
- A categorical programming language with effects☆284Updated 2 years ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated this week
- A compiler and run-time system to compile and run Curry programs as Go programs☆35Updated 4 months ago
- The Makam Metalanguage☆199Updated 2 years ago
- The adventures of a Haskell compiler☆232Updated 4 months ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- A language server for Standard ML in Rust.☆229Updated last week
- Programming with pure lambda calculus☆121Updated 3 weeks ago
- An embeddable flow-oriented language.☆72Updated last week
- Inpla: Interaction nets as a programming language (the current version)☆311Updated 10 months ago
- Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.☆45Updated 7 months ago
- A garden of small programming language implementations 🪴☆287Updated this week
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆146Updated last year
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆177Updated 4 years ago
- Online REPL for BQN☆34Updated 2 years ago
- Useful things for Standard ML☆70Updated 11 months ago
- A small, weird and unpractical programming language.☆103Updated last week
- A prompt engineering functional programming language☆440Updated this week
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆136Updated 2 years ago
- Standard ML of New Jersey☆220Updated this week
- ☆47Updated 3 years ago