#

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,253 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 Sep 30, 2022
TeX

reasonml / reason

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

javascript programming-language ocaml reasonml reason

Updated Nov 21, 2022
OCaml

lk-geimfari / awesomo

Cool open source projects written in various languages.

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

Updated Oct 28, 2022
Elixir

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 security typechecker static-analysis ocaml control-flow-analysis code-quality program-analysis taint-analysis abstract-interpretation type-check

Updated Nov 22, 2022
OCaml

astrada / google-drive-ocamlfuse

FUSE filesystem over Google Drive

fuse filesystem ocaml google-drive

Updated Jun 17, 2022
OCaml

ocaml

ocaml / ocaml

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

compiler ocaml functional-language

Updated Nov 22, 2022
OCaml

viebel / klipse

Sponsor

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 7, 2022
HTML

FStarLang / FStar

A Proof-oriented Programming Language

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

Updated Nov 22, 2022
F*

ocaml-community / awesome-ocaml

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

programming-language awesome ocaml resources

Updated Oct 8, 2022

mirage / mirage

MirageOS is a library operating system that constructs unikernels

linux xen ocaml opam kvm mirageos unikernel

Updated Nov 21, 2022
OCaml

BinaryAnalysisPlatform / bap

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 Nov 22, 2022
OCaml

mirage / irmin

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

git database storage ocaml mirageos irmin

Updated Nov 22, 2022
OCaml

netgusto / nodebook

Nodebook - Multi-Lang Web REPL + CLI Code runner

Updated Jun 23, 2022
Go

MinaProtocol / mina

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

ocaml blockchain cryptocurrency mina zk-snarks

Updated Nov 22, 2022
OCaml

tezos / tezos

Mirror of the release branches for Tezos, a self-amending cryptographic ledger

ocaml smart-contracts blockchain tezos

Updated May 30, 2022

ocaml / merlin

Context sensitive completion for OCaml in Vim and Emacs

atom vim emacs ocaml

Updated Nov 17, 2022
OCaml

ocaml / dune

A composable build system for OCaml.

build ocaml opam jbuilder dune

Updated Nov 22, 2022
OCaml

ocaml / opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

git package-manager ocaml opam

Updated Nov 21, 2022
OCaml

Created by Xavier Leroy

Released 1996

Latest release 8 months ago

Repository: ocaml/ocaml
Website: ocaml.org
Wikipedia: Wikipedia