athas / aoc22Links
Advent of Futhark
☆13Updated last year
Alternatives and similar repositories for aoc22
Users that are interested in aoc22 are comparing it to the libraries listed below
Sorting:
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆40Updated last month
- Fir programming language☆84Updated this week
- Programming with pure lambda calculus☆133Updated this week
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆65Updated 3 weeks ago
- High-level interface for low-level programming☆120Updated 2 weeks ago
- A functional programming language with shell scripting capabilities☆123Updated 5 months ago
- Pure functional programming with whole-program mutability inference☆78Updated 4 months ago
- ☆26Updated 2 years ago
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆61Updated 5 months ago
- 💐 j is a subset of J, and an essay.☆51Updated 4 months ago
- 📚 A collection of resources about supercompilation☆125Updated 4 months ago
- A tiny lazy objective functional language☆19Updated last year
- The Nox programming language☆31Updated 2 years ago
- Apple array system☆68Updated 2 weeks ago
- A declarative concatenative programming language☆168Updated 2 months ago
- A general purpose statically-typed concatenative programming language.☆56Updated 2 years ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆82Updated last week
- A lazy subset of JavaScript☆30Updated last month
- A garden of small programming language implementations 🪴☆297Updated this week
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆77Updated 3 years ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Updated 11 months ago
- dependent type theory experiment☆26Updated last year
- Violette is a simple functional programming language.☆26Updated 2 months ago
- WIP stack language that uses regex for control flow☆42Updated 2 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆48Updated 11 months ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆163Updated 3 years ago
- HTTP utility library for Standard ML☆11Updated 2 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- An menu/quick reference for Programming Language concepts☆20Updated last year
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆152Updated 5 months ago