Alternatives and similar repositories for violette

Users that are interested in violette are comparing it to the libraries listed below

• qexat / ansifmt
  A simple, lightweight library for ANSI styling.
  ☆23Updated last week
• coetaur0 / nox
  The Nox programming language
  ☆30Updated 2 years ago
• fir-lang / fir
  Fir programming language
  ☆73Updated last week
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆44Updated 9 months ago
• marvinborner / interaction-net-resources
  Interaction net resources
  ☆31Updated last month
• ehatti / LHL
  Linearizability Hoare Logic
  ☆14Updated 6 months ago
• andreypopp / type-systems
  Playing with type systems
  ☆51Updated 8 months ago
• faldor20 / jj_tui
  A TUI for the Jujutsu version control system
  ☆102Updated last week
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 5 months ago
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆75Updated last month
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆73Updated 3 years ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆121Updated 2 months ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆47Updated last month
• chshersh / github-tui
  🌒 A TUI for GitHub
  ☆219Updated last month
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆61Updated last week
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆44Updated last year
• eashanhatti / konna
  ☆16Updated 3 years ago
• LPTK / simpler-sub
  Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…
  ☆27Updated 3 years ago
• rush-rs / rush
  A simple programming language for researching different ways of program execution and compilation
  ☆33Updated 11 months ago
• SomewhatML / match-compile
  A small example of a source->source pattern matching to decision tree compiler
  ☆14Updated 5 years ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆53Updated 2 months ago
• 0xGlitchbyte / OCrab
  A Rust to OCaml source to source translator
  ☆21Updated last year
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆64Updated last year
• SimonJF / mbcheck
  Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
  ☆18Updated 3 weeks ago
• TyOverby / sdui
  A frontend for the 1111 stable diffusion API
  ☆17Updated last week
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• OCamlPro / wasocaml
  ☆62Updated 10 months ago
• Inria-Prosecco / StarMalloc
  A verified, modern, hardened memory allocator. [maintainer=@cmovcc]
  ☆36Updated last month