Skip to content
View siraben's full-sized avatar

Organizations

@NixOS @VandyHacks @rocq-community @VandyFOSS @squ1rrel-ctf

Block or report siraben

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results
Objective-C 187 11 Updated Mar 24, 2026

Sandboxed devcontainer for running Claude Code in bypass mode safely. Built for security audits and untrusted code review.

Shell 589 56 Updated Mar 23, 2026

AI agents running research on single-GPU nanochat training automatically

Python 62,603 8,748 Updated Mar 26, 2026

Docker image that provides a Minecraft Server for Java Edition that automatically installs/upgrades versions, modloaders, modpacks and more at startup

Shell 13,429 1,843 Updated Mar 31, 2026

a system monitor implemented as a bpf program

Rust 4 Updated Feb 20, 2026

Blink is a self-hosted platform for building and running custom, in-house AI agents.

TypeScript 138 10 Updated Mar 16, 2026

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

TypeScript 343,034 67,816 Updated Mar 31, 2026

A free and strong UCI chess engine

C++ 15,154 2,841 Updated Mar 18, 2026

A C compiler that emits TPTASM instructions

Lua 6 1 Updated Mar 17, 2026

Stuff one needs to play around with my R316 computers (see README)

Lua 15 Updated Feb 12, 2026

Universal assembler for TPT computers

Lua 21 2 Updated Jul 20, 2025

Make beautiful colored code listings in LaTeX with the power of TreeSitter.

Rust 33 2 Updated Nov 8, 2025

A tiny experimental language designed to be targeted by coding LLMs

C 585 20 Updated Mar 31, 2026

🌟 For when you really just want to serve some files over HTTP right now!

Rust 7,505 368 Updated Mar 3, 2026

pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server

TypeScript 3,236 112 Updated Mar 31, 2026

Z80-μLM is a 2-bit quantized language model small enough to run on an 8-bit Z80 processor. Train conversational models in Python, export them as CP/M .COM binaries, and chat with your vintage compu…

Python 1,051 46 Updated Jan 22, 2026

mini C compiler for esp32

C 224 12 Updated Jan 29, 2026

A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.

Nix 1,318 127 Updated Mar 24, 2026

Portable file server with accelerated resumable uploads, dedup, WebDAV, SFTP, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file

Python 43,921 1,793 Updated Mar 31, 2026

Low-level unprivileged sandboxing tool used by Flatpak and similar projects

C 6,405 301 Updated Mar 21, 2026

Run nixpkgs-review in GitHub Actions

JavaScript 180 369 Updated Mar 30, 2026
C# 12 2 Updated May 12, 2022

A multithreaded Minecraft server built for redstone.

Rust 2,202 97 Updated Mar 28, 2026
Nix 25 2 Updated Mar 23, 2026

An experimental os, featuring finit as pid 1, to explore the NixOS design space

Nix 175 5 Updated Mar 29, 2026
Rocq Prover 364 12 Updated Sep 20, 2025

Easily and securely send things from one computer to another 🐊 📦

Go 34,524 1,355 Updated Mar 23, 2026

Roo Code gives you a whole dev team of AI agents in your code editor.

TypeScript 22,913 2,943 Updated Mar 31, 2026

Haskell implemented with combinators

Haskell 705 71 Updated Mar 29, 2026

A menagerie of cute implementations of modern typechecking algorithms

Rust 399 13 Updated Jan 26, 2026
Next