Most popular ocaml repositories and open source projects

caml-d

Dlang bindings for Ocaml

0   7   7  

root1d

Collection of functions to find roots of functions float → float. Pur...

0   7   7  

ocaml-prolog

prolog interpreter in ocaml

1   7   7  

tsdl-ttf

SDL2_ttf bindings for Ocaml with Tsdl

6   7   7  

binbin

Convenient binary string manipulation module for OCaml

1   7   7  

consent

ligand-based virtual screening with consensus queries

3   7   7  

fragger

A protein fragments picker

2   7   7  

macro-expander

Implementation of a hygienic macro expander

0   7   7  

Hiver

BuckleScript AI for Screeps

0   7   7  

silly-ml

A small ML-like, type-checked, interpreted or x86-64 compiled, languag...

1   7   7  

flappy

Flappy bird, written using Elm architecture in OCaml

1   7   7  

learn-ocaml.el

Emacs mode for students using the learn-ocaml platform (https://ocaml-...

1   7   7  

ocaml-nlp

Simple NLP for OCaml

0   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...

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