qexat / violetteLinks
Violette is a simple functional programming language.
☆26Updated last month
Alternatives and similar repositories for violette
Users that are interested in violette are comparing it to the libraries listed below
Sorting:
- Fir programming language☆81Updated this week
- The Nox programming language☆31Updated 2 years ago
- A simple, lightweight library for ANSI styling.☆24Updated last month
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆60Updated 5 months ago
- dependent type theory experiment☆26Updated last year
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆48Updated 11 months ago
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆37Updated last month
- A functional scripting language.☆17Updated 10 months ago
- Polymorphic guarded λ-calculus☆22Updated 4 months ago
- A functional programming language with shell scripting capabilities☆123Updated 4 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆65Updated 2 weeks ago
- Interaction net resources☆37Updated 2 weeks ago
- Linearizability Hoare Logic☆14Updated 8 months ago
- ☆16Updated 3 years ago
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆36Updated last month
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆75Updated 3 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Updated 3 years ago
- A language with dependent data and codata types☆126Updated this week
- Playing with type systems☆51Updated 11 months ago
- An implementation of interaction nets as a forth-like language.☆36Updated 2 weeks ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆152Updated 5 months ago
- A MinCaml compiler implemented in Rust☆44Updated 2 years ago
- Atiny is a simple compiler for a ML like language☆11Updated 2 years ago
- Pure functional programming with whole-program mutability inference☆78Updated 4 months ago
- A general purpose statically-typed concatenative programming language.☆55Updated 2 years ago
- A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!☆31Updated 3 years ago
- Liquid Types implementation for Rust☆30Updated 3 years ago
- A lazy subset of JavaScript☆30Updated last month
- A tiny lazy objective functional language☆19Updated last year