rachelambda Goto Github PK

agda

Agda is a dependently typed programming language / interactive theorem prover.

bc

A simple brainfuck compiler for x86_64-linux. Mirror of https://git.depsterr.com/bc

community

KISS - Community Repository

dbg.h

Simple C11 header which makes for easy print debugging. Mirror of https://git.depsterr.com/dbg.h/

dbrainfuck

An extended brainfuck interpreter

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

flash-it

Flasher script to flash Sailfish OS on a SD card for PinePhone/PineTab/devkit

hex.vim

A simple vim plugin for hex editing in vim

httpserver

A simple ruby webserver framework (a la sinatra)

mfetch

Minimalist fetch

mpdart

A simple X application that shows mpd album art. Mirror of https://git.depsterr.com/mpdart

opengl

My playground for experimenting with openGL in C

pash

🔒 A simple password manager using GPG written in POSIX sh.

pride.py

pride flags in the terminal!

qwd

rachelambda

rtef

A (WIP) x86_64-ELF linker

school-rsa

An implementation of the RSA algorithm in a mix of C and Haskell

shutils

A collection of utilities / scripts written in posix shell.

slutprojektwsp21

sysno

Shellscripts for viewing syscall numbers

toolbox

some tools that I've made myself for CTF's, reverse engineering, etc

vibrant-night

A colourscheme for terminals, editors and more! Mirror of https://git.depsterr.com/vibrant-night

viddl

A website frontend for youtube-dl. Mirror of https://git.depsterr.com/viddl

vim-tmux-navigator

Seamless navigation between tmux panes and vim splits

wu_projektvt_2c

A school project.

xmas-emu

This is a simple emulator written for the 2019 x-mas ctf