Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by mgree
A curated list of projects in awesome lists by mgree .
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: 30 Oct 2024
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: 30 Oct 2024
https://github.com/mgree/trampoline
Safely running potentially non-terminating functions in Elm.
Last synced: 30 Oct 2024
https://github.com/mgree/phpenkoder
Mirror of https://plugins.trac.wordpress.org/browser/php-enkoder/. Wordpress plugin for obfuscating email addresses.
Last synced: 30 Oct 2024
https://github.com/mgree/dts
Fritz Henglein and Jakob Rehof's '90s investigations into dynamic typing
Last synced: 30 Oct 2024
https://github.com/mgree/much
Multi-user Conference Hall, a text-based virtual environment for conferences
Last synced: 30 Oct 2024
https://github.com/mgree/sleepwave
Timer with a grace period, for the "sleep wave" sleep training technique.
Last synced: 30 Oct 2024
https://github.com/mgree/katbury
KAT rewriting using egg's e-graphs: KATbury Kreme egg
Last synced: 30 Oct 2024
https://github.com/mgree/mgt
Implementation of "Migrating Gradual Types" by Campora et al.
Last synced: 30 Oct 2024
https://github.com/mgree/crossbars
Tools for word puzzles (like acrostics and crosswords)
Last synced: 30 Oct 2024
https://github.com/mgree/smoosh-completion
Thinking about shell completion in a rigorous and thoroughgoing way.
completion dwim lexing parsing shell tokens
Last synced: 30 Oct 2024
https://github.com/mgree/st
Implementing Lindahl and Sagonas's "Practical Type Inference Based on Success Typings"
Last synced: 30 Oct 2024
https://github.com/mgree/ohso
A port of the Hughes/Peyton Jones pretty printing library.
Last synced: 30 Oct 2024
https://github.com/mgree/smoosh-itree
POSIX shell semantics in Coq, via interaction trees.
Last synced: 30 Oct 2024