Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
- ocaml
- javascript
- reasonml
- reason
Repository Index
47,133 repositories indexed
1–24 of 47 · Most stars
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
MirageOS is a library operating system that constructs unikernels
- mirageos
- unikernel
- xen
- kvm
Irmin is a distributed database that follows the same design principles as Git
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
Terraform without the state file bottleneck
- automation
- cloud-management
- devops
- github-actions
OCaml Language Server Protocol implementation
An OCaml library for HTTP clients and servers using Lwt or Async
- ocaml
- http
- http-client
- lwt
A lightweight and colourful test framework
- unit-testing
- ocaml
A modern supercompiler for call-by-value functional languages
The Ott tool for writing definitions of programming languages and calculi
C Intermediate Language
Pure OCaml Git format and protocol
- git
- ocaml
TLS in pure OCaml
Code coverage for OCaml and ReScript
- coverage
- ocaml
The Frenetic Programming Language and Runtime System
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.
- diff
- snapshot-testing
- testing
- snapshot
Syntax extension for writing SQL in OCaml
- sql
- ocaml
- reasonml
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language
typed bidirectional router for OCaml/ReasonML web applications
- ocaml
- router
- http-router
- http-routing