rachelambda
Follow
-
well-rested Public
A typescript package for defining well-typed restful APIs
TypeScript UpdatedAug 1, 2024 -
-
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedNov 9, 2023 -
-
-
dbg.h Public
Simple C11 header which makes for easy print debugging. Mirror of https://git.depsterr.com/dbg.h/
-
mpdart Public
A simple X application that shows mpd album art. Mirror of https://git.depsterr.com/mpdart
-
viddl Public
A website frontend for youtube-dl. Mirror of https://git.depsterr.com/viddl
-
-
-
bc Public
A simple brainfuck compiler for x86_64-linux. Mirror of https://git.depsterr.com/bc
-
school-rsa Public
An implementation of the RSA algorithm in a mix of C and Haskell
C UpdatedMar 17, 2021 -
pash Public
Forked from dylanaraps/pash🔒 A simple password manager using GPG written in POSIX sh.
Shell MIT License UpdatedMar 9, 2021 -
flash-it Public
Forked from sailfish-on-dontbeevil/flash-itFlasher script to flash Sailfish OS on a SD card for PinePhone/PineTab/devkit
Shell UpdatedMar 9, 2021 -
depsterr.com Public archive
The sources and build system for depsterr.com. Mirror of https://git.depsterr.com/depsterr.com/
Shell MIT License UpdatedFeb 26, 2021 -
-
mfetch Public
Minimalist fetch
-
shutils Public
A collection of utilities / scripts written in posix shell.
-
vibrant-night Public
A colourscheme for terminals, editors and more! Mirror of https://git.depsterr.com/vibrant-night
-
vim-tmux-navigator Public
Forked from christoomey/vim-tmux-navigatorSeamless navigation between tmux panes and vim splits
Vim Script MIT License UpdatedJun 17, 2020 -
community Public
Forked from dylanaraps/communityKISS - Community Repository
Roff MIT License UpdatedJun 17, 2020 -
WU_projektVT_2C Public
Forked from leolisinski-nti-johanneberg/WU_projektVT_2CA school project.
HTML UpdatedMay 27, 2020 -
hex.vim Public
A simple vim plugin for hex editing in vim
-
pride.py Public archive
pride flags in the terminal!
-
toolbox Public archive
some tools that I've made myself for CTF's, reverse engineering, etc
-
dhex Public
A simple program for hex editing
C Do What The F*ck You Want To Public License UpdatedApr 30, 2020 -
xmas-emu Public
This is a simple emulator written for the 2019 x-mas ctf
-
-