Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
- ocaml
- javascript
- reasonml
- reason
Repository Index
60,121 visible repositories in the index
1–24 of 41 · Most stars
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
A language that compiles to Bash and Windows Batch
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
Owl - OCaml Scientific Computing @ https://ocaml.xyz
- matrix
- linear-algebra
- ndarray
- statistical-functions
GraphQL servers in OCaml
- ocaml
- graphql
Batteries Included project
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
- ocaml
- stdlib
- data-structure
- portable
OCaml bindings for PyTorch
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
- genealogy
- software
- web
- database
Cooperative-threaded access to relational data
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
- ocaml
- wasm
- webassembly
- interpreter
OCaml project generator.
- spin
- ocaml
- reason
- template
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
OCaml debug adapter
- debugger
- debug-adapter-protocol
- ocaml
OCaml library for reading, writing and modifying PDF files
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.
Easy OCaml bindings for Javascript libraries
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
Error-recovering streaming HTML5 and XML parsers