ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
Repository Index
47,133 repositories indexed
1–18 of 18 · Most stars
Universal toplevel for OCaml
Parser combinators built for speed and memory efficiency
A modern supercompiler for call-by-value functional languages
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
An OCaml lexer generator for Unicode
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language
OCaml bindings to MariaDB, supporting the nonblocking API
Parallelize _anything_ //
- ocaml-library
- parallel-computing
- stream-processing
- multi-processing
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
- liquid
- ocaml
- parser-combinators
- shopify
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
OCaml library for combinatorics
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
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
- ocaml
- pcre
- pattern-matching
- string-matching
Parser and printer for date-times in ISO8601
- ocaml
- iso8601
- datetime
- parser
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
Import and export CommonJS modules in js_of_ocaml