Bartosz Milewski's 'Category Theory for Programmers' un 10BC0 official PDF and LaTeX source
-
Updated
Jan 24, 2026 - TeX
#
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,135 public repositories matching this topic...
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
-
Updated
Mar 8, 2026 - OCaml
Performant type-checking for python.
python security typechecker static-analysis ocaml control-flow-analysis code-quality program-analysis taint-analysis abstract-interpretation type-check
-
Updated
Mar 10, 2026 - OCaml
The core OCaml system: compilers, runtime system, base libraries
-
Updated
Mar 10, 2026 - OCaml
The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.
javascript ruby python c java go rust haskell node elixir browser csharp serverless cpp dotnet zig ocaml webassembly wasm plugin-system
-
Updated
Feb 24, 2026 - Rust
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
react javascript ruby python scheme clojure lua clojurescript reactjs common-lisp ocaml brainfuck evaluation prolog codemirror-editor reasonml interactive-snippets code-evaluation klipse-plugin
-
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
programming-language dependent-types ocaml theorem-proving verification f-sharp proof-assistant smt c-language fstar interactive-theorem-proving program-proof dijkstra-monads
-
Updated
Mar 11, 2026 - F*
Binary Analysis Platform
emulator security arm mips static-analysis ocaml reverse-engineering disassembler symbolic-execution bap x86 dynamic-analysis binary-analysis instruction-semantics program-analysis taint-analysis powerpc program-verification lifter
-
Updated
Apr 30, 2025 - OCaml
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
-
Updated
Mar 11, 2026 - OCaml
Created by Xavier Leroy
Released 1996
Latest release 22 days ago
- Followers
- 317 followers
- Repository
- ocaml/ocaml
- Website
- github.com/topics/ocaml
- Wikipedia
- Wikipedia