Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
- ocaml
- javascript
- reasonml
- reason
Repository Index
47,133 repositories indexed
1–24 of 29 · Most stars
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
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
Parser combinators built for speed and memory efficiency
A high performance, memory efficient, and scalable web server written in OCaml
- ocaml
- http
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
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
A REST toolkit for OCaml
- ocaml
- webmachine
- web
- http
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
Template for an ocaml project with modern tooling
- ocaml
Simple hash algorithms in OCaml
- hash
- ocaml
- sha1
- sha256
A neat interface for Slack
A DHCP library in OCaml
- dhcp-library
- dhcp-server
- ocaml
- mirage
An enhanced unification algorithm for Coq
A friendly and minimalist link sharing website
Path-based dispatching for client- and server-side applications.
- web
Pure OCaml implementation of the "vchan" shared-memory communication protocol
A library for printing OCaml values with sharing
Unicode character properties for OCaml
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
The repository host gives no description.
- ocaml
- hacktoberfest
- toplevel