dijkstracula Goto Github PK

linux

Adding support for the Rust language to the Linux kernel.

liquidhaskell-tutorial

Tutorial for LiquidHaskell

loopgrind

Event loop detector and analyzer

macewan-cache

Material for Macewan CMPT 360 cache lectures

neveragaindottech.github.io

Source files for the neveragain.tech site

night-slack

multiplayer chat port of a bad interactive movie

ntower

Skyscraper management simulator

nvim

long live the new editor hotness

pacldb

Pan-Dene Comparative Lexicon

plc-tester

plcstub

porter

Always True to You in My Fashion

pprojexample

pr-thumbsup

command-line PR signoff

prt

Java P runtime sandbox

prtsandbox

Nathan's playground for experimenting with prt

qconnyc2016

Materials for my QCon NYC 2016 talk: "Beyond Breakpoints: A Tour Of Dynamic Analysis"

quickchick

Randomized Property-Based Testing Plugin for Coq

recipes

things 2 eat

resume

rosie

is a very good dog

sedikle

baby's first SAT solver

smrt

i am so smart

software-foundations-solutions

Working on some solutions to http://www.cis.upenn.edu/~bcpierce/sf/

solvent

baby's first liquid type system

surge2015

Materials for my Surge 2015 talk: "Racing To Win: Using Race Conditions to Build Correct and Concurrent Software"

terracotta

tethys-dashboard

Admin dashboard for the Tethys project.

theorem_proving_in_lean4

Theorem Proving in Lean 4

thoughtstradamus

Start thought leading now in 2017