severen

confmacs

A small tool for managing Emacs configurations.

LICENSE.md

Markdown formatted software licenses.

dotfiles

My personal configuration files and scripts.

sly

A cunning interpreter for the pure untyped λ-calculus.

turing-tarpit

An educational environment for exploring automata, Turing machines, and the λ-calculus.

tutil

A toolbox for developing command line applications with Rust.

luna

A hobby implementation of Scheme (R⁷RS) for fun and great profit!

pwned

A command line interface to check if your online accounts have been possibly compromised.

xturtle

A Scheme-controlled turtle graphics program for Linux/X11.

lox

My implementations of the Lox programming language from the book Crafting Interpreters by Bob Nystrom.

website

My personal website.

gosh

jumpgate

A stateless HTTP redirect service using DNS records.

libc

Raw bindings to platform APIs for Rust

maths

Notes on mathematics at an undergraduate level.

moon

High level bindings to Lua (or LuaJIT).

playground

Snippets of code, small projects and similar things that don't deserve to have their own repository.

practice

Programming exercises for fun and great profit.

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families.

reddit-image-url-rewriter

A Chrome and Firefox extension that rewrites Reddit image preview URLs to their full-sized equivalents.

scrun

An experiment in writing a text editor for fun and education.

severen

Me!

severen.github.io

Redirect to my personal website.

summer-project-2021

My 2021 UC School of Mathematics summer project "Algebra and the AES Algorithm".

uv

An extremely fast Python package installer and resolver, written in Rust.

windowed_iterator

An implementation of a sliding window iterator adapter.