ocaml / tuaregLinks
Emacs OCaml mode
☆376Updated 5 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☆274Updated last month
- Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, packages, and more.☆694Updated last week
- Indentation tool for OCaml, to be used from editors like Emacs and Vim.☆206Updated last month
- Universal toplevel for OCaml☆881Updated last week
- Jane Street's standard library overlay (kernel)☆216Updated last month
- Typed Racket☆545Updated 2 weeks ago
- A practical guide to Racket macros☆253Updated 5 years ago
- This repo is the new home of Proof General☆528Updated 3 weeks ago
- Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆269Updated 3 months ago
- ☆170Updated 7 years ago
- lsp-mode haskell☆242Updated 3 months ago
- A Coq IDE build on top of Proof General's Coq mode☆357Updated last week
- Tutorial on setting up Emacs to do Haskell programming☆693Updated 8 years ago
- Write Emacs extensions in Haskell☆383Updated last year
- Structured editing minor mode for Haskell in Emacs☆546Updated 6 years ago
- Concurrent ML-like concurrency for Guile☆353Updated 3 weeks ago
- OCaml Documentations as one-pagers, easy to keep useful commands in mind☆130Updated 4 years ago
- Unix system programming in OCaml book☆289Updated 7 years ago
- ☆393Updated last year
- Pattern Matcher Compatible with Optima☆349Updated 11 months ago
- A full implementation of the Scheme programming language for the Haskell Platform.☆314Updated last year
- ☆433Updated last year
- Emacs major mode for working with ReasonML☆121Updated 2 years ago
- Poly/ML☆507Updated last month
- F# Emacs mode☆211Updated last week
- Shen language kernel sources for porters☆378Updated 11 months ago
- ☆228Updated this week
- All the examples in Real World OCaml☆377Updated last year
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆164Updated 8 years ago
- Resources for the “Beautiful Racket” book [moved to https://gitlab.com/mbutterick/beautiful-racket]☆291Updated 4 years ago