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
• fir-lang / fir
  Fir programming language
  ☆80Updated last week
• coetaur0 / nox
  The Nox programming language
  ☆30Updated 2 years ago
• rush-rs / rush
  A simple programming language for researching different ways of program execution and compilation
  ☆34Updated last year
• marvinborner / interaction-net-resources
  Interaction net resources
  ☆33Updated last week
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆122Updated 3 months ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆45Updated 10 months ago
• Wilfred / garden
  an interactive programming language
  ☆49Updated last week
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆54Updated 3 months ago
• LunaAmora / Atiny
  Atiny is a simple compiler for a ML like language
  ☆11Updated 2 years ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• LightAndLight / ipso
  A functional scripting language.
  ☆17Updated 9 months ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆62Updated 2 years ago
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• faldor20 / jj_tui
  A TUI for the Jujutsu version control system
  ☆108Updated last month
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆37Updated 2 months ago
• SparkyPotato / yam
  A low level, expressive language
  ☆13Updated 10 months ago
• codereport / hoogle-translate
  ☆108Updated 3 weeks ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆74Updated 3 years ago
• eashanhatti / konna
  ☆16Updated 3 years ago
• dbcaml / dbcaml
  DBCaml is a database library for OCaml
  ☆65Updated 11 months ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆77Updated 2 months ago
• nickel-lang / tree-sitter-nickel
  ☆15Updated 2 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆61Updated 2 weeks ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆64Updated last year
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆135Updated 4 months ago
• chshersh / github-tui
  🌒 A TUI for GitHub
  ☆224Updated 2 months ago
• OCamlPro / wasocaml
  ☆64Updated 11 months ago
• RyanBrewer317 / cricket_rs
  A tiny lazy objective functional language
  ☆18Updated last year
• graninas / type-level-interfaces-in-rust
  Type-level interfaces for type-level design in Rust
  ☆25Updated 8 months ago