siraben

zkeme80

An assembler and operating system for the TI-84+ written in Scheme, Forth and Z80 assembly.

ti84-forth

A Forth implementation for the TI-84+ calculator.

heptapod-diffusion

Generating Heptapod writing with Stable Diffusion

r216-forth

A Forth implementation for the R216K8B Powder Toy computer.

dotfiles

A collection of my dotfiles

evm-assembler

No-dependencies assembler for the EVM with examples (λ-calculus, linked lists, etc.)

coq-wigderson

Formalization of Wigderson's graph coloring algorithm in Coq

emotivoice-cli

CLI wrapper around Emotivoice TTS Synthesis

wordle

Wordle solver

bf

Fast, simple brainfuck interpreter in C

nix-gccemacs-darwin

Build gccemacs for macOS 10.15 or newer using Nix.

llama-bot

Discord bot for interacting with the LLaMA language model

senior-thesis

LaTeX sources for my undergraduate thesis

siraben-overlay

@siraben's eclectic collection of software

nixpkgs

Nix Packages collection

SwagLyrics-For-Spotify

📃 Get lyrics of currently playing Spotify song so you don't sing along with the wrong ones and embarrass yourself later. Very fast.

website

My website

awesome-advent-of-code

A collection of awesome resources related to the yearly Advent of Code challenge.

borg-backup-exclusions-macos

Exclusion rules for Borg Backup catered to macOS

chinese-sentence-miner

Find Chinese sentences based on your known vocabulary and other rules

discord-voice-to-text

speech-to-text on voice messages

echidna

Ethereum smart contract fuzzer

haoc-2023

Haskell Advent of Code 2023

hevm

symbolic EVM evaluator

homebrew-cask

🍻 A CLI workflow for the administration of Mac applications distributed as binaries

hs-opt-handbook.github.io

The Haskell Optimization Handbook

lens-optics-profiling

Haskell Lens vs Optics Performance Under Profiling

llama.cpp

Port of Facebook's LLaMA model in C/C++

siraben

styx

Static site generator in Nix expression language.