chameco

Solid. A minimalist interpreted language, with a clean object model and a tiny VM.

Hitman. Clojure Markdown parser

bramble. dependently-typed lisp with flexible compiler backends

Starlow. A simple little chiptune synthesizer.

reliquary. Concatenative dependently-typed functional programming language

zero. Chicken Scheme CHIP-8 emulator with no mutable state

luigi. Line-oriented user interface library for Emacs

sv. Software Verification - Spring 2018

divine. 3D voxel engine using geometry shaders

chann.el. Magic: The Gathering in org-mode

crypto_netsec_hw1. This is my repository for the first CSCI-4230 homework taught by Professor Yener at RPI.

aig. Provides an interface for AIGs and word-level operations on them