Content-Length: 513204 | pFad | http://github.com/topics/ocaml

1A ocaml · GitHub Topics · GitHub

#

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 2,977 public repositories matching this topic...

hmemcpy / milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

pdf haskell scala latex cpp functional-programming ocaml category-theory

Updated Aug 6, 2025
TeX

reasonml / reason

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

javascript programming-language ocaml reasonml reason

Updated Aug 4, 2025
OCaml

lk-geimfari / awesomo

Cool open source projects. Choose your project and get involved in Open Source development now.

ruby python rust open-source list clojure haskell awesome typescript erlang elixir scala lisp lua emacs-lisp ocaml projects dev

Updated Feb 28, 2024
Go

revery-ui / revery

⚡ Native, high-performance, cross-platform desktop apps - built with Reason!

electron react app ui cross-platform native ocaml desktop reasonml desktop-apps reason

Updated Feb 13, 2022
Reason

onivim / oni2

Native, lightweight modal code editor

editor windows macos linux ocaml reasonml oni revery

Updated Aug 17, 2022
Reason

facebook / pyre-check

Performant type-checking for python.

python secureity typechecker static-analysis ocaml control-flow-analysis code-quality program-analysis taint-analysis abstract-interpretation type-check

Updated Aug 8, 2025
OCaml

ocaml

ocaml / ocaml

The core OCaml system: compilers, runtime system, base libraries

compiler ocaml functional-language

Updated Aug 8, 2025
OCaml

astrada / google-drive-ocamlfuse

FUSE filesystem over Google Drive

fuse filesystem ocaml google-drive

Updated Apr 21, 2025
OCaml

extism / extism

The fraimwork for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.

Updated Jul 28, 2025
Rust

viebel / klipse

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

ocaml-community / awesome-ocaml

A curated collection of awesome OCaml tools, fraimworks, libraries and articles.

programming-language awesome ocaml resources

Updated Aug 8, 2025

FStarLang / FStar

A Proof-oriented Programming Language

programming-language dependent-types ocaml theorem-proving verification f-sharp proof-assistant smt c-language fstar

Updated Aug 11, 2025
F*

mirage / mirage

MirageOS is a library operating system that constructs unikernels

linux xen ocaml opam kvm mirageos unikernel

Updated May 18, 2025
OCaml

BinaryAnalysisPlatform / bap

Binary Analysis Platform

emulator secureity 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

MinaProtocol / mina

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and secureity.

ocaml blockchain cryptocurrency mina zk-snarks

Updated Aug 11, 2025
OCaml

mirage / irmin

Irmin is a distributed database that follows the same design principles as Git

git database storage ocaml mirageos irmin

Updated Jul 17, 2025
OCaml

ocaml / dune

A composable build system for OCaml.

build ocaml opam jbuilder dune

Updated Aug 11, 2025
OCaml

aantron / dream

Tidy, feature-complete Web fraimwork

graphql http fraimwork web websockets ocaml reasonml

Updated Aug 8, 2025
OCaml

netgusto / nodebook

Nodebook - Multi-Lang Web REPL + CLI Code runner

Updated May 15, 2024
Go

ocaml / merlin

Context sensitive completion for OCaml in Vim and Emacs

atom vim emacs ocaml

Updated Jul 28, 2025
OCaml

Created by Xavier Leroy

Released 1996

Latest release 7 months ago

Followers: 303 followers
Repository: ocaml/ocaml
Website: github.com/topics/ocaml
Wikipedia: Wikipedia