Pinned Repositories
libdash
The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for Python and OCaml, and tools for generating JSON representations of shell scripts.
pash
PaSh: Light-touch Data-Parallel Shell Processing
try
Inspect a command's effects before modifying your live system
formulog
Datalog with support for SMT queries and first-order functional programming
ffs
the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
katbury
KAT rewriting using egg's e-graphs: KATbury Kreme egg
kmt
Kleene algebra modulo theories
smoosh
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
tmpl
Topic Modeling in Programming Languages
trampoline
Safely running potentially non-terminating functions in Elm.
mgree's Repositories
mgree/ffs
the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
mgree/phpenkoder
Mirror of https://plugins.trac.wordpress.org/browser/php-enkoder/. Wordpress plugin for obfuscating email addresses.
mgree/cypress
Cypress @ Stevens website
mgree/idioms
Finding idioms in straight-line programs.
mgree/SGBCourses
mgree/515a-project1
demo of 515-a git stuff lolol
mgree/agatha-christie_the-seven-dials-mystery
Epub source for the Standard Ebooks edition of The Seven Dials Mystery, by Agatha Christie
mgree/anthony-trollope_the-way-we-live-now
Epub source for the Standard Ebooks edition of The Way We Live Now, by Anthony Trollope
mgree/cmmcoq
Coq proofs from Contracts Made Manifest [Greenberg, Pierce, Weirich POPL 2010]
mgree/decthehalls
Demo python package, with decorators.
mgree/dorothy-l-sayers_unnatural-death
Epub source for the Standard Ebooks edition of Unnatural Death, by Dorothy L. Sayers
mgree/egglog
egraphs + datalog!
mgree/eggtooth
Tactics for beginners in Coq.
mgree/eyebright
manage backlight brightness on Intel displays
mgree/flexeval
experiments in evaluation
mgree/freshmart-evolution
mgree/johnsons-algorithm
mgree/jq
Command-line JSON processor
mgree/klr
Kleene Loves Reasoning. A concrete KAT with interesting variable types.
mgree/ldbc_snb_bi
Reference implementations for the LDBC Social Network Benchmark's Business Intelligence (BI) workload
mgree/ldbc_snb_datagen_spark
Synthetic graph generator for the LDBC Social Network Benchmark, running on Spark
mgree/materialize
Materialize is a fast, distributed SQL database built on streaming internals.
mgree/mgree
mgree/mgree.github.io
mgree/navdifc
Coq proofs from "All your IFCException Are Belong To Us"
mgree/rtiow
Working through "Ray Tracing in One Weekend" (https://raytracing.github.io/books/RayTracingInOneWeekend.html) in Rust.
mgree/spoofax-gt
Models of gradual typing in Spoofax
mgree/wordpress-to-markdown
Wordpress Export XML converter that outputs Markdown posts
mgree/workqueue
An OCaml workqueue.
mgree/xml-rs
An XML library in Rust