Pinned Repositories
ccon
Concurrent Contracts
laurens
An STG Machine implementation in RPython
mipsemu
A Java emulator written for a class a long time ago.
parenthepress
An octopress-style blog framework written in Chez Scheme.
racket-rrb
Racket RRB Tree Implementation
rkanren
The rKanren implementation repo.
rsc
Rust-based Scheme Compiler, written in the Nanopass style
sgc
Scheme-to-x86-64 Compiler with Garbage Collection
texsem
A template set for writing semantics in LaTeX
vimrc
My own custom vim configuration.
cgswords's Repositories
cgswords/rsc
Rust-based Scheme Compiler, written in the Nanopass style
cgswords/texsem
A template set for writing semantics in LaTeX
cgswords/laurens
An STG Machine implementation in RPython
cgswords/ccon
Concurrent Contracts
cgswords/sgc
Scheme-to-x86-64 Compiler with Garbage Collection
cgswords/vimrc
My own custom vim configuration.
cgswords/parenthepress
An octopress-style blog framework written in Chez Scheme.
cgswords/dyb
Implementations of Kent Dybvig's works
cgswords/slush
lazy stack machine based on Push
cgswords/cgswords
README repo
cgswords/cgswords.github.io
Website
cgswords/cmatch
A derivative of pmatch with added features and niceties.
cgswords/Essentials-of-Compilation
A book about compiling Racket to x86-64 assembly
cgswords/jekyll-now
Build a Jekyll blog in minutes, without touching the command line.
cgswords/kalkin
Elegant complexity
cgswords/kenbak
A little compiler targeting the kenbak
cgswords/libqquote
Quasiquoter - rough draft
cgswords/mcon
Multi-strategy contract library for Clojure
cgswords/netrunner
cgswords/nopop
Lazy stack machine
cgswords/papers
A paper-tracking program in Rust.
cgswords/rust
A safe, concurrent, practical language.
cgswords/rust-snippets
Working through the Rust book
cgswords/rustup.rs
The Rust toolchain installer
cgswords/schema
Clojure(Script) library for declarative data description and validation
cgswords/Software-Foundations
Working through Software Foundations to learn Coq
cgswords/traitor
Automatic Linux privesc via exploitation of low-hanging fruit e.g. gtfobins :arrow_up: :skull_and_crossbones:
cgswords/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.
cgswords/vim-colors
Vim colorschemes
cgswords/vimflowy
An open source productivity tool drawing inspiration from workflowy and vim