severen/dotfiles

Stars
6
Rank 2,493,542 (Top 50 %)
Language GLSL
Created about 8 years ago
Updated 10 days ago

severen/dotfiles

severen

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

My personal configuration files and scripts.

confmacs

A small tool for managing Emacs configurations.

LICENSE.md

Markdown formatted software licenses.

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.

xturtle

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

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.