Olivier Nicole

qcheck. QuickCheck inspired property-based testing for OCaml.

slugline. Slugline is a very small (and portable) slugifier implementation

primavera. Primavera is a dependency injection library for OCaml

virtfs. An abstract implementation of file paths

lunar. Lunar is a very small (and portable) date management library

niri. A scrollable-tiling Wayland compositor.

noctalia. A sleek, customizable desktop shell crafted for Wayland.

ocamix. OCaml

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

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

c-of-ocaml. Compile OCaml to standalone ANSI C file

animals. A phylogenetic tree of animals

ocaml-eglot. An overlay on Eglot for editing OCaml code using LSP

Mehari. A cross-platform library for building Gemini servers

ppx_stage. Staged metaprogramming in stock OCaml

metro-stories. 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.

BetterOCaml. 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.

tpf. Trivial/Tagless Polytypic Functions

wasm_of_ocaml. OCaml

nix-opam-switch. Create Opam switches where the compiler and tools are built by Nix.

cradle. :cd: One album per day

lablqml. Interfacing Qt/QML with OCaml. Formely known as lablqt

slacko. A neat interface for Slack

ppx_deriving. Type-driven code generation for OCaml

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

picos. Interoperable effects based concurrency

lwd. Lightweight document

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

markdown.sile. Native Markdown and Djot support for the SILE typesetting system

llama. Library for declaratively building software-defined modular synthesizers in OCaml

SPEAC-analysis. David Cope's SPEAC-analysis

ocaml-multicont. multi-shot continuations in OCaml

obts_exn. OCaml behind the scenes: exceptions

ocaml-macros. OCaml with macros

js_of_ocaml. Compiler from OCaml to Javascript.

angstrom. Parser combinators built for speed and memory efficiency

Paradict. OCaml

pop-shell-custom-keybindings. I didn't like the default Pop!_shell keybindings so I created a script change them

shell. Pop!_OS Shell

sanitizers. AddressSanitizer, ThreadSanitizer, MemorySanitizer

resume.github.com. Resumes generated using the GitHub informations

lrgrep. Menhir polishing toolbox, for experienced druids

multicoretests. PBT testsuite and libraries for testing multicore OCaml

tl. The compiler for Teal, a typed dialect of Lua

ocaml. The core OCaml system: compilers, runtime system, base libraries

bechamel. Agnostic benchmark in OCaml (proof-of-concept)

BeamerPresenter. Modular multi-screen pdf presentation viewer

refl. OCaml PPX deriver for reflection

impulse-blocker. Block distracting websites when you are browsing the web. Use for procrastination.

omikhleia-sile-packages. Packages and classes for the SILE typesetter

lua-parser. Lua parser implemented in OCaml

vim-plug. :hibiscus: Minimalist Vim Plugin Manager

deoplete-ocaml. Asynchronous completion for OCaml in vim or neovim

nixos-config. Nix

symptoms-tracker. A scalable web app for tracking covid-19-related symptoms amongst confined populations

leftry. Leftry - A left-recursion enabled recursive-descent parser combinator library for Lua.

sile. The SILE Typesetter — Simon’s Improved Layout Engine

patoline. Patoline typesetting system

tix. [WIP] A type system for nix

gRPC-haskell. Haskell gRPC support

mezzo. A Haskell library for typesafe music composition

Ethics. I.I-XI of Spinoza's Ethics, formalized in Coq

staged-streams.ocaml. OCaml

markup.ml. Error-recovering streaming HTML5 and XML parsers