severen
Systems developer at SiteHost by day, compiler developer by night.
@sitehostnzAuckland, New Zealand
Pinned Repositories
confmacs
A small tool for managing Emacs configurations.
dotfiles
My personal configuration files and scripts.
LICENSE.md
Markdown formatted software licenses.
lox
My implementations of the Lox programming language from the book Crafting Interpreters by Bob Nystrom.
luna
A hobby implementation of Scheme (R⁷RS) for fun and great profit!
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.
website
My personal website.
xturtle
A Scheme-controlled turtle graphics program for Linux/X11.
severen's Repositories
severen/confmacs
A small tool for managing Emacs configurations.
severen/LICENSE.md
Markdown formatted software licenses.
severen/dotfiles
My personal configuration files and scripts.
severen/sly
A cunning interpreter for the pure untyped λ-calculus.
severen/turing-tarpit
An educational environment for exploring automata, Turing machines, and the λ-calculus.
severen/tutil
A toolbox for developing command line applications with Rust.
severen/luna
A hobby implementation of Scheme (R⁷RS) for fun and great profit!
severen/pwned
A command line interface to check if your online accounts have been possibly compromised.
severen/xturtle
A Scheme-controlled turtle graphics program for Linux/X11.
severen/lox
My implementations of the Lox programming language from the book Crafting Interpreters by Bob Nystrom.
severen/website
My personal website.
severen/fedora-packages
My personal RPM packages for Fedora.
severen/gosh
severen/jumpgate
A stateless HTTP redirect service using DNS records.
severen/libc
Raw bindings to platform APIs for Rust
severen/maths
Notes on mathematics at an undergraduate level.
severen/moon
High level bindings to Lua (or LuaJIT).
severen/playground
Snippets of code, small projects and similar things that don't deserve to have their own repository.
severen/practice
Programming exercises for fun and great profit.
severen/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families.
severen/reddit-image-url-rewriter
A Chrome and Firefox extension that rewrites Reddit image preview URLs to their full-sized equivalents.
severen/scrun
An experiment in writing a text editor for fun and education.
severen/severen
Me!
severen/severen.github.io
Redirect to my personal website.
severen/summer-project-2021
My 2021 UC School of Mathematics summer project "Algebra and the AES Algorithm".
severen/uv
An extremely fast Python package installer and resolver, written in Rust.
severen/windowed_iterator
An implementation of a sliding window iterator adapter.