akeep Goto Github PK

abstract-racket

An abstract machine for analyzing Racket bytecode.

chez-srfi

SRFIs for Chez Scheme

chezscheme

Chez Scheme

dotfiles

My configuration files.

grpc

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

harlan

A language for GPU computing.

mad-hatter

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

minikanren-scala

A Scala port of MiniKanren

nanopass-framework

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

nanopass-framework-racket

Racket port of the nanopass-framework

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.

p4-spec

qmk_firmware

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

relational-cesk

Relational implementation of the CESK machine

rough-draft

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

scheme-to-c

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

scheme-to-llvm

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

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

vim-patches

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

vimrc

My vimrc and related vim configuration