lambduli / minilog
A small logic programming language.
☆15Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for minilog
- A SKI combinators interpreter written in assembly☆17Updated 4 years ago
- language verification, construction, and analysis☆20Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- A simple λProlog interpreter☆20Updated 2 years ago
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆15Updated 3 years ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- ☆21Updated 4 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 5 months ago
- A parsing library that compiles grammars to combinators using elimination of left recursion☆18Updated 8 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆30Updated 2 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Like APL, but with emojis☆16Updated 2 years ago
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- Yoneda lemma in every known language☆17Updated last year
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆15Updated 11 months ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 4 years ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆32Updated last month
- A core concatenative programming language with variables and first-rank polymorphic type inference☆30Updated 4 years ago
- A pure type system implemented in OCaml☆77Updated 3 years ago
- Rules for writing academic papers and checking them using LTex-ls and LanguageTool☆18Updated 2 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆27Updated 7 years ago
- The Stroscot Programming Language☆13Updated 10 months ago
- Adds syntax to racket languages☆11Updated 2 years ago
- Haskell [re]implementation of Hap, a simple event-based programming language.☆12Updated 4 years ago
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Updated 3 years ago