mgree Goto Github PK

515a-project1

demo of 515-a git stuff lolol

agatha-christie_the-murder-of-roger-ackroyd

Epub source for the Standard Ebooks edition of The Murder of Roger Ackroyd, by Agatha Christie

anthony-trollope_the-way-we-live-now

Epub source for the Standard Ebooks edition of The Way We Live Now, by Anthony Trollope

boolopt

Optimization of boolean expressions in Python, via Quine-McCluskey

carving-factory

chronos

Android stopwatch application. Defunct---stopped caring when my phone died and I went back to a dumb phone.

cmmcoq

Coq proofs from Contracts Made Manifest [Greenberg, Pierce, Weirich POPL 2010]

conflict

Scheduling program committee meetings with conflicts of interest

crossbars

Tools for word puzzles (like acrostics and crosswords)

cypress

Cypress @ Stevens website

datadriven

decthehalls

Demo python package, with decorators.

dts

Fritz Henglein and Jakob Rehof's '90s investigations into dynamic typing

egglog

egraphs + datalog!

eggtooth

Tactics for beginners in Coq.

extunix

Thin OCaml bindings to various low-level system APIs not covered by Unix module

ffs

the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem

formulog

Datalog with support for SMT queries

formulog-pointer-analysis

fuser

Filesystem in Userspace (FUSE) for Rust

grift

A compiler for the gradually typed lambda calculus

idioms

Finding idioms in straight-line programs.

johnsons-algorithm

jq

Command-line JSON processor

js2ts

jsacrostic

Play acrostics in your web browser.

katbury

KAT rewriting using egg's e-graphs: KATbury Kreme egg

klr

Kleene Loves Reasoning. A concrete KAT with interesting variable types.

kmt

Kleene algebra modulo theories

lalrpop

LR(1) parser generator for Rust