Alternatives and similar repositories for lexie

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

• contificate / match
  Match compilation algorithm in OCaml
  ☆28Updated 4 months ago
• qexat / ansifmt
  A simple, lightweight library for ANSI formatting with powerful features such as a element-based system for pretty-printing code in the t…
  ☆22Updated 3 weeks ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆76Updated 3 months ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated this week
• bynect / algorithm-w
  Type inference implementation in OCaml using Algorithm W
  ☆10Updated 3 years ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 5 months ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆19Updated 2 years ago
• jaredly / jerd
  ☆37Updated 3 years ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 11 months ago
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆51Updated 9 months ago
• nathanfarlow / c-of-ocaml
  Compile OCaml to standalone ANSI C file
  ☆44Updated last month
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆117Updated last week
• blntk / sfpl
  A simple functional programming language.
  ☆21Updated 4 years ago
• art-w / gamelle
  2d game engine for OCaml
  ☆65Updated 4 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆53Updated 5 months ago
• claby2 / camlcade
  🐫🎮 OCaml Game Engine
  ☆44Updated 4 months ago
• gelisam / typechecker-combinators
  ☆17Updated last year
• dinosaure / esperanto
  build-once run-anywhere OCaml programs
  ☆138Updated last week
• mb64 / poly
  A WIP compiler for a functional language. Very incomplete!
  ☆16Updated 3 years ago
• thamugadi / semantic-preservation
  Attempt to prove semantic preservation (forward simulation) for a simple compiler.
  ☆11Updated last year
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆38Updated 6 years ago
• andreypopp / type-systems
  Playing with type systems
  ☆51Updated 6 months ago
• eashanhatti / konna
  ☆16Updated 3 years ago
• dannywillems / RML
  ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
  ☆38Updated 3 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 4 years ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated last week
• dbuenzli / brr
  Browser programming toolkit for OCaml
  ☆102Updated this week
• murmour / mparser
  A simple monadic parser combinator library for OCaml
  ☆67Updated 2 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 9 months ago