https://github.com/mgree/ffs

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

bash console filesystem fish json shell toml yaml zsh

Last synced: 18 May 2026

https://github.com/mgree/smoosh

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

formalization posix posix-sh posix-shell semantics sh shell shell-scripting symbolic-execution

Last synced: 22 Aug 2025

https://github.com/mgree/kmt

Kleene algebra modulo theories

Last synced: 26 Mar 2025

https://github.com/mgree/trampoline

Safely running potentially non-terminating functions in Elm.

Last synced: 26 Mar 2025

https://github.com/mgree/phpenkoder

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

Last synced: 26 Mar 2025

https://github.com/mgree/dts

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

Last synced: 29 Jan 2026

https://github.com/mgree/katbury

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

Last synced: 04 Apr 2025

https://github.com/mgree/sleepwave

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

Last synced: 05 Jul 2025

https://github.com/mgree/much

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

Last synced: 04 Apr 2025

https://github.com/mgree/cypress

Cypress @ Stevens website

Last synced: 18 Jan 2026

https://github.com/mgree/mute

silence a command after the fact

Last synced: 22 Apr 2026

https://github.com/mgree/crossbars

Tools for word puzzles (like acrostics and crosswords)

Last synced: 28 Jun 2026

https://github.com/mgree/mgt

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

Last synced: 04 Apr 2025

https://github.com/mgree/z3canary

Last synced: 04 Apr 2025

https://github.com/mgree/flexeval

experiments in evaluation

Last synced: 04 Apr 2025

https://github.com/mgree/smoosh-completion

Thinking about shell completion in a rigorous and thoroughgoing way.

completion dwim lexing parsing shell tokens

Last synced: 17 Jul 2026

https://github.com/mgree/tastetest

Last synced: 18 Jul 2026

https://github.com/mgree/formulog-pointer-analysis

Last synced: 16 Jul 2026

https://github.com/mgree/mgree.github.io

Last synced: 02 Apr 2026

https://github.com/mgree/decthehalls

Demo python package, with decorators.

Last synced: 08 Jun 2026

https://github.com/mgree/stretchintime

Last synced: 28 Jul 2026

https://github.com/mgree/515a-project1

demo of 515-a git stuff lolol

Last synced: 04 Apr 2025

https://github.com/mgree/st

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

Last synced: 04 Apr 2025

https://github.com/mgree/smoosh-fuzz

Last synced: 04 Apr 2025

https://github.com/mgree/syscallyp

Linux syscall yellow pages (syscall numbers across architectures and versions)

Last synced: 31 Dec 2025

https://github.com/mgree/smoosh-itree

POSIX shell semantics in Coq, via interaction trees.

Last synced: 04 Apr 2025

https://github.com/mgree/sgbcourses

Last synced: 04 Apr 2025

https://github.com/mgree/eyebright

manage backlight brightness on Intel displays

Last synced: 05 Oct 2025

https://github.com/mgree/ohso

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

Last synced: 01 Jul 2025

https://github.com/mgree/js2ts

Last synced: 04 Apr 2025