lambduli / minilogLinks
A small logic programming language.
☆16Updated last year
Alternatives and similar repositories for minilog
Users that are interested in minilog are comparing it to the libraries listed below
Sorting:
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆53Updated 4 months ago
- language verification, construction, and analysis☆20Updated 3 years ago
- A SKI combinators interpreter written in assembly☆20Updated 4 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- An implementation of interaction nets as a forth-like language.☆33Updated last month
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15Updated last year
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 2 years ago
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆15Updated 3 years ago