cgswords

rsc

Rust-based Scheme Compiler, written in the Nanopass style

texsem

A template set for writing semantics in LaTeX

laurens

An STG Machine implementation in RPython

ccon

Concurrent Contracts

sgc

Scheme-to-x86-64 Compiler with Garbage Collection

vimrc

My own custom vim configuration.

parenthepress

An octopress-style blog framework written in Chez Scheme.

dyb

Implementations of Kent Dybvig's works

slush

lazy stack machine based on Push

cgswords

README repo

cgswords.github.io

Website

cmatch

A derivative of pmatch with added features and niceties.

Essentials-of-Compilation

A book about compiling Racket to x86-64 assembly

jekyll-now

Build a Jekyll blog in minutes, without touching the command line.

kalkin

Elegant complexity

kenbak

A little compiler targeting the kenbak

libqquote

Quasiquoter - rough draft

mcon

Multi-strategy contract library for Clojure

netrunner

nopop

Lazy stack machine

papers

A paper-tracking program in Rust.

rust

A safe, concurrent, practical language.

rust-snippets

Working through the Rust book

rustup.rs

The Rust toolchain installer

schema

Clojure(Script) library for declarative data description and validation

Software-Foundations

Working through Software Foundations to learn Coq

traitor

Automatic Linux privesc via exploitation of low-hanging fruit e.g. gtfobins :arrow_up: :skull_and_crossbones:

vim-autoclose

This plugin for Vim enable an auto-close chars feature for you. For instance if you type an '(', ``autoclose`` will automatically insert a ')' and put the cursor between than.

vim-colors

Vim colorschemes

vimflowy

An open source productivity tool drawing inspiration from workflowy and vim