Discover @mgree Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Crystal

HTML

Objective-C

Perl

MATLAB

Lua

Groovy

C#

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

PHP

Nix

Crystal

C#

C++

Elm

PowerShell

Erlang

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇬🇶 Equatorial Guinea

🇰🇿 Kazakhstan

🇵🇦 Panama

🇨🇱 Chile

🇭🇳 Honduras

🇧🇪 Belgium

🇹🇰 Tokelau

🇹🇳 Tunisia

All Countries Compare Countries

Michael Greenberg (@mgree)

mgree

Stars
617
Global Rank 46,555 (Top 2 %)
Followers 100
Following 7
Registered over 13 years ago
Most used languages

Rust
23.5 %

OCaml
11.8 %

Elm
11.8 %

HTML
11.8 %

JavaScript
11.8 %

Standard ML 5.9 %

Haskell
5.9 %

Shell
5.9 %

Python
5.9 %

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

OCaml
50

Standard ML 87

Elm
340

Rust
397

Haskell
2,261

PHP
9,940

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