mgree Goto Github PK

materialize

Materialize is a fast, distributed SQL database built on streaming internals.

mgree.github.io

mgt

Implementation of "Migrating Gradual Types" by Campora et al.

modelview

modernish

Library for writing robust, portable, readable, and powerful programs for POSIX-based shells and utilities.

much

Multi-user Conference Hall, a text-based virtual environment for conferences

navdifc

Coq proofs from "All your IFCException Are Belong To Us"

ohso

A port of the Hughes/Peyton Jones pretty printing library.

oil

Oil shell

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

phpenkoder

Mirror of https://plugins.trac.wordpress.org/browser/php-enkoder/. Wordpress plugin for obfuscating email addresses.

redex

Using QuickCheck for semantics---a lower-middle-class man's PLT Redex

rtiow

Working through "Ray Tracing in One Weekend" (https://raytracing.github.io/books/RayTracingInOneWeekend.html) in Rust.

sf-grader

Auto grader for Software Foundations

sgbcourses

sleepwave

Timer with a grace period, for the "sleep wave" sleep training technique.

smoosh

The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.

smoosh-completion

Thinking about shell completion in a rigorous and thoroughgoing way.

smoosh-fuzz

smoosh-itree

POSIX shell semantics in Coq, via interaction trees.

spoofax-gt

Models of gradual typing in Spoofax

st

Implementing Lindahl and Sagonas's "Practical Type Inference Based on Success Typings"

stretchintime

summarizing-perf

How should we summarize performance results?

tastetest

tmpl

Topic Modeling in Programming Languages

trampoline

Safely running potentially non-terminating functions in Elm.

wordpress-to-markdown

Wordpress Export XML converter that outputs Markdown posts

workqueue

An OCaml workqueue.

z3.wasm

WASM builds of the Z3 SMT solver