Skip to content
View kgraaf's full-sized avatar
  • @iridl, Columbia University
  • New York, NY

Block or report kgraaf

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
Showing results

An X Window Manager built on web technologies.

TypeScript 82 4 Updated Oct 13, 2025

Common Lisp implementation of the Forth 2012 Standard

Common Lisp 134 8 Updated Dec 16, 2025

Yet Another Chip 8 Emulator

Smalltalk 8 1 Updated Sep 28, 2025

Declarative User Interfaces for Python

Python 1,572 131 Updated Dec 15, 2025

SVG implementation in the Java™ Language, fork of Apache Batik, supporting modern CSS: level 4 selectors, colors, calc, nesting, etc.

Java 49 3 Updated Feb 17, 2026

Statically typed embedding of miniKanren relational programming language into OCaml

OCaml 121 18 Updated Jan 29, 2026

BtSR1 and BJX2 ISA / CPU Architecture

C 28 1 Updated Feb 17, 2026
Assembly 849 67 Updated Jun 25, 2025

Software Transactional Memory for OCaml

OCaml 136 13 Updated Jun 14, 2025

input method that uses mnemonics to input as much of Unicode as possible

TOML 2 Updated Sep 13, 2025

RISC-V instruction set simulator built for education

Kotlin 222 67 Updated Apr 2, 2022

A Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia, and Unix

Rust 391 6 Updated Jan 25, 2026

Persistence of concurrent activities for Gerbil Scheme

Scheme 56 6 Updated Oct 19, 2025

Thor processing core

C++ 4 Updated Nov 17, 2023

Simple varint encoding library for integers using a bijective base. Similar to LEB128 but better.

TypeScript 5 Updated Oct 20, 2023

A compiler from WebAssembly to native code, via the OCaml backend.

OCaml 92 1 Updated Aug 27, 2018

Stalin∇, a brutally optimizing compiler for the VLAD language

Scheme 77 5 Updated Feb 22, 2018

A high-performance, parallel, compilation-based symbolic execution engine

Java 144 6 Updated Jan 26, 2026

The Mate Reflective VM implemented in top of the TruffleSOM VM.

Java 6 2 Updated Mar 23, 2020

Year project - Pascal interpreter written in Java using Truffle API

Java 10 4 Updated Feb 5, 2021

A collection of development tools targetting SEGA's SVP chip found in the Mega Drive/Genesis version of Virtua Racing.

Rust 88 6 Updated Mar 20, 2022

Web-based emulator and operating environment for the Burroughs B5500 computer system.

JavaScript 82 7 Updated Jun 19, 2025

a self-hosting lambda calculus compiler

Haskell 37 3 Updated Mar 31, 2025

Tiny Object Run Time

C 24 2 Updated May 24, 2015

A compiler to IA32 and REPL for maru in maru under 7k s-expressions

Assembly 18 2 Updated Apr 17, 2020

Maru - a tiny self-hosting lisp dialect

Common Lisp 215 11 Updated Feb 18, 2026

Boron is a scripting language similar to Rebol. The interpreter is a C library which may be copied under the terms of the LGPLv3. (Mirror of: git://git.code.sf.net/p/urlan/boron/code.)

C 22 3 Updated Aug 26, 2022

Morphle Logic V1.0, an open hardware asynchronous runtime reconfigurable array ARRA or PPL,FPGA,CPLD

Verilog 23 6 Updated Feb 12, 2023

Bootstrapping LISP in a Boot Sector

C 1,469 70 Updated Nov 27, 2024

Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.

Forth 365 15 Updated Aug 18, 2022
Next