Alternatives and similar repositories for ansifmt

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

• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 11 months ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆46Updated 5 months ago
• c-cube / linol
  Wrapper around the OCaml `lsp` library to make it easier to write LSP servers
  ☆34Updated 2 months ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆76Updated 3 months ago
• andreypopp / type-systems
  Playing with type systems
  ☆51Updated 6 months ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆117Updated 3 weeks ago
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆13Updated 5 months ago
• aryx / ocaml-elm-playground
  Port of the Elm playground package to OCaml to make pictures, animations, and even video games easily.
  ☆27Updated 6 months ago
• TyOverby / sdui
  A frontend for the 1111 stable diffusion API
  ☆17Updated last month
• eilvelia / ocaml-kdl
  OCaml implementation of the KDL Document Language
  ☆14Updated 3 months ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated last year
• janestreet / parallel
  OxCaml Parallelism
  ☆30Updated last month
• pdelacroix / vite-plugin-melange
  A Vite plugin for Melange
  ☆13Updated 4 months ago
• polytypic / io
  IO should be just a library
  ☆23Updated last year
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆51Updated 9 months ago
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆132Updated 3 weeks ago
• gridbugs / climate
  A declarative command-line parser for OCaml
  ☆43Updated 2 weeks ago
• nathanfarlow / c-of-ocaml
  Compile OCaml to standalone ANSI C file
  ☆44Updated last month
• c-cube / moonpool
  Commodity thread pools and concurrency primitives for OCaml 5
  ☆60Updated this week
• ollef / system-f-omega-agda
  A formalization of System Fω in Agda
  ☆17Updated 4 months ago
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆88Updated 3 months ago
• gelisam / typechecker-combinators
  ☆17Updated last year
• zed-extensions / ocaml
  OCaml support
  ☆23Updated 2 months ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated 11 months ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆30Updated this week
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• tjdevries / ocaml-engine
  OCaml game engine and Vampire Survivors inspired game
  ☆48Updated last year
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 4 years ago
• fir-lang / fir
  Fir programming language
  ☆64Updated this week