Shad Amethyst's repositories
online-pixel-font-creator
A tool for creating, editing and exporting pixel fonts within the browser.
rubin-lean4
Proof of Rubin's theorem, written in Lean 4
ds50-project
A prototype chatbot for recording health metrics for patients; project for the DS50 ("data science") class
basic-to-mindustry
A small transpiler from BASIC to Mindustry Logic
adri326
Not-so-secret secret custom profile page
boruvka-cs
A small demonstration of Boruvka's algorithm, written in C#
chaos-game.rs
Rust implementation of the chaos game using the pixels crate, optimized as much as I could
code-server
VS Code in the browser
connect-square
A soon-to-be-solved simple game on the browser
embassy
Modern embedded framework, using Rust and async.
genomic-rs
A small Rust crate for implementing genetical algorithms
just-the-code
A ripgrep preprocessor that filters out comments and strings from source code
lpcli
C implementation of lesspass (version 2) - Wayland support
mathlib4
The math library of Lean 4 (forked)
mcuboot
Secure boot for 32-bit Microcontrollers!
nextjs-bug-export-undefined
PoC of a bug where getInitialProps isn't called if getStaticProps is exported with undefined
rouille
Rust programming, in French.
rust-mustache
mustache template library for rust (customization fork)
stackline2
Stackline version 2 - mirrored from https://git.shadamethyst.xyz/adri326/stackline2
sy42-tp
My solutions to the assignements in the SY42 class.
ulog
A tiny rust logging library, designed for embedded devices with a very small space budget
usvg-bb-bug
Proof of Concept for a bug in usvg's calculate_bbox
web
Search and preview themes from the VS Code Marketplace.