Thomas Gazagnaire (samoht)

samoht

Geek Repo

Company:@tarides

Location:Paris, FR

Home Page:http://gazagnaire.org

Github PK Tool:Github PK Tool


Organizations
mirage
moby
ocaml
ocamllabs

Thomas Gazagnaire's starred repositories

minttea

A fun little TUI framework for OCaml

Language:OCamlLicense:MITStargazers:316Issues:4Issues:26

hotcaml

Hotcaml: an interpreter with watching and reloading

Language:OCamlLicense:AGPL-3.0Stargazers:143Issues:5Issues:0
Language:OCamlLicense:NOASSERTIONStargazers:94Issues:24Issues:9

moonpool

Commodity thread pools and concurrency primitives for OCaml 5

ocaml-protoc-plugin

ocaml-protoc-plugin

Language:OCamlLicense:NOASSERTIONStargazers:48Issues:34Issues:19

ocaml-bindgen

Automatically generates OCaml FFI bindings and C shim code to C/C++ libraries

Language:OCamlLicense:MITStargazers:32Issues:3Issues:9

ppx_minidebug

Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collapsible HTML or Markdown trees with highlights.

Language:OCamlLicense:LGPL-2.1Stargazers:26Issues:2Issues:52

camlkit

OCaml bindings to macOS and iOS Cocoa frameworks

Language:OCamlStargazers:21Issues:2Issues:0

patch

line based patch, input is a unified diff

Language:OCamlLicense:NOASSERTIONStargazers:20Issues:6Issues:6

quickjs.ml

OCaml bindings to QuickJS

Language:OCamlLicense:NOASSERTIONStargazers:19Issues:0Issues:0

hackocaml

OCaml hacking ideas, small and large.

cca

Code Continuity Analysis Framework

Language:OCamlLicense:Apache-2.0Stargazers:18Issues:2Issues:16

ocaml-mpsc

Lockless Multiple Producer Single Consumer Queue for ocaml-multicore

Language:OCamlLicense:ISCStargazers:17Issues:4Issues:1

ocaml-sdk

Extism OCaml Host SDK

Language:OCamlLicense:BSD-3-ClauseStargazers:13Issues:5Issues:0

telemetry

Lightweight event dispatching for OCaml.

Language:OCamlLicense:MITStargazers:11Issues:2Issues:0

volt

Volt - A variant of Bolt OCaml logging tool

Language:OCamlLicense:LGPL-3.0Stargazers:8Issues:2Issues:1
Language:OCamlStargazers:7Issues:2Issues:0

coq-iteration

Mathematical concepts related to iteration

Language:CoqStargazers:7Issues:2Issues:0

vcs

A versatile OCaml library for Git interaction

Language:OCamlLicense:LGPL-3.0Stargazers:7Issues:1Issues:1

eio_js

Eio for JavaScript environments

Language:OCamlLicense:ISCStargazers:7Issues:5Issues:1

ocaml-getaddrinfo

More compreensive getaddrinfo bindings for ocaml

Language:OCamlLicense:GPL-2.0Stargazers:6Issues:0Issues:0

oculator

A GUI Calculator in OCaml

Language:OCamlLicense:MITStargazers:6Issues:0Issues:0

ocamlzar

Formally verified discrete samplers in OCaml.

Language:OCamlLicense:MITStargazers:5Issues:2Issues:1

rcontext

Per-request context, inspired from Go's

Language:OCamlStargazers:5Issues:2Issues:0

oxywa

My first blog, built with yocaml

Language:HTMLStargazers:4Issues:1Issues:0

xspfmaker

make xspf playlists

Language:OCamlLicense:ISCStargazers:3Issues:2Issues:0

vlt

VLT - A Variant of Bolt OCaml Logging Tool

Language:OCamlLicense:LGPL-3.0Stargazers:2Issues:2Issues:1

dfml

toy project to try Ocaml

Language:OCamlStargazers:2Issues:1Issues:0

lib-ocamlnet3

forked from https://gitlab.com/gerdstolpmann/lib-ocamlnet3

Language:OCamlStargazers:1Issues:2Issues:0