Rachel Lambda Samuelsson's repositories
vibrant-night
A colourscheme for terminals, editors and more! Mirror of https://git.depsterr.com/vibrant-night
dbrainfuck
An extended brainfuck interpreter
agda
Agda is a dependently typed programming language / interactive theorem prover.
NOASSERTION000
depsterr.com
The sources and build system for depsterr.com. Mirror of https://git.depsterr.com/depsterr.com/
dhex
A simple program for hex editing
Language:CWTFPL000
httpserver
A simple ruby webserver framework (a la sinatra)
pash
đź”’ A simple password manager using GPG written in POSIX sh.
Language:ShellMIT000
BSD-3-Clause000
school-rsa
An implementation of the RSA algorithm in a mix of C and Haskell
vim-tmux-navigator
Seamless navigation between tmux panes and vim splits
WU_projektVT_2C
A school project.
Language:HTML000