Skip to content
View OlivierNicole's full-sized avatar

Organizations

@ocamllabs @binsec @sile-typesetter

Block or report OlivierNicole

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results
OCaml 10 Updated Jan 4, 2026

Read-only mirror of https://codeberg.org/PassFF/passff Pull requests and issues on GitHub cannot be accepted and will be automatically closed.

JavaScript 1,277 86 Updated Jun 14, 2024

Visualise which gc-roots to delete to free some space in your nix store

Rust 454 6 Updated May 12, 2025

Compile OCaml to standalone ANSI C file

OCaml 45 2 Updated Dec 7, 2025

A phylogenetic tree of animals

OCaml 13 Updated Sep 25, 2016

An overlay on Eglot for editing OCaml code using LSP

Emacs Lisp 59 10 Updated Jan 5, 2026

A cross-platform library for building Gemini servers

OCaml 37 3 Updated Nov 28, 2025

Staged metaprogramming in stock OCaml

OCaml 154 10 Updated Mar 24, 2024

A small website to let one find the metro entrance closest to a given address. This works in France only and depends on the data provided by OpenStreetMap.

Python 6 1 Updated Feb 5, 2023

A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it works offline!), compiled with js_of_ocaml.

JavaScript 42 10 Updated Mar 27, 2025

Trivial/Tagless Polytypic Functions

OCaml 23 1 Updated Apr 14, 2020
OCaml 279 9 Updated Nov 24, 2025

Create Opam switches where the compiler and tools are built by Nix.

Nix 12 Updated Nov 14, 2025

One album per day

Dart 13 Updated May 24, 2024

Interfacing Qt/QML with OCaml. Formely known as lablqt

OCaml 166 17 Updated Feb 3, 2024

A neat interface for Slack

OCaml 86 11 Updated Jan 26, 2024

Type-driven code generation for OCaml

OCaml 505 94 Updated Jul 17, 2025

The Herd toolsuite to deal with .cat memory models (version 7.xx)

OCaml 286 89 Updated Jan 10, 2026

Interoperable effects based concurrency

OCaml 142 8 Updated Dec 25, 2025

Lightweight document

OCaml 147 24 Updated Sep 23, 2025

LISP source code for David Cope's book "Computer Models of Musical Creativity".

Common Lisp 141 16 Updated Aug 23, 2014

Native Markdown and Djot support for the SILE typesetting system

Lua 45 5 Updated Sep 30, 2025

Library for declaratively building software-defined modular synthesizers in OCaml

OCaml 53 1 Updated Jun 25, 2025

David Cope's SPEAC-analysis

Python 1 1 Updated Jun 17, 2021

multi-shot continuations in OCaml

OCaml 51 2 Updated Nov 21, 2025

OCaml behind the scenes: exceptions

TeX 31 1 Updated Oct 10, 2023

OCaml with macros

OCaml 60 3 Updated Oct 13, 2025

Compiler from OCaml to Javascript.

OCaml 1,071 198 Updated Dec 20, 2025

Parser combinators built for speed and memory efficiency

OCaml 695 77 Updated Sep 12, 2024
OCaml 7 1 Updated Aug 7, 2024
Next