Thomas Gazagnaire Claim this profile

Cloud programming platform

Irmin is a distributed database that follows the same design principles as Git

Yet another type combinator library

A collection of tools to manage the configuration of OCaml projects

A loyal and faithful synchronisation tool that you can rely on.

Typed CSS AST, parser, pretty-printer, and optimiser for OCaml

Type-safe Tailwind CSS in OCaml - A lightweight utility-first CSS generation library with prose typography support, responsive modifiers, and minimal bundle size for js_of_ocaml.

Sealing local directories into Mirage Unikernels

Dynamic types for OCaml

No description.

A command-line tool to manage Github Issues

No description.

A distributed Continuous Integration engine for opam packages

Automatically generate table of contents for Markdown files

No description.

Helpers for using topkg with jbuilder

Sandboxed build environment for opam projects

HyperText & Caml Meta Language

Type-classes for mirage applications

Tutoriel MirageOS pour la 8e journée LoOPS

ML to Bigloo compiler

Simple tool to aggregates contribution statistics for GitHub organisations

Generate SEO-friendly tags and descriptions for blog posts using LLMs

Conflict-free Replicated Datatypes

No description.

OCaml bindings to FSevents using Ctypes

Huffman codes in pure OCaml

Pure OCaml implementation of wget based on Citrix HTTP library

Example of a Mirage unikernels using Irmin

No description.

Mirror of https://forge.ocamlcore.org/projects/mathocaml

No description.

Various algorithms to deal with bloom filters in OCaml

Experiments (in progress) with web programming

Default Emacs configuration files for OCaml

Crowbar + Alcotest

No description.

Extented Arg module

OCaml AST dumper - produce an AST from a source file, while optionally applying a pre-processor

No description.

the Llama project

Random robot controller experiments in OCaml

Bridge between ocp-build and ocamlfind

Convert a Git snapshot into a FAT image

Mirror of https://www.lri.fr/~filliatr/ftp/ocaml/ds/parray.mli.html

No description.

Dune rules to build solo5

Mergeable queues

Skeleton for Travis CI scripts

CRAM testing framework

Serialization library for OCaml

OCaml cross-compiler to freestanding Unikraft backends

GMP in a dune wrapper

My own dot files

Convert a filesystem into a static OCaml module

No description.

No description.

Ocaml SHA 1 and 2 family implementation using a really fast C implementation

Library to provide a fast integer (x64 arch) or allocated int32 (x84 arch)

A lock-free thread-safe integer keyed hash table

My little homebrew corner

Homebrew tap for my monopam

No description.

No description.

No description.

musl: A C standard library

Composable byte stream readers and writers for OCaml

Purely functional SSH library in ocaml.

No description.

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

A simple scheduler for OCaml 5

Key deriving functions in OCaml

X509 (RFC5280) handling in OCaml

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

F Prime Prime: A modeling language for F Prime

Dune's overlay of the opam repository

Anil's OCaml Claude plugin collection

No description.

Tidy, feature-complete Web framework

No description.

Library to parse and enumerate releases of the OCaml compiler

OCaml Build Infrastructure

A curated list of awesome functional programming jobs.

Encoding primitives for Dream applications.

OCaml bindings to macOS and iOS Cocoa frameworks

No description.

macOS bindings to the FSEvents API

FSEvents bindings in OCaml

Render HTML, SVG, MathML, htmx markup from your OCaml Dream backend server

An opam repository with packages in the Mirage universe that have been to be ported to dune

MirageOS key value store implementation using a Unix file system

mirror of https://git.robur.coop/robur/mirage-monitoring

No description.

A high performance, memory efficient, and scalable web server written in OCaml

An HTTP/2 implementation written in pure OCaml

Reusable runtime library for network protocols

No description.

A monorepo of mirage packages that work with OCaml 5 using effects

Microsite for the MirageOS hack retreats

Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel

A TLS reverse proxy unikernel

A MirageOS unikernel acting as secondary DNS server, provisioning certificate signing requests to valid certificates using let's encrypt

A MirageOS unikernel acting as primary DNS server, data stored in a remote git repository

A MirageOS unikernel acting as a secondary DNS server

OKR report aggregation tool

A collection of Cmdliner terms to control OCaml runtime parameters

