thezeroalpha Goto Github PK

adafs

A proof-of-concept filesystem written in Ada, with formally verified parts. Developed for my bachelor thesis.

alacritty-color-export

Regex based solution to export generated (Wal) colors into Alacritty config.

anki-dynamic-special-char-buttons

A version of "Clickable Special Character Input Buttons" that dynamically generates buttons for any non-ASCII characters that you need to type based on your card's fields, and sorts them to avoid hinting at the answer.

anki-russian-stressmark

Anki addon to replace the selected Russian word with a version with stress marks.

anotools-chrome

A Chrome/Brave extension to let you easily open the current page in Outline.com or Hypothes.is.

applescripts

A separate repository for just applescripts/automator actions.

arraylist

NetBeans project for the Array List homework assignment (IB CS 1)

automata-complexity-notes

brew

🍺 The missing package manager for macOS (or Linux)

bsc-thesis

My Bachelor thesis.

c-kernel

calcure

Modern TUI calendar and task manager with minimal and customizable UI.

cheat.sh

the only cheat sheet you need

command_line_lint

Lint your command-line history

compnet-notes

Notes for Computer Networks

compthink-notes

conf

conf - my dotfiles manager

cpu_rec

Recognize cpu instructions in an arbitrary binary file

crytography-functions

Some cryptography functions I wrote in Ruby, don't judge me on this, haven't had time to make it look good yet.

databases-notes

date_converter

Functions for data format conversions.

degenerated

A script to remove generated code from the main methods in NetBeans. Also a perfect example of using a saw (Ruby) to hammer in a nail, instead of just using a hammer (sed). But well, I wrote this 5 years ago.

discogs

A Ruby wrapper of the Discogs.com API

dmenu

My fork of dmenu

dotfiles

My personal shell configs and stuff

dsa-notes

Notes for Data Structures and Algorithms

dwm

My fork of dwm.

dwmblocks

equational-notes

firmxray