Alternatives and similar repositories for tuareg:

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

• janestreet / ecaml
  Writing Emacs plugin in OCaml
  ☆267Updated 4 months ago
• janestreet / core_kernel
  Jane Street's standard library overlay (kernel)
  ☆216Updated 4 months ago
• OCamlPro / ocp-indent
  Indentation tool for OCaml, to be used from editors like Emacs and Vim.
  ☆202Updated 2 months ago
• ocaml-community / utop
  Universal toplevel for OCaml
  ☆870Updated 4 months ago
• greghendershott / racket-mode
  Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, packages, and more.
  ☆690Updated last week
• cpitclaudel / company-coq
  A Coq IDE build on top of Proof General's Coq mode
  ☆356Updated 2 years ago
• emacs-lsp / lsp-haskell
  lsp-mode haskell
  ☆242Updated this week
• ocaml-community / yojson
  Low-level JSON parsing and pretty-printing library for OCaml
  ☆339Updated 2 weeks ago
• inhabitedtype / angstrom
  Parser combinators built for speed and memory efficiency
  ☆671Updated 7 months ago
• racket / typed-racket
  Typed Racket
  ☆535Updated this week
• greghendershott / fear-of-macros
  A practical guide to Racket macros
  ☆252Updated 5 years ago
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆510Updated 2 weeks ago
• ocaml-multicore / ocaml-multicore
  Multicore OCaml
  ☆765Updated 2 years ago
• idris-hackers / idris-mode
  Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆269Updated 9 months ago
• ocaml / ocamlunix
  Unix system programming in OCaml book
  ☆288Updated 7 years ago
• jyp / dante
  ☆392Updated last year
• c-cube / ocaml-containers
  A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
  ☆498Updated 2 months ago
• ocaml / merlin
  Context sensitive completion for OCaml in Vim and Emacs
  ☆1,623Updated last week
• projectional-haskell / structured-haskell-mode
  Structured editing minor mode for Haskell in Emacs
  ☆544Updated 6 years ago
• the-little-prover / j-bob
  ☆426Updated last year
• webyrd / miniKanren-with-symbolic-constraints
  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
  ☆162Updated 8 years ago
• Shen-Language / shen-sources
  Shen language kernel sources for porters
  ☆372Updated 8 months ago
• yallop / ocaml-ctypes
  Library for binding to C libraries using pure OCaml
  ☆383Updated 2 months ago
• ocaml-community / lambda-term
  Terminal manipulation library for OCaml
  ☆215Updated 8 months ago
• guicho271828 / trivia
  Pattern Matcher Compatible with Optima
  ☆341Updated 7 months ago
• miniKanren / miniKanren
  Canonical miniKanren implementation
  ☆355Updated 7 years ago
• racket / racket7
  ☆170Updated 7 years ago
• reasonml-editor / reason-mode
  Emacs major mode for working with ReasonML
  ☆121Updated 2 years ago
• mmottl / sqlite3-ocaml
  OCaml bindings to the SQLite3 database
  ☆121Updated last month
• knupfer / haskell-emacs
  Write Emacs extensions in Haskell
  ☆380Updated last year