Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
OCaml
Updated May 1, 2019
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
An extensive list of interesting open source projects written in С, C++, Clojure, Lisp, Elixir, Erlang, Elm, Golang, …
A backend for the OCaml compiler which emits JavaScript.
FUSE filesystem over Google Drive
OCaml
Updated Feb 25, 2019
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
The core OCaml system: compilers, runtime system, base libraries
OCaml
Updated May 1, 2019
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
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
Updated Apr 29, 2019
Verification system for effectful programs
Native, lightweight modal code editor
Mirror of the release branches for Tezos, a self-amending cryptographic ledger
Updated Apr 25, 2019
MirageOS is a library operating system that constructs unikernels
OCaml
Updated Apr 30, 2019
Context sensitive completion for OCaml in Vim and Emacs
OCaml
Updated May 1, 2019
Irmin is a distributed database that follows the same design principles as Git
OCaml
Updated Apr 26, 2019
Binary Analysis Platform
Nodebook - Multi-Lang Web REPL + CLI Code runner
repl
nodejs
c
cpp
haskell
java
lua
php
python
r
ruby
rust
swift
go
typescript
elixir
ocaml
fsharp
csharp
notebook
TypeScript
Updated Dec 8, 2018
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package co…
OCaml
Updated Apr 26, 2019
A composable build system for OCaml.
OCaml
Updated Jun 12, 2017
A statically-typed, functional typesetting system
OCaml
Updated Mar 28, 2019
an OCaml compiler for an untyped lisp
OCaml
Updated Mar 31, 2015
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
Compiler from OCaml to Javascript.
OCaml
Updated May 1, 2019
GraphQL servers in OCaml
OCaml
Updated Apr 17, 2019
TEA for Bucklescript
JavaScript
Updated Apr 9, 2019
An OCaml library for HTTP clients and servers using Lwt or Async
OCaml
Updated Apr 13, 2019
OCaml promises and concurrent I/O.
All Subjects of 42 School
ASP
Updated Jul 4, 2018
OCaml
Updated Jan 31, 2019
Learn about ocaml
- Repository
- ocaml/ocaml
- Website
- ocaml.org
- Wikipedia
- Wikipedia