qexat / violetteLinks
Violette is a simple functional programming language.
☆24Updated 3 weeks ago
Alternatives and similar repositories for violette
Users that are interested in violette are comparing it to the libraries listed below
Sorting:
- A simple, lightweight library for ANSI styling.☆23Updated last week
- Fir programming language☆80Updated this week
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆60Updated 4 months ago
- The Nox programming language☆30Updated 2 years ago
- ☆16Updated 3 years ago
- dependent type theory experiment☆26Updated last year
- Polymorphic guarded λ-calculus☆23Updated 3 months ago
- A functional programming language with shell scripting capabilities☆123Updated 3 months ago
- Interaction net resources☆34Updated 3 weeks ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆45Updated 10 months ago
- A simple programming language for researching different ways of program execution and compilation☆34Updated last year
- Linearizability Hoare Logic☆14Updated 7 months ago
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- Pure functional programming with whole-program mutability inference☆77Updated 3 months ago
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆34Updated 3 months ago
- The glitch-soc/Mastodon fork running on types.pl☆26Updated 3 months ago
- A functional scripting language.☆17Updated 9 months ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆38Updated 3 weeks 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 verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆36Updated 3 weeks ago
- Lua backend for Idris 2☆28Updated 3 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆75Updated 3 years ago
- 👌 A smol functional language that targets other languages☆65Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆61Updated 2 weeks ago
- Playing with type systems☆51Updated 10 months ago
- Atiny is a simple compiler for a ML like language☆11Updated 2 years ago
- Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction☆18Updated 4 months ago
- A toy dependent typed language.☆32Updated this week
- A Language with Dependent Data and Codata Types☆124Updated this week
- Imagine a Dependently Typed Python☆11Updated 7 months ago