OCaml
OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety, It is supporting functional, imperative and object-oriented styles.
Here are 3,059 public repositories matching this topic...
Language:All
Sort:Most stars
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
- Updated
Nov 2, 2025 - TeX
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
- Updated
Nov 24, 2025 - OCaml
Performant type-checking for python.
- Updated
Nov 27, 2025 - OCaml
The core OCaml system: compilers, runtime system, base libraries
- Updated
Nov 28, 2025 - OCaml
The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.
- Updated
Nov 25, 2025 - Rust
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
- Updated
Oct 1, 2024 - HTML
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
- Updated
Nov 5, 2025
A Proof-oriented Programming Language
- Updated
Nov 29, 2025 - F*
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
- Updated
Nov 29, 2025 - OCaml
Created by Xavier Leroy
Released 1996
Latest release about 2 months ago
- Followers
- 314 followers
- Repository
- ocaml/ocaml
- Website
- github.com/topics/ocaml
- Wikipedia
- Wikipedia