Topic

ocaml

Repositories (1383)

ocaml-cairo
ocaml-cairo Chris00 OCaml

Binding to Cairo, a 2D Vector Graphics Library.

58
modern-ocaml
modern-ocaml Khady OCaml

Template for an ocaml project with modern tooling

58
ppx_spice
ppx_spice mununki JavaScript

ReScript PPX which generates the JSON (de)serializers

58
otoml
otoml dmbaturin OCaml

TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)

58
ocaml-ssl
ocaml-ssl savonet OCaml

OCaml SSL bindings.

58
uwt
uwt fdopen OCaml

libuv bindings for OCaml

56
ocaml-re-nfa
ocaml-re-nfa yallop OCaml

OCaml code to construct an NFA from a regular expression

56
ocaml-linenoise
ocaml-linenoise ocaml-community C

Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml

56
category-theory-for-programmers
category-theory-for-programmers alstn2468 TypeScript

🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚

56
ortac
ortac ocaml-gospel OCaml

Runtime assertion checking based on Gospel specifications

56
ocaml-multicont
ocaml-multicont dhil OCaml

multi-shot continuations in OCaml

56
udns
udns robur-coop OCaml

[deprecated, developmeht moved to https://github.com/mirage/ocaml-dns] µDNS - an opinionated Domain Name System (DNS) library

55
ppx_pgsql
ppx_pgsql tizoc OCaml

Syntax extension for embedded SQL queries using PG'OCaml.

55
ocaml-ffmpeg
ocaml-ffmpeg savonet C

OCaml bindings to the FFmpeg library.

55
llama
llama gridbugs OCaml

Library for declaratively building software-defined modular synthesizers in OCaml

55
asai
asai RedPRL OCaml

🩺 A library for compiler diagnostics

55
cryptomon
cryptomon lauritzsh OCaml

Cryptocurrency Portfolio Monitor

54
ipc_solver
ipc_solver qnighy OCaml

O(N log N)-space IPC solver in OCaml

54
binaryen.ml
binaryen.ml grain-lang C

OCaml bindings for Binaryen.

54
ocaml-dockerfile
ocaml-dockerfile ocurrent OCaml

OCaml interface for creating Dockerfiles

54
pendulum
pendulum remyzorg OCaml

OCaml syntax extension dedicated to the programming of reactive systems on the Web.

53
OCamlSDL2
OCamlSDL2 fccm OCaml

OCaml interface to SDL 2.0 (for Linux, Windows, MacOS, and ChromeBook)

53
prometheus
prometheus mirage OCaml

OCaml library for reporting metrics to a Prometheus server

53
reparse
reparse bikallem OCaml

Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.

52
ocaml-prog-pats
ocaml-prog-pats mmottl OCaml

OCaml Programming Patterns - random tricks, "design patterns", etc.

52
ocaml-for-web-programming
ocaml-for-web-programming dannywillems

OCaml for web programming

52
mlml
mlml coord-e OCaml

self-hosted compiler for a subset of OCaml

52
ocaml-x509
ocaml-x509 mirleft OCaml

X509 (RFC5280) handling in OCaml

52
ke
ke mirage HTML

Fast implementation of queue in OCaml

52
algaeff
algaeff RedPRL OCaml

🦠 Reusable components based on algebraic effects

52
libdash
libdash binpash C

The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for Python and OCa...

52
ocaml-oidc
ocaml-oidc ulrikstrid OCaml

OpenID Connect implementation in OCaml. Currently only the RP (client) parts are polished.

51
aws-s3
aws-s3 andersfugmann OCaml

Ocaml library to access Amazon S3

51
liquid-ml
liquid-ml benfaerber OCaml

Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.

51
type-systems
type-systems andreypopp OCaml

Playing with type systems

51
bs-graphql-bindings
bs-graphql-bindings rricard OCaml

BuckleScript binding for graphql-js

50
furl
furl Drup OCaml

Formatted url

50
ocaml-lmdb
ocaml-lmdb Drup C

Ocaml bindings for lmdb.

50
hello
hello lindig OCaml

A minimal OCaml project

50
bistro
bistro pveber OCaml

A library to build and execute typed scientific workflows

49
probzelus
probzelus IBM OCaml

ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.

49
mp2i-info.github.io
mp2i-info.github.io mp2i-info Jupyter Notebook

Cours d'informatique en MP2I (OCaml, C, SQL)

49
miiify
miiify nationalarchives OCaml

A web annotation server built with the same principles as Git

48
inquire
inquire tmattio OCaml

:art: Create beautiful interactive command line interface in OCaml

48
fizzboom
fizzboom darklang F#

Benchmark to compare async web server + interpreter + web client implementations across various languages

48
advent-of-code-2021
advent-of-code-2021 daangn OCaml

새로운 프로그래밍 언어와 함께 겨울나기

48
mtt-lang
mtt-lang mtt-lang OCaml

A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web

48
olivine
olivine Octachron OCaml

Ocaml binding generator for vulkan

48
rpgm-decrypt
rpgm-decrypt rolanfreeman6-png HTML

Decrypting RPG Maker game assets (XP / VX / VX Ace / MV / MZ).

47
ocamlfind
ocamlfind ocaml OCaml

The OCaml findlib library manager

47