Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
- ocaml
- javascript
- reasonml
- reason
Repository Index
47,133 repositories indexed
1–24 of 40 · Most stars
Context sensitive completion for OCaml in Vim and Emacs
Owl - OCaml Scientific Computing @ https://ocaml.xyz
- matrix
- linear-algebra
- ndarray
- statistical-functions
OCaml Language Server Protocol implementation
A modern supercompiler for call-by-value functional languages
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
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
OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.
- diff
- snapshot-testing
- testing
- snapshot
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
A simple scheduler for OCaml 5
- effects
- ocaml
- parallelism
- scheduler
Pure OCaml implementation of Zlib.
- ocaml
- zlib
- compression
- decompression
OCaml implementation of the DNS protocol
- ocaml
- dns
- mirageos
- unikernel
Lwt Translations of the Async Code Examples in Real World OCaml
- ocaml
- lwt
Simple hash algorithms in OCaml
- hash
- ocaml
- sha1
- sha256
Less redundancy in type declarations and signatures
Generate nix expressions from opam packages
A simple multi-format pretty-printer for Menhir.
- ocaml
- menhir
- parser
- pretty-print
simple package build system for ocaml
A friendly and minimalist link sharing website
OpenID Connect implementation in OCaml. Currently only the RP (client) parts are polished.
- ocaml
- oidc
- oidc-client
Pure OCaml implementation of the "vchan" shared-memory communication protocol
LexiFi runtime types
A dumb OCaml logger