ocaml / tuaregLinks
Emacs OCaml mode
☆388Updated 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☆283Updated 3 weeks ago
- Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, packages, and more.☆711Updated 3 weeks ago
- Universal toplevel for OCaml☆906Updated 5 months ago
- Indentation tool for OCaml, to be used from editors like Emacs and Vim.☆213Updated 4 months ago
- A practical guide to Racket macros☆258Updated 5 years ago
- Jane Street's standard library overlay (kernel)☆219Updated 3 weeks ago
- Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆274Updated 2 months ago
- Typed Racket☆560Updated this week
- This repo is the new home of Proof General☆547Updated 2 weeks ago
- A Coq IDE build on top of Proof General's Coq mode☆359Updated 5 months ago
- ☆169Updated 7 years ago
- lsp-mode haskell☆249Updated 2 months ago
- Pattern Matcher Compatible with Optima☆349Updated last year
- Structured editing minor mode for Haskell in Emacs☆545Updated 6 years ago
- Emacs major mode for working with ReasonML☆121Updated 2 years ago
- A full implementation of the Scheme programming language for the Haskell Platform.☆316Updated 2 years ago
- Batteries Included project☆520Updated 4 months ago
- Concurrent ML-like concurrency for Guile☆351Updated 6 months ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆167Updated 8 years ago
- Canonical miniKanren implementation☆363Updated 7 years ago
- Tutorial on setting up Emacs to do Haskell programming☆690Updated 8 years ago
- DrRacket themes derived from base16-builder☆72Updated 8 years ago
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆516Updated this week
- Resources for the “Beautiful Racket” book [moved to https://gitlab.com/mbutterick/beautiful-racket]☆291Updated 4 years ago
- Shen language kernel sources for porters☆383Updated 3 weeks ago
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆257Updated last month
- Write Emacs extensions in Haskell☆388Updated 2 years ago
- functional data structures for scheme☆137Updated 6 years ago
- Unix system programming in OCaml book☆295Updated 7 years ago
- Low-level JSON parsing and pretty-printing library for OCaml☆360Updated 6 months ago