severen
Follow
-
dotfiles Public
My personal configuration files and scripts.
-
sly Public
A cunning interpreter for the pure untyped λ-calculus.
-
uv Public
Forked from astral-sh/uvAn extremely fast Python package installer and resolver, written in Rust.
Rust Apache License 2.0 UpdatedFeb 1, 2025 -
-
-
-
-
libc Public
Forked from rust-lang/libcRaw bindings to platform APIs for Rust
Rust Apache License 2.0 UpdatedApr 29, 2024 -
reddit-image-url-rewriter Public
A Chrome and Firefox extension that rewrites Reddit image preview URLs to their full-sized equivalents.
JavaScript The Unlicense UpdatedMar 9, 2024 -
qmk_firmware Public
Forked from Keychron/qmk_firmwareOpen-source keyboard firmware for Atmel AVR and Arm USB families.
C GNU General Public License v2.0 UpdatedMar 9, 2024 -
-
-
turing-tarpit Public
An educational environment for exploring automata, Turing machines, and the λ-calculus.
-
xturtle Public
A Scheme-controlled turtle graphics program for Linux/X11.
-
luna Public
A hobby implementation of Scheme (R⁷RS) for fun and great profit!
-
playground Public
Snippets of code, small projects and similar things that don't deserve to have their own repository.
Python The Unlicense UpdatedJan 16, 2023 -
scrun Public
An experiment in writing a text editor for fun and education.
Rust Mozilla Public License 2.0 UpdatedNov 5, 2022 -
lox Public
My implementations of the Lox programming language from the book Crafting Interpreters by Bob Nystrom.
Kotlin UpdatedNov 5, 2022 -
practice Public
Programming exercises for fun and great profit.
Rust The Unlicense UpdatedAug 15, 2022 -
summer-project-2021 Public
My 2021 UC School of Mathematics summer project "Algebra and the AES Algorithm".
TeX UpdatedFeb 10, 2022 -
pwned Public
A command line interface to check if your online accounts have been possibly compromised.
-
-
windowed_iterator Public
An implementation of a sliding window iterator adapter.
Rust Mozilla Public License 2.0 UpdatedMay 21, 2019 -
confmacs Public archive
A small tool for managing Emacs configurations.
-
-
moon Public archive
High level bindings to Lua (or LuaJIT).
Rust Mozilla Public License 2.0 UpdatedSep 19, 2017 -
tutil Public archive
A toolbox for developing command line applications with Rust.