qexat / lexieLinks
a ML-style programming language based on the calculus of constructions type theory
☆16Updated last month
Alternatives and similar repositories for lexie
Users that are interested in lexie are comparing it to the libraries listed below
Sorting:
- A simple, lightweight library for ANSI formatting with powerful features such as a element-based system for pretty-printing code in the t…☆21Updated 3 months ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆15Updated last year
- Prototype for https://github.com/Innf107/vega☆19Updated 10 months ago
- A template for you to implement Hazelnut yourself☆22Updated 4 months ago
- A Rust to OCaml source to source translator☆21Updated last year
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Updated last year
- Match compilation algorithm in OCaml☆27Updated 3 months ago
- Another attempt to realize my programming language☆23Updated 3 months ago
- dependent type theory experiment☆26Updated last year
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- A WIP compiler for a functional language. Very incomplete!☆16Updated 3 years ago
- A fancy diagnostics library that allows your compilers to exit with grace☆74Updated last month
- A simple functional programming language.☆21Updated 3 years ago
- small programming language. pls be gentle.☆39Updated last month
- A toy dependent typed language.☆29Updated last week
- An implementation of Haskell’s MVars in Racket☆28Updated 7 months ago
- ☆16Updated 3 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆11Updated last year
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆15Updated 3 years ago
- let a million languages bloom☆20Updated last month
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆51Updated 3 months ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- koneko - a concatenative not-quite-lisp for kittens☆24Updated 9 months ago
- An interpreter of F-ing modules☆19Updated 5 years ago
- 🪆 A Staged Type Theory☆35Updated last year
- Linearizability Hoare Logic☆14Updated 2 months ago
- ☆17Updated last year
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 5 years ago
- An implementation of interaction nets as a forth-like language.☆33Updated 3 weeks ago