jboillot

funsearch

firefox-nordic-theme

:snowflake: A dark theme for firefox theme created using the awesome Nord color palette.

cdf-mech-sem

Coq development for the course "Mechanized semantics", Collège de France, 2019-2020

icse2021-artifact992

codex

The main codex repository

printf

Tiny, fast(ish), self-contained, fully loaded printf, sprinf etc. implementation; particularly useful in embedded systems.

manim

A community-maintained Python framework for creating mathematical animations.

nfsopam

wrapper shell script to run opam faster when your $HOME is served via NFS

Pintos

Pintos is a simple operating system framework for the 80x86 architecture

os-tutorial

How to create an OS from scratch

android_device_oneplus_dumpling

ocaml-effects-tutorial

Concurrent Programming with Effect Handlers

ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

d3-graphviz

Graphviz DOT rendering and animated transitions using D3

pace2023-tinywidth

A twin-width solver for the PACE 2023 competition - Exact Track

verified-static-analyzer

A small & simple WIP verified static analyzer

apron

Apron Numerical Abstract Domain Library

alfred-dashlane

🔐 Manage your Dashlane vault

Clipboard

Manipulate Clipboard in Node.js via native API.

prusaslicer-elegoo-profiles

PrusaSlicer/slic3r/SuperSlicer profiles for the Elegoo Neptune family

dashlane-cli

👩‍💻 Dashlane CLI - Access your secrets in your terminal, servers and CI/CD

pqc.js

JS bindings and playground of post-quantum asymmetric ciphers

emscripten-cplusplus-webpack-example

Step-by-step guide on compiling C++ codes with Emscripten into wasm and using it with Webpack + Typescript + React setup