ocaml / tuaregLinks
Emacs OCaml mode
☆385Updated 2 months ago
Alternatives and similar repositories for tuareg
Users that are interested in tuareg are comparing it to the libraries listed below
Sorting:
- Writing Emacs plugin in OCaml☆279Updated this week
- Indentation tool for OCaml, to be used from editors like Emacs and Vim.☆211Updated last month
- Universal toplevel for OCaml☆902Updated 3 months ago
- Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, packages, and more.☆705Updated 2 weeks ago
- Jane Street's standard library overlay (kernel)☆219Updated last week
- Typed Racket☆551Updated 2 weeks ago
- This repo is the new home of Proof General☆539Updated this week
- A practical guide to Racket macros☆257Updated 5 years ago
- Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆271Updated this week
- A Coq IDE build on top of Proof General's Coq mode☆355Updated 3 months ago
- All the examples in Real World OCaml☆379Updated 2 years ago
- lsp-mode haskell☆245Updated 2 months ago
- Write Emacs extensions in Haskell☆387Updated last year
- Concurrent ML-like concurrency for Guile☆351Updated 4 months ago
- Pattern Matcher Compatible with Optima☆349Updated last year
- Structured editing minor mode for Haskell in Emacs☆546Updated 6 years ago
- ☆434Updated last year
- A full implementation of the Scheme programming language for the Haskell Platform.☆315Updated 2 years ago
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆513Updated 3 weeks ago
- Emacs major mode for working with ReasonML☆121Updated 2 years ago
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆252Updated 10 months ago
- Unix system programming in OCaml book☆293Updated 7 years ago
- Emacs mode for Haskell☆1,370Updated this week
- Poly/ML☆510Updated last week
- ☆169Updated 7 years ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆205Updated last year
- Shen language kernel sources for porters☆373Updated last year
- OCaml Documentations as one-pagers, easy to keep useful commands in mind☆130Updated 5 years ago
- Batteries Included project☆523Updated last month
- Parser combinators built for speed and memory efficiency☆693Updated last year