A simple, secure and modern file encryption tool (and Rust library) with small explicit keys, no config options, and UNIX-style composability.

Rust TOML Parser

cargo, make me a project

HTTP Round Tripper for GitHub Apps - Authenticate as an Installation Workflow

Free gophers

Count your code, quickly.

A small collection of formally verified junk theorems provable in Lean4 + Mathlib.

Rust programming, in French.

A Lean companion to Analysis I

Lean Companion to the Category Theory in Context textbook by Emily Riehl

Exhaustive iteration trait in Rust

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

A Rust based utilty toolbox for developers. Inspired from https://it-tools.tech

Tree Sitter grammar for Typst

2023 Advent of Code in Ada

isingLenzMC: Monte Carlo for Classical Ising Model (with core C library)

A Tour of Standard ML (in the style of A Tour of Go)

🚀 A very efficient Texas Holdem GTO solver ♠️♥️♣️♦️

My solutions to Tao's Analysis I, formalized in Lean

A native Rust library for Delta Lake, with bindings into Python

A tree-sitter based AST difftool to get meaningful semantic diffs

A GitHub action to create a pull request for changes to your repository in the actions workspace

Find, verify, and analyze leaked credentials

Formalizing "Proofs from THE BOOK"

This is a repository on the formalization of Monsky's theorem by the UvA lean community.

Feather🪶: A Rust web framework that does not use async

Open-source graph database, tuned for dynamic analytics environments. Easy to adopt, scale and own.