ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
Repository Index
73,362 visible repositories in the index
1–24 of 43 · Most stars
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
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
- cryptocurrency
- blockchain
- ocaml
- zk-snarks
Owl - OCaml Scientific Computing @ https://ocaml.xyz
- matrix
- linear-algebra
- ndarray
- statistical-functions
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 high performance, memory efficient, and scalable web server written in OCaml
- ocaml
- http
A modern supercompiler for call-by-value functional languages
OCaml bindings for PyTorch
OCaml bindings for TensorFlow
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Web library for OCaml with support for HTTP/1.X / HTTP/2
- http
- http2
- http-client
- https
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.
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language
OCaml type-safe query builder with syntax tree extension
Pure OCaml implementation of Zlib.
- ocaml
- zlib
- compression
- decompression
OCaml implementation of the DNS protocol
- ocaml
- dns
- mirageos
- unikernel
A neat interface for Slack
Redis bindings for OCaml
- ocaml
- ocaml-library
- redis-client
Inline (Unit) Tests for OCaml
OCaml Amqp client library for Async and Lwt.
- amqp-client
- rabbitmq
- async
- ocaml
OpenID Connect implementation in OCaml. Currently only the RP (client) parts are polished.
- ocaml
- oidc
- oidc-client
A library to build and execute typed scientific workflows