Mark Gritter (@mgritter)
github

mgritter

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    52
  • Global Rank 331,951 (Top 12 %)
  • Followers 47
  • Following 18
  • Registered over 10 years ago
  • Most used languages
    Python
         40.0 %
    Haskell
         10.0 %
    Go
         10.0 %
    Swift
         10.0 %
    JavaScript
         10.0 %
    F*     10.0 %
    C
         10.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 66,909
  • Country Ranking
    F*     8
    Haskell
         1,200
    Swift
         9,732

Top repositories

1

emojiconomy

Procjam 2019 project that builds tiny economies
Python
28
star
2

soffit

A simple-to-use graph grammar engine
Python
9
star
3

aoc-lh

Advent of Code 2022 in Liquid Haskell
Haskell
5
star
4

tracery2eth

A very silly tracery to Solidity compiler
Python
2
star
5

aoc-fstar

Advent of Code solutions in F*
F*
2
star
6

aoc-soffit

Advent of Code solutions in Soffit
Python
2
star
7

advent-of-cuda

Parallel solutions (using CUDA) to Advent of Code problems
C
1
star
8

fuzzing-talk

Fuzzing examples
Go
1
star
9

aoc2016

Advent of Code 2016 solutions (in Swift!)
Swift
1
star
10

artbot

A sample artbot for a Minnebar session
JavaScript
1
star