Tristan F.-R.'s repositories
guess-the-color
guess it. by name. good luck
todays-wordle
auto-updating today's wordle
unsolved-lean
catalogue of sorrys or proof_wanted in established lean formalization projects.
game-solver
Solve any sequential game.
fuzz-directory
view oss fuzz projects
leodog896.github.io
auto-generated list of repositories on my account, mainly for catalogue info
todays-horsle
today's horsle
ahtml
html generation for ada (don't worry about it)
async-compression
Adaptors between compression crates and Rust's async IO types
html5ever
High-performance browser-grade HTML5 parser
image
Encoding and decoding images in Rust
lean4
Lean 4 programming language and theorem prover
lean4game
Server to host lean games.
lz4_flex
Fastest pure Rust implementation of LZ4 compression/decompression.
mathlib4-tactics
autogenerated tactics list for mathlib4
one-by-one
one by one pixel generator
oss-fuzz
OSS-Fuzz - continuous fuzzing for open source software.
rusty_v8
Rust bindings for the V8 JavaScript engine
steppe
tauri-based terminal emulator with a focus on customizability and usability
systemd
The systemd System and Service Manager
thing-that-pings-me-on-discord-every-day
its a thing that pings me on discord every day
tokei
Count your code, quickly.
vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
xterm.js
A terminal for the web