Most popular ocaml repositories and open source projects

asak

Identifying similar OCaml codes

2   30   30  

emile

& images

1   30   30  

libdash

The dash shell as a linkable library. Tracks https://git.kernel.org/pu...

5   30   30  

ocaml-flake-example

An overly elaborate example of building a ‘Hello World’ package with N...

5   30   30  

promise_jsoo

Js_of_ocaml bindings to JS Promises with supplemental functions

2   30   30  

rekernel

A minimal setup for writing Unikernels in ReasonML

1   29   29  

chapar

A framework for verification of causal consistency for distributed key...

7   29   29  

ocsigen-toolkit

User interface widgets for Ocsigen applications

20   29   29  

erlang_ml

Erlang External Term Format for OCaml

4   29   29  

GLFW-OCaml

A GLFW binding for OCaml.

3   29   29  

coqffi

Coq to OCaml FFI made easy [maintainer=@lthms]

8   29   29  

from-typescript-to-rescript

Frontend of https://Inhyped.com written in TypeScript and rewritten in...

0   29   29  

BetterOCaml

A small but efficient, intuitive and responsive OCaml IDE right in you...

5   29   29  

merlin-language-server

Minimal cross-platform LSP wrapper for merlin

0   28   28  

OCamURL-server

A URL shortener server with a GraphQL API written in OCaml.

1   28   28  

tea-chess

A chess-themed tutorial on writing an SPA in Bucklescript-TEA

2   28   28  

docker-iocaml-datascience

Dockerfile of Jupyter (IPython notebook) and IOCaml (OCaml kernel) wit...

3   28   28  

ogaml

Ocaml multimedia library

2   28   28  

ISO8601.ml

Parser and printer for date-times in ISO8601

12   28   28  

epidisco

Personalized cancer epitope discovery and peptide vaccine prediction p...

6   28   28  

biokepi

Bioinformatics Ketrew Pipelines

4   28   28  

calculon

Library for writing IRC bots in OCaml, a collection of plugins, and a...

5   28   28  

regenerate

Tool to generate test-cases for regular expression engines

3   28   28  

pl-checker

2017F Programming Language Homework Checker

11   28   28  

episql

SQL schema parser and code generator

1   28   28  

system_f_omega

My Attempt at System Fω with Row-Polymorphism

0   28   28  

ocaml_python_bindgen

Generate Python bindings via pyml from OCaml value specifications

1   28   28  

algaeff

🦠 Reusable components based on algebraic effects

0   28   28  

nes-ml

NES emulator in OCaml

0   28   28  

orocksdb

An OCaml RocksDb binding using ocaml-ctypes

13   27   27  

cconv

[dead] combinators for type conversion (serialization/deserialization)...

3   27   27  

bs-containers

[ABANDONED] Containers for Bucklescript application

6   27   27  

real-world-idris

Malfunction backend for Idris with a FFI to OCaml

2   27   27  

res

OCaml library for resizable arrays and strings

3   27   27  

memthol

Memthol is a visualizer for memory profiling data generated from OCaml...

3   27   27  

toy-macro-ml

An implementation of MacroML [Ganz, Sabry & Taha 2001]

1   27   27  

stdcompat

Stdcompat: compatibility module for OCaml standard library

9   27   27  

bnfgen

Generates random text based on context-free grammars defined in BNF

3   27   27  

ocaml-box

Render boxes in the terminal with OCaml or Reason

1   27   27  

ocaml-multicont

multi-shot continuations in OCaml

1   27   27  

rea-ml

Effectful OCaml with Objects and Variants

0   27   27  

lev

Low Level Bindings to Libev

6   27   27  

fullstack-reason-react-demo

Demo to showcase server-react-dom with Melange

0   27   27  

gobi

Compile OCaml/Reason to static iOS libraries

1   26   26  

bs-lwt

BuckleScript bindings for Lwt

3   26   26  

sentry-ocaml

A work-in-progress OCaml client for Sentry

5   26   26  

yurt

OCaml HTTP Microframework

1   26   26  

ocaml-web-framework

An HTTP server and framework written from scratch in OCaml

1   26   26  

pcre-ocaml

OCaml bindings to PCRE (Perl Compatibility Regular Expressions)

8   26   26  

coq-simple-io

IO for Gallina

3   26   26