Alternatives and similar repositories for ansifmt

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

• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆47Updated 2 months ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆86Updated last month
• andreypopp / type-systems
  Playing with type systems
  ☆51Updated 10 months ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆123Updated 3 months ago
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆91Updated 7 months ago
• c-cube / linol
  Wrapper around the OCaml `lsp` library to make it easier to write LSP servers
  ☆36Updated 2 months ago
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆136Updated last week
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆30Updated 3 years ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆32Updated this week
• eilvelia / ocaml-kdl
  OCaml implementation of the KDL Document Language
  ☆14Updated 6 months ago
• ollef / system-f-omega-agda
  A formalization of System Fω in Agda
  ☆19Updated 8 months ago
• qexat / violette
  Violette is a simple functional programming language.
  ☆24Updated 3 weeks ago
• ocaml-tui / tty
  A pure OCaml library for working with terminals
  ☆31Updated last year
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆72Updated last year
• qexat / lexie
  a ML-style programming language based on the calculus of constructions type theory
  ☆24Updated 4 months ago
• c-cube / moonpool
  Commodity thread pools and concurrency primitives for OCaml 5
  ☆63Updated 2 weeks ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• tjdevries / ocaml-engine
  OCaml game engine and Vampire Survivors inspired game
  ☆49Updated last year
• nathanfarlow / c-of-ocaml
  Compile OCaml to standalone ANSI C file
  ☆44Updated 5 months ago
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆51Updated 2 months ago
• ehatti / LHL
  Linearizability Hoare Logic
  ☆14Updated 7 months ago
• lexi-lambda / racket-toolbox
  Miscellaneous Racket utilities lacking a better home
  ☆13Updated last month
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated 2 years ago
• ocaml-sys / ocaml-bindgen
  Automatically generates OCaml FFI bindings and C shim code to C/C++ libraries
  ☆36Updated last year
• gridbugs / climate
  A declarative command-line parser for OCaml
  ☆44Updated 3 weeks ago
• aryx / ocaml-elm-playground
  Port of the Elm playground package to OCaml to make pictures, animations, and even video games easily.
  ☆29Updated 10 months ago
• pedrobslisboa / ppx-by-example
  This repository contains examples to help on understanding what are and how to write PPXs in OCaml.
  ☆45Updated 11 months ago
• pdelacroix / vite-plugin-melange
  A Vite plugin for Melange
  ☆12Updated 8 months ago
• art-w / gamelle
  2d game engine for OCaml
  ☆71Updated this week