ocaml / tuaregLinks
Emacs OCaml mode
☆381Updated last month
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☆278Updated last week
- Indentation tool for OCaml, to be used from editors like Emacs and Vim.☆209Updated last week
- Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, packages, and more.☆700Updated 3 weeks ago
- Universal toplevel for OCaml☆898Updated 2 months ago
- Jane Street's standard library overlay (kernel)☆218Updated last week
- A practical guide to Racket macros☆254Updated 5 years ago
- lsp-mode haskell☆244Updated last month
- This repo is the new home of Proof General☆539Updated 3 weeks ago
- Typed Racket☆552Updated this week
- Batteries Included project☆522Updated last month
- Emacs major mode for working with ReasonML☆121Updated 2 years ago
- Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆270Updated this week
- Structured editing minor mode for Haskell in Emacs☆546Updated 6 years ago
- Tutorial on setting up Emacs to do Haskell programming☆693Updated 8 years ago
- Write Emacs extensions in Haskell☆385Updated last year
- Pattern Matcher Compatible with Optima☆348Updated last year
- ☆169Updated 7 years ago
- OCaml Documentations as one-pagers, easy to keep useful commands in mind☆130Updated 5 years ago
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆509Updated 3 months ago
- A Coq IDE build on top of Proof General's Coq mode☆358Updated last month
- Emacs mode for Haskell☆1,365Updated last week
- Unix system programming in OCaml book☆291Updated 7 years ago
- ☆394Updated last year
- Resources for the “Beautiful Racket” book [moved to https://gitlab.com/mbutterick/beautiful-racket]☆290Updated 4 years ago
- F# Emacs mode☆211Updated 2 months ago
- Shen language kernel sources for porters☆379Updated last year
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆251Updated 8 months ago
- Generate modern project skeletons☆264Updated last year
- Concurrent ML-like concurrency for Guile☆355Updated 2 months ago
- ☆433Updated last year