Most popular ocaml repositories and open source projects

camyll

Static site generator

1   7   7  

ocaml-binaryen-dsl

Write WAT DSL in OCaml.

0   7   7  

ocaml-reex

Staged regular expression library for MetaOCaml

0   7   7  

jsoo-react-template

Template for a minimal jsoo-react project

1   7   7  

ppx_pyformat

Ppxlib based rewriter inspired by Python string `format()`.

0   7   7  

deeplang-type-system

DeepLang type system based on Ocaml

1   7   7  

ocaml-objdump

🖨️ Printing OCaml Runtime Representations

0   7   7  

OCADml

Computer Aided Design (CAD) in OCaml

0   7   7  

ppx_deriving_cad

Automated generation of OCADml transformations over user created types

0   7   7  

ppx_deriving_cad

Automated generation of OCADml transformations over user created types

0   7   7  

Styff

A functional programming language based on system F (omega) ft. NbE an...

0   7   7  

ocaml-cfgen

Generate CloudFormation templates with OCaml

0   7   7  

Cats

Cat photo storage

1   7   7  

poc-modular-io

proof of concept for https://github.com/ocaml/RFCs/pull/19

2   6   6  

iplogic

A DSL for generating iptables firewall scripts.

1   6   6  

fitch

Certified proof checker for Fitch-style propositional logic proofs

2   6   6  

Peut-on-coder-avec-OCaml-Python-et-C-par-SMS

Je souhaite répondre à la question suivante : peut on coder avec OCaml...

1   6   6  

ParentalJobs

Parents friendly jobs portal

1   6   6  

okasaki-ocaml

My notes and solutions for "Purely Functional Data Structures" book by...

0   6   6  

Tiny-Prolog-in-OCaml

A tiny implementation of a small subset of the Prolog language, 🐫 in O...

1   6   6  

ocaml-influxdb

OCaml interface to the time series database InfluxDB

1   6   6  

ns.nqsb.io

NQSB.IO name server

0   6   6  

odist

OCaml distributed data processing

0   6   6  

digital-red

Digital-Red is a collection of succinct, elegant OCaml implementations...

1   6   6  

ppx_deriving_argparse

Very simple ppx deriver for command line parser

0   6   6  

SpinR

Spin with Refinement

6   6   6  

webidl

Web IDL parser of OCaml

3   6   6  

range

small range library for OCaml

0   6   6  

mirageos-bobkonf2019-tutorial

MirageOS unikernels used for bobkonf 2019 tutorial

0   6   6  

lasvegas-geom

Ocaml implementation of some randomized computational geometry algorit...

0   6   6  

jsoo_storage

A wrapper in Js_of_ocaml for the WebStorage API

2   6   6  

bsb-vscode-task-adaptor

A script that integrates the output from bsb into vscode tasks using p...

0   6   6  

ocaml-odepack

Binding to the ODEPACK FORTRAN library

0   6   6  

ocaml-socialpeek

OCaml library to extract social information such as Twitter cards or O...

1   6   6  

ocaml-punycode

RFC 3492: IDNA Punycode implementation

2   6   6  

custom-lang-compiler

A compiler to x86 assembly written in OCaml.

0   6   6  

everglow

Parser converts javascript or typescriot code to ReasonML

0   6   6  

vncproxy

A tool to connect securely to a remote VM's VNC console

7   6   6  

reason-react-todo

A todo app with ReasonReact + ReasonML + OCaml + BuckleScript + React

0   6   6  

system-f-pop

An implementation of http://www.cis.upenn.edu/~stevez/papers/MZZ10.pdf...

0   6   6  

apidsl

DSL for C APIs to aid consistency of naming schemes and comments.

3   6   6  

ppx_deriving_random

Syntax extension to generate random instances of types

2   6   6  

ocaml-exenum

Exenum (OCaml library) : build efficient enumerations for datatypes. I...

0   6   6  

mini-android

Static analyzer for Android-like applications

0   6   6  

omake-hacks

Library of OMake scripts to include in your projects (DEPRECATED)

0   6   6  

MLem

👨🏼‍💻👅 A Tiny ML-like language for research purposes

0   6   6  

firma

Simple Merkle tree implementation based on the Bitcoin white paper.

0   6   6  

inhca

In-House CA

0   6   6  

sambe

A compiler backend. WIP

1   6   6  

tex_of_ocaml

A compiler for untyped lambda terms to TeX code

0   6   6