siraben Goto Github PK

followers: 258.0 following: 126.0 repos: 143.0 gists: 53.0

Name: Ben Siraphob

Type: User

Company: Yale University

Bio: CS PhD student @ Yale

Blog: siraben.dev

👋 Hi! I'm Ben.

📚 I'm a PhD student in CS at Yale.
🎓 I graduated from Vanderbilt in 2023 with a bachelors in CS and honors math.
🥰 I'm currently obsessed with tree-sitter, eBPF, build systems, and foundation models.
🌱 I'm currently learning about machine learning, distributed systems and cybersecurity.
🙌 I'm looking to collaborate on formal verification efforts and developer tooling for new and existing languages.
🤔 I'm looking for help with organizing and developing mathematical theories in Coq.
💬 Ask me about blockchain (Ethereum, Bitcoin), mathematics, type systems and compilers for functional and imperative languages.
📫 How to reach me: Send me an email, or reach me on Matrix (siraben)!

Languages

Assembly, C, C++, Coq, Dart, Haskell, Kotlin, Mathematica, Python, Rust, Scheme, Solidity, Typescript

Tools & Technologies

Ethereum, Emacs, Nix, iOS, Linux, macOS, PyTorch

Mathematics

type theory, category theory, logic, abstract algebra, topology, measure theory

Ben Siraphob's Projects

1mb-club

An exclusive members-only club for web pages weighing less than 1 megabyte

advent2020

arcade

archivebox

🗃 Open source self-hosted web archiving. Takes URLs/browser history/bookmarks/Pocket/Pinboard/etc., saves HTML, JS, PDFs, media, and more...

archivy

Archivy is a self-hosted knowledge repository that allows you to safely preserve useful content that contributes to your knowledge bank.

asdf

awesome-advent-of-code

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

awesome-remarkable

A curated list of projects related to the reMarkable tablet

awk-vm

A virtual machine and assembler written in AWK.

bf

Fast brainfuck interpreter in C

bootstrap-scheme

A quick and very dirty Scheme interpereter.

borg-backup-exclusions-macos

Exclusion rules for Borg Backup catered to macOS

brownies

This a game I hacked together with Biwascheme.

c-dsl

a dsl for generating C

cakelisp

A performance-oriented Lisp-like language where I can have my cake, and eat it too

caramia-experiments

chinese-sentence-miner

Find Chinese sentences based on your known vocabulary and other rules

cit

Control your c++ code using this ci template and development environment powered by nix and docker.

code-golf-2019-fall

VandyApps Fall 2019 Code Golf Competition

compiler

Bootstrapping GCC from combinatory logic.

coq-imp

Coq version of (part of) the HOL-IMP theories accompanying the book "Concrete Semantics with Isabelle/HOL". Formalized using a now outdated version of CoqHammer.