The core OCaml system: compilers, runtime system, base libraries
- ocaml
- compiler
- functional-language
Repository Index
83,586 visible repositories in the index
1–11 of 11 · Most stars
A code rewrite tool for structural search and replace that supports ~every language.
- program-transformation
- search-and-replace
- linting
- refactoring
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
- liquidsoap
- streaming
- webradio
Universal toplevel for OCaml
Parser combinators built for speed and memory efficiency
- ocaml
- parser-combinators
- parsing
An OCaml generic virtual machine for microcontrollers
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
Nice parsers in OCaml without the boilerplate
- ocaml
- menhir
- boilerplate
- parsing
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
- liquid
- ocaml
- parser-combinators
- shopify
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Parser and printer for date-times in ISO8601
- ocaml
- iso8601
- datetime
- parser