tako
An experimental programming language for ergonomic software verification
Possibly Available
About
Software engineer with an interest in programming language design and formal methods.
Evidence-backed skills
Repositories
ika
A simple compiler written in Rust targetting Wasm
no_debug
Helper types to omit debug info for select values
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
NNplusplus
A small and easy to use neural net implementation for C++. Just download and #include!
logos
A simple ollama based assistant
Castle
My config files
greasy
A set of aliases and functions for quick Git work
qbice
Query-Based Incremental Computation Engine
zplug
:hibiscus: A next-generation plugin manager for zsh