akeep

scheme-to-c

A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)

nanopass-framework

The new nanopass framework; an embedded DSL for writing compilers in Scheme

scheme-to-llvm

A compiler to compile a simple subset of scheme to LLVM 10

nanopass-framework-racket

Racket port of the nanopass-framework

abstract-racket

An abstract machine for analyzing Racket bytecode.

rough-draft

A simple unit testing framework for Scheme that is slightly more featureful then my previous attempts to handroll a testing framework.

minikanren-scala

A Scala port of MiniKanren

chez-srfi

SRFIs for Chez Scheme

mad-hatter

A relational meta-interpreter for building relational abstract interpreters from relational concrete interpreters.

p4-spec

ChezScheme

Chez Scheme

grpc

The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)

relational-cesk

Relational implementation of the CESK machine

vim-patches

Patches to tame lisp mode and return the cursor to the original yank position.

vimrc

My vimrc and related vim configuration

dotfiles

My configuration files.

harlan

A language for GPU computing.

Neovim-from-scratch

A Neovim config designed from scratch to be understandable

p4-proposals

Collaboration space for working on in-progress proposals with a smaller team.

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

stex

stex: stex to latex and latex to html converters and associated tools

swig

SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.

TS65AVR

The Split 65% Keyboard - AVR Based

vicare

A native compiler for Scheme compliant with R6RS