Explore Projects
Discover 34 open source projects
Showing 1-20 of 34 projects
facebook/infer
A static analyzer for Java, C, C++, and Objective-C written in OCaml.
hmemcpy/milewski-ctfp-pdf
An open-source PDF and LaTeX source for Bartosz Milewski's 'Category Theory for Programmers' book, a popular resource for learning category theory.
reasonml/reason
A fast, type-safe programming language that leverages the JavaScript and OCaml ecosystems.
lk-geimfari/awesomo
A curated list of cool open-source projects across various programming languages and ecosystems.
revery-ui/revery
Revery is a native, cross-platform desktop app framework built with Reason, a functional programming language.
onivim/oni2
A native, lightweight modal code editor built with Reason and the Revery framework.
facebook/pyre-check
Performant type-checking for Python, built with OCaml, focused on code quality, security, and static analysis.
astrada/google-drive-ocamlfuse
A FUSE filesystem that allows developers to seamlessly integrate Google Drive into their applications.
extism/extism
A flexible framework for building extensible apps using WebAssembly (Wasm) across various languages.
janestreet/magic-trace
A high-performance profiling and tracing tool for OCaml applications, providing deep insights into application performance.
viebel/klipse
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs, supporting various programming languages.
FStarLang/FStar
F* is a proof-oriented programming language that supports dependent types, SMT solving, and verification.
caiorss/Functional-Programming
Functional programming concepts, examples, and patterns in Haskell, OCaml, and Python for developers.
ixy-languages/ixy-languages
A high-speed network driver written in multiple programming languages.
mirage/irmin
Irmin is a distributed database that follows the same design principles as Git, allowing for distributed version control of data.
ocaml/dune
Dune is a composable build system for OCaml that simplifies project management and dependency resolution.
camlworks/dream
A full-featured, type-safe web framework for building modern, scalable web applications in OCaml.
ocaml/merlin
A context-sensitive code completion tool for OCaml developers in Vim and Emacs.
netgusto/nodebook
A multi-language web REPL and CLI code runner for developers to build with AI tools.
tomprimozic/type-systems
A library of type system implementations in OCaml for developers interested in programming language theory.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.