jboillot

Jérôme Boillot's repositories

analyser

Analyser is a static analyser which finds errors and undefinded behaviors in C programs with inline assembly.

Language:OCamlMIT1 20

apl-fetcher

Fetch the APL calculation via playwright

Language:TypeScript1 20

autolock-keyring

Automatically locks the GNOME keyring following period of inactivity

Language:TypeScriptGPL-3.0010

Clipboard

Manipulate Clipboard in Node.js via native API.

Language:JavaScript000

clipboardy

Access the system clipboard (copy/paste)

Language:JavaScriptMIT000

GMP-java

JNI wrapper to the GMP library

Language:CNOASSERTION010

kitty

C++ truth table library

Language:CMIT010

landmarks-viewer

A web front-end for the landmarks library

Language:OCamlMIT000

ocaml-lsp

OCaml Language Server Protocol implementation

Language:OCamlNOASSERTION000

OctagonAI

An abstract interpreter and C program analyser in the Octagon abstract domain

Language:OCamlMIT010

pkg-release-test

Test release of artifacts generated by pkg of a Node.js project

Language:TypeScript010

stainless

Verification framework and tool for higher-order Scala programs

Language:HTMLApache-2.0010

Nordic

:snowflake: Dark Gtk3.20+ theme created using the awesome Nord color pallete.

Language:CSSGPL-3.0000

test-dilithium

Demonstrate usage of Dilithium's dashlane library using NodeJS

Language:JavaScript000

vscode-ocaml-platform

Visual Studio Code extension for OCaml

Language:OCamlISC000

youtube-disable-number-seek

Firefox extension to disable 0-9 keyboard shortcuts on YouTube

Language:JavaScriptMPL-2.0000