andrejbauer / plzoo
Programming Languages Zoo
☆1,493Updated 10 months ago
Alternatives and similar repositories for plzoo:
Users that are interested in plzoo are comparing it to the libraries listed below
- A statically typed concatenative systems programming language.☆1,121Updated 2 years ago
- Implementations of various type systems in OCaml.☆1,574Updated 9 years ago
- The Mercury logic programming system.☆944Updated this week
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,034Updated 2 weeks ago
- A programming language with static memory management based on λ-calculus☆1,000Updated this week
- CakeML: A Verified Implementation of ML☆1,029Updated this week
- A functional programming language based on algebraic effect handlers☆873Updated 7 months ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆772Updated last month
- WIP implementation of a Haskell-like Lisp in Racket☆1,171Updated last year
- The MLton repository☆1,009Updated 2 months ago
- A Dependently Typed Functional Programming Language☆3,457Updated 2 months ago
- Hazel, a live functional programming environment with typed holes☆923Updated this week
- Functional programming with fewer indirections☆762Updated 4 years ago
- The Pyret language.☆1,086Updated this week
- A purely functional programming language with first class types☆2,652Updated this week
- Multicore OCaml☆765Updated 2 years ago
- Factor programming language☆1,708Updated this week
- Koka language compiler and interpreter☆3,493Updated this week
- Compiler for the Mirth programming language.☆463Updated this week
- Agda is a dependently typed programming language / interactive theorem prover.☆2,627Updated this week
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,041Updated 2 years ago
- Liquid Types For Haskell☆1,238Updated this week
- Miscellaneous articles. The readme is the table of contents.☆1,262Updated last year
- an incremental approach to compiler construction☆933Updated 5 years ago
- A Proof-oriented Programming Language☆2,836Updated this week
- Systems language with linear types and capability-based security.☆1,289Updated last month
- The Lux Programming Language☆1,705Updated this week
- A fast functional language based on two level type theory☆391Updated 2 years ago
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆714Updated 3 years ago
- A safe, easy systems language☆1,993Updated this week