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.

reddit-image-url-rewriter

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

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.

fedora-packages

My personal RPM packages for Fedora.

gosh

jumpgate

A stateless HTTP redirect service using DNS records.

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.

rkn

An advanced scientific programming language and calculator for the terminal.

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".

windowed_iterator

An implementation of a sliding window iterator adapter.