ocaml / tuareg

Related projects ⓘ

Alternatives and complementary repositories for tuareg

• janestreet / ecaml
  Writing Emacs plugin in OCaml
  ☆252Updated last month
• janestreet / core_kernel
  Jane Street's standard library overlay (kernel)
  ☆217Updated last month
• ocaml-community / utop
  Universal toplevel for OCaml
  ☆846Updated 2 weeks ago
• OCamlPro / ocp-indent
  Indentation tool for OCaml, to be used from editors like Emacs and Vim.
  ☆200Updated 3 months ago
• idris-hackers / idris-mode
  Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆269Updated 3 months ago
• cpitclaudel / company-coq
  A Coq IDE build on top of Proof General's Coq mode
  ☆354Updated last year
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆491Updated last month
• knupfer / haskell-emacs
  Write Emacs extensions in Haskell
  ☆374Updated 9 months ago
• jyp / dante
  ☆392Updated 8 months ago
• emacs-lsp / lsp-haskell
  lsp-mode haskell
  ☆236Updated 2 weeks ago
• racket / typed-racket
  Typed Racket
  ☆525Updated this week
• projectional-haskell / structured-haskell-mode
  Structured editing minor mode for Haskell in Emacs
  ☆542Updated 5 years ago
• ocaml-multicore / ocaml-multicore
  Multicore OCaml
  ☆762Updated last year
• miniKanren / miniKanren
  Canonical miniKanren implementation
  ☆351Updated 6 years ago
• serras / emacs-haskell-tutorial
  Tutorial on setting up Emacs to do Haskell programming
  ☆689Updated 7 years ago
• reasonml-editor / reason-mode
  Emacs major mode for working with ReasonML
  ☆120Updated last year
• ocaml-community / yojson
  Low-level JSON parsing and pretty-printing library for OCaml
  ☆328Updated 4 months ago
• greghendershott / fear-of-macros
  A practical guide to Racket macros
  ☆250Updated 4 years ago
• polyml / polyml
  Poly/ML
  ☆487Updated 3 months ago
• inhabitedtype / angstrom
  Parser combinators built for speed and memory efficiency
  ☆648Updated last month
• yallop / ocaml-ctypes
  Library for binding to C libraries using pure OCaml
  ☆371Updated 2 months ago
• guicho271828 / trivia
  Pattern Matcher Compatible with Optima
  ☆334Updated 2 months ago
• backtracking / ocamlgraph
  OCaml graph library
  ☆233Updated 3 months ago
• c-cube / ocaml-containers
  A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
  ☆492Updated this week
• ocaml-opam / opam-user-setup
  Simplify the configuration of editors for using OCaml tools
  ☆81Updated 2 months ago
• justinethier / husk-scheme
  A full implementation of the Scheme programming language for the Haskell Platform.
  ☆308Updated 11 months ago
• the-little-prover / j-bob
  ☆419Updated 9 months ago
• ocaml-batteries-team / batteries-included
  Batteries Included project
  ☆519Updated 6 months ago
• ocaml-ppx / ppx_deriving
  Type-driven code generation for OCaml
  ☆465Updated last month
• mjambon / dune-starter
  Simple template for midsize OCaml project
  ☆123Updated 3 years ago