Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
OCaml
Updated Mar 19, 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 9 months ago
Repositories 1,193
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 Mar 22, 2019
The core OCaml system: compilers, runtime system, base libraries
OCaml
Updated Mar 22, 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 Mar 12, 2019
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
Updated Feb 18, 2019
Verification system for effectful programs
Mirror of the release branches for Tezos, a self-amending cryptographic ledger
Updated Mar 22, 2019
MirageOS is a library operating system that constructs unikernels
OCaml
Updated Mar 8, 2019
Context sensitive completion for OCaml in Vim and Emacs
OCaml
Updated Mar 21, 2019
Irmin is a distributed database that follows the same design principles as Git
OCaml
Updated Mar 22, 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 Mar 22, 2019
A composable build system for OCaml.
OCaml
Updated Jun 12, 2017
A statically-typed, functional typesetting system
OCaml
Updated Mar 18, 2019
Compiler from OCaml to Javascript.
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 Mar 20, 2019
GraphQL servers in OCaml
OCaml
Updated Mar 22, 2019
TEA for Bucklescript
JavaScript
Updated Mar 21, 2019
An OCaml library for HTTP clients and servers using Lwt or Async
OCaml
Updated Mar 1, 2019
OCaml
Updated Jan 31, 2019
OCaml promises and concurrent I/O.
All Subjects of 42 School
ASP
Updated Jul 4, 2018
Multicore OCaml
Adds Reason to the browser