Experimental effects-based wonderful webserver

The official OCaml website.

Ocurrent plugin for deploying mirage unikernels using albatross, monitor them, manage IPs and port forwarding

Albatross: orchestrate and manage MirageOS unikernels with Solo5

Owl - OCaml Scientific Computing @ http://ocaml.xyz

The imagelib library implements image formats such as PNG or PPM

A Key Value store using a persistent hashtable approach

Port of HTTP/AF & H2 with Mirage and mimic

A test opam overlay containing packages compatible with the next release of the OCaml compiler

Examples to illustrate the use of algebraic effects in Multicore OCaml

Streaming client for OCaml's Memprof

Freestanding OCaml runtime

Effects-based direct-style IO for multicore OCaml

MacOS X implementation of the Mirage NETWORK interface

Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)

Agnostic benchmark in OCaml (proof-of-concept)

Self-adjusting computations

Website infrastructure for openmirage.org

A CI for OCaml projects

Solo5 implementation of MirageOS Bootvar interface

Xen core platform libraries for MirageOS

mirror of precious opam repository packages whose source websites have disappeared

Development OPAM repository for work-in-progress packages

Duniverse is the spice of OCaml build life

Ocurrent-based CI for MirageOS

ANSI escape sequence parser

A site generator in OCaml 🐫 (OCurrent pipelines too)

A Git-based CMS for Static Site Generators

macOS bindings to CoreFoundation

A toolkit for creating and managing declarative, self-healing infrastructure.

Expose Stdlib.Bigarray when possible but try not to break stuff

Description of how to compute the context hash for Tezos

A pure OCaml PostgreSQL client library

OCaml wrapper for HDF5

No description.

No description.

a solver for opam packages using 0install's solver engine

Debugging memory usage in an Irmin tree dump.

repro case for duniverse/cdmliner issue

Regression Testing framework for OPAM

A tool to ease contributions to opam repositories

A tool to generate a website from an OPAM repository

Attempt to automate the installation of system packages required by OPAM packages

Resolve URIs into communication channels for Async or Lwt

Unix implementation of the Mirage BLOCK_DEVICE interface

Unix core platform libraries for MirageOS

A DHCP library in OCaml

Standard library for OCaml

A sandboxed execution environment for unikernels

Solo5 core platform libraries for MirageOS

Cryptographic primitives for MirageOS

collect activity and format as markdown for a journal

Camlp4 tool

A composable build system for OCaml

A DSL to invoke otherworldly functors

No description.

Entropy driver for MirageOS

No description.

Portable implementation of the Irmin Watch API

This repository includes a Gemfile which includes a fake dependency which is always flagged as having security vulnerabilities.

OCaml LRU maps

Functional Priority Search Queues for OCaml

Implementation of the PACK file (Git) in OCaml

Execute code blocks inside markdown files

A Mirage filesystem library

Mirror of the release branches for Tezos, a self-amending cryptographic ledger

C-style preprocessor for OCaml

Portable shim for MirageOS APIs

Infrastructure to collect metrics from OCaml applications.

No description.

OCaml client for the Stripe API

This library is useful if you wish to make a service which is automatically started by launchd.

Simple hash algorithms in OCaml

OCaml bindings for the Javascript c3 charting library

Comments collection for Real World OCaml

Bigstring intrinsics and fast blits based on memcpy/memmove

Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCaml code.

OCaml interface to the YAML 1.1 spec

Auto-formatter for OCaml code

An eDSL for MirageOS apps

Sample setups for OCaml projects using jbuilder

A lightweight and colourful test framework

A variant of ocaml-expect from toplevel_expect_test that mimics ocaml toplevel more closely

An Ocaml generic virtual machine for microcontrollers

NATed networking on MacOS X using the vmnet framework

Packer and Vagrant images for building Mirage

interface for network address translation intended for use with mirage unikernels

A simple static website generator, written in OCaml

A blog server for Yamado articles. Main repo: https://gitlab.com/orbifx/logarion

Docker and OCaml infrastructure scripts

OCaml interface for creating Dockerfiles

A session manager for your everyday needs

CLI tool to generate weekly reports for clusters of GitHub projects

Network protocol module type definitions for MirageOS