Pinned Repositories
nixpkgs-lint
A fast semantic linter for Nix using tree-sitter 🌳 + ❄️. [maintainers=@Artturin,@siraben]
fp-notes
Notes on Functional Programming and related topics
freenode-exodus
Projects and channels that have decided to leave Freenode. (Final leave count: 1056)
heptapod-diffusion
Generating Heptapod writing with Stable Diffusion
mini-haskell
A self-hosting mini Haskell compiler with a mini C runtime.
nix-remarkable
Nix expressions for the reMarkable tablet leveraging the company's toolchain.
r216-forth
A Forth implementation for the R216K8B Powder Toy computer.
r5rs-denot
A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
ti84-forth
A Forth implementation for the TI-84+ calculator.
zkeme80
An assembler and operating system for the TI-84+ written in Scheme, Forth and Z80 assembly.
siraben's Repositories
siraben/zkeme80
An assembler and operating system for the TI-84+ written in Scheme, Forth and Z80 assembly.
siraben/ti84-forth
A Forth implementation for the TI-84+ calculator.
siraben/heptapod-diffusion
Generating Heptapod writing with Stable Diffusion
siraben/r216-forth
A Forth implementation for the R216K8B Powder Toy computer.
siraben/dotfiles
A collection of my dotfiles
siraben/evm-assembler
No-dependencies assembler for the EVM with examples (λ-calculus, linked lists, etc.)
siraben/coq-wigderson
Formalization of Wigderson's graph coloring algorithm in Coq
siraben/emotivoice-cli
CLI wrapper around Emotivoice TTS Synthesis
siraben/bf
Fast, simple brainfuck interpreter in C
siraben/nix-gccemacs-darwin
Build gccemacs for macOS 10.15 or newer using Nix.
siraben/llama-bot
Discord bot for interacting with the LLaMA language model
siraben/senior-thesis
LaTeX sources for my undergraduate thesis
siraben/siraben-overlay
@siraben's eclectic collection of software
siraben/nixpkgs
Nix Packages collection
siraben/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.
siraben/website
My website
siraben/awesome-advent-of-code
A collection of awesome resources related to the yearly Advent of Code challenge.
siraben/borg-backup-exclusions-macos
Exclusion rules for Borg Backup catered to macOS
siraben/chinese-sentence-miner
Find Chinese sentences based on your known vocabulary and other rules
siraben/discord-voice-to-text
speech-to-text on voice messages
siraben/echidna
Ethereum smart contract fuzzer
siraben/haoc-2023
Haskell Advent of Code 2023
siraben/haskell-tree-sitter
Haskell bindings for tree-sitter
siraben/hevm
symbolic EVM evaluator
siraben/homebrew-cask
🍻 A CLI workflow for the administration of Mac applications distributed as binaries
siraben/hs-opt-handbook.github.io
The Haskell Optimization Handbook
siraben/lens-optics-profiling
Haskell Lens vs Optics Performance Under Profiling
siraben/llama.cpp
Port of Facebook's LLaMA model in C/C++
siraben/siraben
siraben/styx
Static site generator in Nix expression language.