cau-placc / pakcsLinks
PAKCS: The Portland Aachen Kiel Curry system
☆14Updated 3 weeks ago
Alternatives and similar repositories for pakcs
Users that are interested in pakcs are comparing it to the libraries listed below
Sorting:
- Fir programming language☆79Updated last week
- A compiler and run-time system to compile and run Curry programs as Go programs☆37Updated 3 weeks ago
- A language with dependent data and codata types☆124Updated this week
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆61Updated last year
- ☆16Updated 10 months ago
- A gentle introduction to Isabelle and Isabelle/HOL☆15Updated 7 months ago
- Functional Programming in Lean☆121Updated 3 weeks ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆81Updated this week
- Package manager for Idris☆37Updated 3 years ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆37Updated last month
- ☆119Updated last year
- The Montreal Haskell Compiler☆27Updated last month
- Lua backend for Idris 2☆28Updated 3 years ago
- The Twelf Programming Language☆143Updated this week
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆115Updated this week
- ☆29Updated this week
- Personal research notes☆16Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆64Updated this week
- Asynchronous and concurrent computations in Idris2☆22Updated 2 weeks ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆38Updated 10 months ago
- A toy dependent typed language.☆32Updated this week
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆48Updated 11 months ago
- IDE support for the functional logic programming language Curry☆32Updated 3 weeks ago
- Pure functional programming with whole-program mutability inference☆78Updated 3 months ago
- Lean 4 port of Megaparsec☆29Updated last year
- A core language and API for dependently typed languages☆96Updated 9 months ago
- The Ribbon compiler, interpreter and runtime. An embeddable programming language, offering performance without sacrificing safety or usab…☆19Updated last month
- ☆16Updated 3 years ago
- Interaction net resources☆37Updated last week
- Imagine a Dependently Typed Python☆11Updated 7 months ago