ocaml / tuareg
Emacs OCaml mode
☆364Updated 4 months ago
Alternatives and similar repositories for tuareg:
Users that are interested in tuareg are comparing it to the libraries listed below
- Writing Emacs plugin in OCaml☆252Updated 3 weeks ago
- This repo is the new home of Proof General☆492Updated 3 weeks ago
- Indentation tool for OCaml, to be used from editors like Emacs and Vim.☆200Updated 4 months ago
- Universal toplevel for OCaml☆850Updated 3 weeks ago
- Jane Street's standard library overlay (kernel)☆217Updated 3 weeks ago
- Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆269Updated 5 months ago
- Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, packages, and more.☆685Updated last week
- A Coq IDE build on top of Proof General's Coq mode☆351Updated last year
- ☆391Updated 9 months ago
- lsp-mode haskell☆236Updated last month
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆494Updated this week
- Write Emacs extensions in Haskell☆375Updated 10 months ago
- Low-level JSON parsing and pretty-printing library for OCaml☆328Updated 5 months ago
- Structured editing minor mode for Haskell in Emacs☆542Updated 5 years ago
- Typed Racket☆527Updated this week
- Tutorial on setting up Emacs to do Haskell programming☆689Updated 7 years ago
- Poly/ML☆489Updated last week
- Library for binding to C libraries using pure OCaml☆372Updated 4 months ago
- Parser combinators built for speed and memory efficiency☆655Updated 3 months ago
- Multicore OCaml☆763Updated 2 years ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆194Updated 4 months ago
- Terminal manipulation library for OCaml☆210Updated 4 months ago
- Context sensitive completion for OCaml in Vim and Emacs☆1,593Updated this week
- Unix system programming in OCaml book☆286Updated 6 years ago
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆231Updated 2 months ago
- Emacs major mode for working with ReasonML☆120Updated last year
- Simplify the configuration of editors for using OCaml tools☆81Updated 3 months ago
- ☆420Updated 10 months ago
- OCaml graph library☆234Updated last month