Trending in open source
See what the GitHub community is most excited about this week.
Sign up for free to get started
-
WebAssembly / spec
Staging ground for artifacts related to an MVP spec
OCaml • 77 stars this week • Built by
-
facebook / flow
Adds static typing to JavaScript to improve developer productivity and code quality.
OCaml • 64 stars this week • Built by
-
facebook / infer
A static analyzer for Java, C and Objective-C
OCaml • 34 stars this week • Built by
-
mirage / mirage
MirageOS is a library operating system that constructs unikernels
OCaml • 10 stars this week • Built by
-
ocaml / ocaml
The core OCaml system: compilers, runtime system, base libraries
OCaml • 8 stars this week • Built by
-
the-lambda-church / merlin
Context sensitive completion for OCaml in Vim and Emacs
OCaml • 7 stars this week • Built by
-
astrada / google-drive-ocamlfuse
FUSE filesystem over Google Drive
OCaml • 6 stars this week • Built by
-
mirage / irmin
Irmin is a distributed database that follows the same design principles as Git
OCaml • 6 stars this week • Built by
-
bloomberg / bucklescript
A backend for the OCaml compiler which emits JavaScript.
OCaml • 6 stars this week • Built by
-
janestreet / core
Jane Street Capital's standard library overlay
OCaml • 5 stars this week • Built by
-
cil-project / cil
C Intermediate Language
OCaml • Built by
-
mirage / alcotest
A lightweight and colourful test framework
OCaml • Built by
-
ocaml / opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
OCaml • Built by
-
ocaml / opam
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
OCaml • Built by
-
mirage / mirage-tcpip
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes Ethernet, DHCP, ARP and TCP/IPv4 support.
OCaml • Built by
-
mirage / mirage-skeleton
Build skeleton and examples of simple Mirage apps
OCaml • Built by
-
diml / lambda-term
Terminal manipulation library for OCaml
OCaml • Built by
-
Kakadu / lablqt
My thoughts about which Qt bindings for OCaml should be
OCaml • Built by
-
facebook / pfff
Tools for code analysis, visualizations, or style-preserving source transformation.
OCaml • Built by
-
BYVoid / Batsh
A language that compiles to Bash and Windows Batch
OCaml • Built by
-
MLstate / opalang
The Opa Language for Web Application Development
OCaml • Built by
-
tomprimozic / type-systems
Implementations of various type systems in OCaml.
OCaml • Built by
-
artagnon / rhine-ml
a clojure-inspired language on llvm
OCaml • Built by
-
FStarLang / FStar
An ML-like language with a type system for program verification
OCaml • Built by
-
coq / coq
Coq is a formal proof management system. 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.
OCaml • Built by
