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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

k interpreter

C 47 6 Updated Jun 17, 2026

An X Window Manager built on web technologies.

TypeScript 82 4 Updated Mar 29, 2026

Common Lisp implementation of the Forth 2012 Standard

Common Lisp 134 7 Updated May 26, 2026

Yet Another Chip 8 Emulator

Smalltalk 8 1 Updated Mar 27, 2026

Declarative User Interfaces for Python

Python 1,578 132 Updated Jun 15, 2026

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

Java 54 3 Updated Jun 11, 2026

Statically typed embedding of miniKanren relational programming language into OCaml

OCaml 124 18 Updated Jan 29, 2026

BtSR1 and BJX2 ISA / CPU Architecture

C 28 1 Updated Jun 15, 2026
Assembly 919 73 Updated Mar 8, 2026

Software Transactional Memory for OCaml

OCaml 142 13 Updated Jun 14, 2025

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

TOML 2 Updated Apr 3, 2026

RISC-V instruction set simulator built for education

Kotlin 231 68 Updated Apr 2, 2022

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

Rust 404 6 Updated Jun 11, 2026

Persistence of concurrent activities for Gerbil Scheme

Scheme 60 5 Updated Jun 3, 2026

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 94 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 148 8 Updated Jun 16, 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 81 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

LLVM 18 2 Updated Apr 12, 2026

Maru - a tiny self-hosting lisp dialect

Common Lisp 219 11 Updated Jun 17, 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 23 3 Updated Aug 26, 2022

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

Verilog 26 6 Updated Feb 12, 2023

Bootstrapping LISP in a Boot Sector

C 1,500 74 Updated Jun 14, 2026
Next