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–24 of 42 · Most stars
A composable build system for OCaml.
- build
- ocaml
- opam
- dune
Context sensitive completion for OCaml in Vim and Emacs
Owl - OCaml Scientific Computing @ https://ocaml.xyz
- matrix
- linear-algebra
- ndarray
- statistical-functions
Universal toplevel for OCaml
Parser combinators built for speed and memory efficiency
A modern supercompiler for call-by-value functional languages
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
- genealogy
- software
- web
- database
Low-level JSON parsing and pretty-printing library for OCaml
- json
- ocaml
- yojson
- parser
Declarative definition of command line interfaces for OCaml
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
An OCaml lexer generator for Unicode
Terminal manipulation library for OCaml
- ocaml
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.
- diff
- snapshot-testing
- testing
- snapshot
Communication between Coq and SAT/SMT solvers
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language
OCaml template engine almost compatible with jinja2
- ocaml
- jinja2
- template-engine
Pure OCaml implementation of Zlib.
- ocaml
- zlib
- compression
- decompression
Exercism exercises in OCaml.
- exercism-track
- community-contributions-accepted
- maintained-solitary
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
OCaml bindings to MariaDB, supporting the nonblocking API
Parallelize _anything_ //
- ocaml-library
- parallel-computing
- stream-processing
- multi-processing