ocaml / tuaregLinks
Emacs OCaml mode
☆379Updated last week
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☆277Updated 3 weeks ago
- Universal toplevel for OCaml☆895Updated last month
- Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, packages, and more.☆698Updated 2 weeks ago
- Indentation tool for OCaml, to be used from editors like Emacs and Vim.☆207Updated 2 months ago
- Jane Street's standard library overlay (kernel)☆218Updated 3 weeks ago
- A practical guide to Racket macros☆254Updated 5 years ago
- Typed Racket☆551Updated this week
- This repo is the new home of Proof General☆536Updated last week
- lsp-mode haskell☆242Updated 2 weeks ago
- Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆270Updated 3 weeks ago
- ☆169Updated 7 years ago
- Write Emacs extensions in Haskell☆385Updated last year
- OCaml Documentations as one-pagers, easy to keep useful commands in mind☆130Updated 4 years ago
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆249Updated 8 months ago
- Poly/ML☆505Updated last week
- A Coq IDE build on top of Proof General's Coq mode☆358Updated last month
- Pattern Matcher Compatible with Optima☆348Updated last year
- Tutorial on setting up Emacs to do Haskell programming☆692Updated 8 years ago
- Structured editing minor mode for Haskell in Emacs☆546Updated 6 years ago
- ☆232Updated last week
- Concurrent ML-like concurrency for Guile☆355Updated 2 months ago
- Simplify the configuration of editors for using OCaml tools☆82Updated last year
- Pure OCaml regular expressions, with support for Perl and POSIX-style strings☆242Updated last week
- A full implementation of the Scheme programming language for the Haskell Platform.☆315Updated last year
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆508Updated 2 months ago
- Shen language kernel sources for porters☆379Updated last year
- Low-level JSON parsing and pretty-printing library for OCaml☆356Updated last month
- F# Emacs mode☆210Updated last month
- Multicore OCaml☆766Updated 2 years ago
- OCaml bindings to the SQLite3 database☆125Updated 3 weeks ago