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.

Sign up for GitHub or sign in to edit this page
Created by Xavier Leroy
Released 1996
Latest release 10 months ago

Repositories 1,242

facebook / reason

7.6k

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

ocaml javascript reasonml reason programming-language

OCaml Updated May 1, 2019

lk-geimfari / awesomo

6.5k

An extensive list of interesting open source projects written in С, C++, Clojure, Lisp, Elixir, Erlang, Elm, Golang, …

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

Rust Updated Apr 1, 2019 3 issues need help

revery-ui / revery

4.4k

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

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

OCaml Updated Apr 28, 2019 36 issues need help

BuckleScript / bucklescript

4.3k

A backend for the OCaml compiler which emits JavaScript.

bucklescript alt-js compiler ocaml javascript

OCaml Updated Apr 30, 2019 3 issues need help

astrada / google-drive-ocamlfuse

2.8k

FUSE filesystem over Google Drive

google-drive ocaml fuse filesystem

OCaml Updated Feb 25, 2019

facebook / pyre-check

2.5k

Performant type-checking for python.

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

OCaml Updated Apr 30, 2019

ocaml / ocaml

2.3k

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

ocaml compiler functional-language

OCaml Updated May 1, 2019

viebel / klipse

1.8k

A simple client-side code evaluator pluggable on any web page: clojure, ruby, javascript, python, scheme, es2017, jsx…

clojure clojurescript interactive-snippets javascript code-evaluation ruby scheme prolog react reactjs klipse-plugin codemirror-editor evaluation python brainfuck lua ocaml reasonml common-lisp

Clojure Updated Apr 18, 2019

ocaml-community / awesome-ocaml

1.7k

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

ocaml awesome resources programming-language

Updated Apr 29, 2019

FStarLang / FStar

1.6k

Verification system for effectful programs

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

F* Updated May 1, 2019 16 issues need help

onivim / oni2

1.4k

Native, lightweight modal code editor

oni editor reasonml ocaml windows linux macos revery

OCaml Updated May 1, 2019 12 issues need help

tezos / tezos

1.3k

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

tezos ocaml blockchain smart-contracts

Updated Apr 25, 2019

mirage / mirage

1.3k

MirageOS is a library operating system that constructs unikernels

mirageos unikernel xen kvm ocaml opam linux

OCaml Updated Apr 30, 2019

ocaml / merlin

Context sensitive completion for OCaml in Vim and Emacs

ocaml emacs vim atom

OCaml Updated May 1, 2019

mirage / irmin

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

ocaml git storage mirageos database irmin

OCaml Updated Apr 26, 2019

BinaryAnalysisPlatform / bap

927

Binary Analysis Platform

OCaml Updated Apr 29, 2019 5 issues need help

netgusto / nodebook

795

Nodebook - Multi-Lang Web REPL + CLI Code runner

TypeScript Updated Dec 8, 2018

ocaml / opam

756

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package co…

ocaml opam package-manager git

OCaml Updated Apr 26, 2019

ocaml / dune

684

A composable build system for OCaml.

build ocaml opam dune jbuilder

OCaml Updated May 1, 2019 13 issues need help

reasonml-old / reason-react

649

reasonml react ocaml bucklescript bindings

OCaml Updated Jun 12, 2017

gfngfn / SATySFi

614

A statically-typed, functional typesetting system

ocaml markup-language latex functional-programming pdf-generation opentype satysfi opam pdf

OCaml Updated Mar 28, 2019

artagnon / rhine-ml

600

an OCaml compiler for an untyped lisp

programming-language ocaml llvm

OCaml Updated Mar 31, 2015

felix-lang / felix

503

The Felix Programming Language

programming-language programming c-plus-plus ocaml compiler coroutines coroutine-framework functional-programming performant scripting-language compiled platform-independent code-generator static-analysis polymorphism type-classes parametric-polymorphism

C Updated Apr 30, 2019

ocsigen / js_of_ocaml

503

Compiler from OCaml to Javascript.

javascript ocaml compiler ocsigen jsoo

OCaml Updated May 1, 2019

andreas / ocaml-graphql-server

455

GraphQL servers in OCaml

ocaml graphql

OCaml Updated Apr 17, 2019

OvermindDL1 / bucklescript-tea

447

TEA for Bucklescript

bucklescript bucklescript-tea ocaml elm-architecture elm javascript

JavaScript Updated Apr 9, 2019

mirage / ocaml-cohttp

436

An OCaml library for HTTP clients and servers using Lwt or Async

ocaml http http-client lwt unix

OCaml Updated Apr 13, 2019

ocsigen / lwt

378

OCaml promises and concurrent I/O.

ocaml concurency io futures events asynchronous lwt fibers promises

OCaml Updated Apr 12, 2019 3 issues need help

Binary-Hackers / 42_Subjects

370

All Subjects of 42 School

school subjects c cpp swift unity ocaml ror python django php school42 paris fremont norme

ASP Updated Jul 4, 2018

uber / NEAL

369

🔎

🐞 A language-agnostic linting platform

swift python uber ocaml

OCaml Updated Jan 31, 2019

Learn about ocaml

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

OCaml

Repositories 1,242

Learn about ocaml

Related topics