Ben Siraphob

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

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

ti84-forth. A Forth implementation for the TI-84+ calculator.

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.

heptapod-diffusion. Generating Heptapod writing with Stable Diffusion

fp-notes. Notes on Functional Programming and related topics

r216-forth. A Forth implementation for the R216K8B Powder Toy computer.

dotfiles. A collection of my dotfiles

nix-sudoku. Sudoku solver in Nix

r5rs-denot. A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.

meta-yacc. Self-hosting parser generators in Forth and C.

meta-II. META II compiler, assembler and bytecode interpreter.

awk-vm. A virtual machine and assembler written in AWK.

eopl. Implementation of the languages from the EOPL textbook in Haskell and Standard ML.

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

hasktran. A compiler for FRACTRAN written in Haskell.

haoc-2020. Haskell Advent of Code 2020

monadic-parsing. Monadic parsing in Scheme.

haoc-2021. Haskell Advent of Code 2021

scheme-to-c. A toy Scheme to C compiler

ts-lint-example. Minimal linting example with tree-sitter

nix-workshop. Outline for a workshop on Nix, to be given sometime in the 2020-2021 academic calendar.

wordle. Wordle solver

tree-sitter-promela. Promela grammar for tree-sitter

mes-overlay. Nix overlay for MES-related packages

emotivoice-cli. CLI wrapper around Emotivoice TTS Synthesis

sicp-to-z80. A SICP register machine to TI-84 Z80 compiler.

bf. Fast, simple brainfuck interpreter in C

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

tree-sitter-imp. Imp grammar for tree-sitter

lisp-to-js. Compiling Lisp to JavaScript

tree-sitter-formula. Formula grammar for tree-sitter

brownies. This a game I hacked together with Biwascheme.

nix-gccemacs-darwin. Build gccemacs for macOS 10.15 or newer using Nix.

nix-challenges. Increasingly difficult building challenges in Nix with solutions

llama-bot. Discord bot for interacting with the LLaMA language model

remarkable-hello. Example of compiling Rust to a static ARM executable. Target here is the reMarkable tablet.

senior-thesis. LaTeX sources for my undergraduate thesis

knightos-nix. Compiling KnightOS end-to-end using Nix

coq-rings. Ring Theory in Coq from Scratch

functional-images. Replicating the Functional Images paper by Conal Elliott using Haskell, C and SDL2.

ti84-forthos. A Forth-based OS for the TI-84+ calculator. Now succeeded by https://github.com/siraben/zkeme80