ocaml / tuaregLinks
Emacs OCaml mode
☆389Updated 4 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☆282Updated last week
- Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, packages, and more.☆710Updated last week
- Indentation tool for OCaml, to be used from editors like Emacs and Vim.☆214Updated 3 months ago
- Universal toplevel for OCaml☆907Updated 5 months ago
- Typed Racket☆558Updated this week
- Jane Street's standard library overlay (kernel)☆219Updated last week
- A practical guide to Racket macros☆258Updated 5 years ago
- ☆169Updated 7 years ago
- Concurrent ML-like concurrency for Guile☆351Updated 6 months ago
- Pattern Matcher Compatible with Optima☆349Updated last year
- This repo is the new home of Proof General☆544Updated 2 weeks ago
- Canonical miniKanren implementation☆361Updated 7 years ago
- Shen language kernel sources for porters☆382Updated last week
- Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆274Updated last month
- Emacs major mode for working with ReasonML☆121Updated 2 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆167Updated 8 years ago
- A Unix shell embedded in scheme☆431Updated last year
- Structured editing minor mode for Haskell in Emacs☆546Updated 6 years ago
- A Coq IDE build on top of Proof General's Coq mode☆359Updated 5 months ago
- ☆244Updated last week
- F# Emacs mode☆213Updated 2 months ago
- Unix system programming in OCaml book☆295Updated 7 years ago
- Poly/ML☆520Updated 2 weeks ago
- ☆436Updated last year
- OCaml bindings to the SQLite3 database☆129Updated last month
- nanopass compiler framework for Racket☆197Updated 2 years ago
- OCaml Documentations as one-pagers, easy to keep useful commands in mind☆131Updated 5 years ago
- Context sensitive completion for OCaml in Vim and Emacs☆1,655Updated last month
- Low-level JSON parsing and pretty-printing library for OCaml☆360Updated 5 months ago
- Pure OCaml regular expressions, with support for Perl and POSIX-style strings☆252Updated 2 months ago