Alternatives and similar repositories for headmaster

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

• fujita-y / digamma
  Derived from Ypsilon (fujita-y/ypsilon) for experimental research
  ☆27Updated 3 years ago
• janestreet / sexp
  S-expression swiss knife
  ☆46Updated last month
• zinid / delimcc
  Delimited continuations in byte-code and native OCaml
  ☆27Updated 4 years ago
• jluningp / smlformat
  An auto-formatter for the Standard ML language
  ☆22Updated 5 years ago
• akr / codegen
  Coq plugin for monomorphization and C code generation
  ☆34Updated last month
• zertovitch / ada-bar-codes
  Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
  ☆16Updated 5 months ago
• yoriyuki / ucorelib
  A new Unicode library for OCaml
  ☆35Updated 11 years ago
• flycheck / flycheck-ocaml
  OCaml support for Flycheck using Merlin
  ☆22Updated last year
• Componolit / SXML
  Formally verified, bounded-stack XML library
  ☆23Updated 5 years ago
• LPCIC / matita
  Matita (proof assistant) with embedded elpi
  ☆13Updated 7 years ago
• ocaml-community / obus
  Pure OCaml implementation of the D-Bus protocol
  ☆34Updated last year
• JUrban / MPTP2
  ☆19Updated 8 years ago
• janestreet / line-up-words
  a small cmd line tool to align words in a sequence of lines in a smart way
  ☆13Updated 2 months ago
• GrammaTech / cl-smt-lib
  Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
  ☆19Updated 3 years ago
• pmatos / racket-loci
  Implementation of local and remote loci for Racket
  ☆12Updated 4 years ago
• yf-fyf / hlisp
  A Lisp implementation in which a lot of language features are self-definable.
  ☆18Updated 5 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆28Updated 9 years ago
• camlspotter / ocamloscope.2
  OCamlOScope 2 : OCaml API search
  ☆43Updated 7 years ago
• janestreet / universe
  Jane Street universe
  ☆17Updated 4 years ago
• garrigue / labltk
  LablTk, an OCaml interface for Tcl/Tk
  ☆34Updated 5 months ago
• kenichi-asai / Universe
  The Universe Library for OCaml
  ☆14Updated 6 years ago
• axiles / ocaml-efl
  An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary
  ☆27Updated 2 years ago
• OneWingedShark / Byron
  The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
  ☆63Updated 5 years ago
• irori / advent-unlambda
  A faithful implementation of the Colossal Cave Adventure in Unlambda
  ☆17Updated 5 years ago
• uim / sigscheme
  A R5RS Scheme interpreter for embedded use
  ☆29Updated 2 months ago
• groupoid / TeX
  🧊 TeX-подібна система верстки наукових праць
  ☆20Updated 4 months ago
• ushitora-anqou / aqaml
  Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.
  ☆57Updated 6 years ago
• ocaml-omake / omake
  The new home of OMake - docs, downloads, mailing list etc. see:
  ☆67Updated 6 months ago
• nojb / riscv-ocaml
  RISC-V port of the OCaml system
  ☆43Updated 4 years ago
• nineties-retro / sps
  Pre-Scheme to (GNU) C compiler written in Pre-Scheme
  ☆36Updated 11 years ago