Alternatives and similar repositories for gobba

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

• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆81Updated 4 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• nanocaml / nanocaml
  Nanopass for OCaml
  ☆146Updated 7 years ago
• fold-lang / fold
  A meta-language for OCaml. (Unreleased)
  ☆25Updated 6 months ago
• ianthehenry / ocamlsyntax.com
  How do you do that recursive GADT thing again?
  ☆28Updated last year
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆68Updated 2 years ago
• kit-ty-kate / labrys
  A toy language based on LLVM that implements the System Fω type-system
  ☆109Updated last year
• johnwhitington / ocamli
  OCaml interpreter
  ☆101Updated 5 years ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 8 years ago
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆41Updated 4 years ago
• Ekdohibs / joujou
  A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …
  ☆90Updated 6 years ago
• chrisnevers / ocamline
  👨🏻‍💻 Command line interface for user input
  ☆36Updated 5 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆79Updated 7 years ago
• SMLFamily / BasisLibrary
  Repository and Wiki for enriching the Standard ML Basis Library
  ☆62Updated 3 years ago
• reynir / Brainfuck
  Brainfuck formalized in Coq
  ☆26Updated 3 years ago
• murmour / mparser
  A simple monadic parser combinator library for OCaml
  ☆67Updated 2 years ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated last year
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆43Updated 5 years ago
• lemaetech / reparse
  Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.
  ☆53Updated 3 years ago
• kavon / sml-language-server
  an SML language server that uses SML/NJ's "visible compiler" feature
  ☆25Updated 7 years ago
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• seadynamic8 / ocaml-modern-docs
  Unofficial OCaml Standard Library Docs - Modern Theme
  ☆11Updated 6 years ago
• janestreet / shell
  Yet another implementation of fork&exec and related functionality
  ☆11Updated 3 weeks ago
• elpinal / types-1ml
  Type systems written in 1ML
  ☆9Updated 5 years ago
• 4y8 / combo
  A simple parser combinator library for Ocaml
  ☆30Updated 3 years ago
• ocaml-community / cppo
  C-style preprocessor for OCaml
  ☆109Updated 6 months ago
• ocaml-community / zed
  Abstract engine for text edition in OCaml
  ☆121Updated last year
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 5 years ago
• 0x0f0f0f / yasih
  Yet another Scheme implemented in Haskell
  ☆20Updated 5 years ago