Ben Siraphob

A collection of my dotfiles

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

A Forth implementation for the TI-84+ calculator.

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

@siraben's eclectic collection of software

JonesForth ported to aarch64-darwin

A self-hosting mini Haskell compiler with a mini C runtime.

Friends-only nonogram web app on Cloudflare Pages + D1.

No description provided.

Formalization of Wigderson's graph coloring algorithm in Coq

No description provided.

Generating Heptapod writing with Stable Diffusion

Projects and channels that have decided to leave Freenode. (Final leave count: 1056)

An emulator for the R3 computer made by LBPhacker

Fork of TilEm supporting headless mode/SDL alternative frontend

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

Nix Packages collection

SirCmpwn's assembler (and linker)

META II compiler, assembler and bytecode interpreter.

VPL (Visual Programming Language) is an educational Turtle language using Haskell and Gloss

A virtual machine and assembler written in AWK.

My website

Nix, the purely functional package manager

A SICP register machine to TI-84 Z80 compiler.

Nix expressions for the reMarkable tablet leveraging the company's toolchain.

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

A Forth implementation for the R216K8B Powder Toy computer.

Rust port of BF-Crunch

Mathematical Components (the Book)

Official documentation for getting things done with Nix.