Trending in open source
See what the GitHub community is most excited about today.
Sign up for free to get started
-
Adds static typing to JavaScript to improve developer productivity and code quality.
-
Friendly Syntax & Toolchain Powered by OCaml
-
BuckleScript bindings for React Native
-
A static analyzer for Java, C, C++, and Objective-C
-
Staging ground for artifacts related to an MVP spec
-
A backend for the OCaml compiler which emits JavaScript.
-
The Xapi Project's XenAPI Server
-
Research prototype tool for modular formal verification of C and Java programs
-
Implementation of the ocaml.org website.
-
Compiler from OCaml to Javascript.
-
A language that compiles to Bash and Windows Batch
-
Tools for code analysis, visualizations, or style-preserving source transformation.
-
FUSE filesystem over Google Drive
-
The core OCaml system: compilers, runtime system, base libraries
-
The Opa Language for Web Application Development
-
Implementations of various type systems in OCaml.
-
MirageOS is a library operating system that constructs unikernels
-
An ML-like language aimed at program verification
-
Irmin is a distributed database that follows the same design principles as Git
-
Context sensitive completion for OCaml in Vim and Emacs
-
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.
-
-
Connect processes into powerful data pipelines with a simple git-like filesystem interface
-
an OCaml compiler for an untyped lisp
-
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
