Ben Siraphob (@siraben)
github

siraben

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

zkeme80

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

freenode-exodus

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

ti84-forth

A Forth implementation for the TI-84+ calculator.
Assembly
86
star
4

mini-haskell

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

fp-notes

Notes on Functional Programming and related topics
Haskell
28
star
6

heptapod-diffusion

Generating Heptapod writing with Stable Diffusion
25
star
7

r216-forth

A Forth implementation for the R216K8B Powder Toy computer.
Assembly
24
star
8

dotfiles

A collection of my dotfiles
Emacs Lisp
23
star
9

nix-sudoku

Sudoku solver in Nix
Nix
22
star
10

r5rs-denot

A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
Haskell
20
star
11

meta-yacc

Self-hosting parser generators in Forth and C.
Forth
18
star
12

meta-II

META II compiler, assembler and bytecode interpreter.
TeX
17
star
13

eopl

Implementation of the languages from the EOPL textbook in Haskell and Standard ML.
Haskell
15
star
14

awk-vm

A virtual machine and assembler written in AWK.
Awk
13
star
15

evm-assembler

No-dependencies assembler for the EVM with examples (Ξ»-calculus, linked lists, etc.)
Python
13
star
16

haoc-2020

Haskell Advent of Code 2020
Haskell
8
star
17

monadic-parsing

Monadic parsing in Scheme.
Scheme
8
star
18

coq-wigderson

Formalization of Wigderson's graph coloring algorithm in Coq
Coq
8
star
19

tree-sitter-promela

Promela grammar for tree-sitter
C
7
star
20

hasktran

A compiler for FRACTRAN written in Haskell.
Haskell
7
star
21

haoc-2021

Haskell Advent of Code 2021
Haskell
7
star
22

ts-lint-example

Minimal linting example with tree-sitter
JavaScript
6
star
23

nix-workshop

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

mes-overlay

Nix overlay for MES-related packages
Nix
6
star
25

wordle

Wordle solver
Haskell
5
star
26

emotivoice-cli

CLI wrapper around Emotivoice TTS Synthesis
JavaScript
5
star
27

sicp-to-z80

A SICP register machine to TI-84 Z80 compiler.
Scheme
4
star
28

lisp-to-js

Compiling Lisp to JavaScript
Haskell
4
star
29

bf

Fast, simple brainfuck interpreter in C
C
4
star
30

tree-sitter-imp

Imp grammar for tree-sitter
C
4
star
31

scheme-to-c

A toy Scheme to C compiler
Scheme
3
star
32

brownies

This a game I hacked together with Biwascheme.
HTML
3
star
33

tree-sitter-formula

Formula grammar for tree-sitter
C
3
star
34

nix-challenges

Increasingly difficult building challenges in Nix with solutions
Nix
3
star
35

vpl

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

website

My website
Nix
2
star
37

siraben-overlay

@siraben's eclectic collection of software
Nix
2
star
38

remarkable-hello

Example of compiling Rust to a static ARM executable. Target here is the reMarkable tablet.
Nix
2
star
39

senior-thesis

LaTeX sources for my undergraduate thesis
TeX
2
star
40

llama-bot

Discord bot for interacting with the LLaMA language model
Python
2
star
41

knightos-nix

Compiling KnightOS end-to-end using Nix
Nix
1
star
42

coq-rings

Ring Theory in Coq from Scratch
Coq
1
star
43

proplogic

Exploration of theorems in propositional logic in Coq
Coq
1
star
44

functional-images

Replicating the Functional Images paper by Conal Elliott using Haskell, C and SDL2.
Haskell
1
star
45

linear-lc

A typechecker for linear lambda calculus.
Haskell
1
star
46

vu-catalog

Fetch and parse Vanderbilt course information
Python
1
star
47

ti84-forthos

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