#ocaml (30 Repositories)
Ranked open-source repositories tagged with #ocaml, scored by pull request acceptance likelihood and maintainer engagement velocity.
75.2%
10.4h
30 repositories tagged #ocaml
ocaml/dune
A composable build system for OCaml.
ocsigen/js_of_ocaml
Compiler from OCaml to Javascript.
AeneasVerif/aeneas
A verification toolchain for Rust programs
goblint/analyzer
Static analysis framework for C
OCamlPro/owi
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
MinaProtocol/mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
ocaml/merlin
Context sensitive completion for OCaml in Vim and Emacs
ocaml/setup-ocaml
GitHub Action for the OCaml programming language
geneweb/geneweb
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
stategraph/stategraph
Terraform without the state file bottleneck
ocaml/ocaml
The core OCaml system: compilers, runtime system, base libraries
mathiasbourgoin/Sarek
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
ocaml/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
ocaml-multicore/eio
Effects-based direct-style IO for multicore OCaml
mirage/awa-ssh
Purely functional SSH library in ocaml.
ocaml-ppx/ocamlformat
Auto-formatter for OCaml code
ocaml/ocaml-re
Pure OCaml regular expressions, with support for Perl and POSIX-style strings
mirage/ocaml-cohttp
An OCaml library for HTTP clients and servers using Lwt or Async
jbwinters/jacquard-lang
Jacquard is a small programming language designed for a regime in which most code is written by machine-learning models and reviewed by people.
robur-coop/albatross
Albatross: orchestrate and manage MirageOS unikernels with Solo5
LexiFi/landmarks
A Simple Profiling Library for OCaml
ocaml-cross/opam-cross-windows
An OCaml cross-toolchain for Windows and several useful libraries
reasonml/reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
mirage/ocaml-dns
OCaml implementation of the DNS protocol
camlworks/dream
Tidy, feature-complete Web framework
ocsigen/tyxml
Build valid HTML and SVG documents
rescript-lang/reanalyze
Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.
mirage/decompress
Pure OCaml implementation of Zlib.
mirage/qubes-mirage-firewall
A Mirage firewall VM for QubesOS
mirleft/ocaml-tls
TLS in pure OCaml