Discover @mgree Open Source projects

Michael Greenberg (@mgree)

mgree

Stars
629
Global Rank 47,254 (Top 2 %)
Followers 101
Following 7
Registered almost 14 years ago
Most used languages

Rust
23.5 %

JavaScript
11.8 %

Elm
11.8 %

OCaml
11.8 %

HTML
11.8 %

Haskell
5.9 %

PHP
5.9 %

Shell
5.9 %

Standard ML 5.9 %

Python
5.9 %
Location 🇺🇸 United States
Country Total Rank 17,114
Country Ranking

OCaml
51

Standard ML 77

Elm
330

Rust
421

Haskell
2,381

ffs

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

smoosh

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

kmt

Kleene algebra modulo theories

trampoline

Safely running potentially non-terminating functions in Elm.

tmpl

Topic Modeling in Programming Languages

phpenkoder

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

dts

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

sleepwave

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

cypress

Cypress @ Stevens website

much

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

mgt

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

z3canary

literary_ebooks

A bot that tweets quotes from books

crossbars

Tools for word puzzles (like acrostics and crosswords)

idioms

Finding idioms in straight-line programs.

conflict

Scheduling program committee meetings with conflicts of interest

katbury

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