Eric Mertens (@glguy)
  • Stars
    star
    703
  • Global Rank 41,442 (Top 2 %)
  • Followers 263
  • Registered about 16 years ago
  • Most used languages
    Haskell
    85.3 %
    Java
    2.9 %
    C
    2.9 %
    Agda
    2.9 %
    Lua
    1.5 %
    HTML
    1.5 %
    JavaScript
    1.5 %
    C++
    1.5 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 11,773
  • Country Ranking
    Agda
    27
    Haskell
    41
    Lua
    4,261

Top repositories

1

irc-core

Haskell IRC library and console client - Join us on libera.chat #glirc
Haskell
153
star
2

utf8-string

Support for reading and writing UTF8 Strings in Haskell
Haskell
45
star
3

advent2019

Advent of Code 2019 solutions
Haskell
43
star
4

advent2018

Advent of Code 2018 Solutions
Haskell
37
star
5

advent

Advent of Code complete solution archive and common library
Haskell
35
star
6

advent2017

Advent of Code 2017 solutions
Haskell
27
star
7

toml-parser

Haskell parser and printer for the TOML 1.0.0 file format
Haskell
23
star
8

generic-traverse

Demonstration for how to build "traverse" using GHC.Generics efficiently
Haskell
22
star
9

TwosGame

Haskell
21
star
10

th-abstraction

Uniform interface to reified data type information via Template Haskell
Haskell
20
star
11

config-value

Simple, layout-based, unambiguous configuration language implemented in Haskell
Haskell
17
star
12

advent2020

Advent of Code 2020 Haskell Solutions
Haskell
16
star
13

Ninjas

Haskell game where multiple players attempt to blend in with computer controlled characters while being first to visit the key locations on the board.
Haskell
15
star
14

advent2021

Haskell solutions for https://adventofcode.com/2021/
Haskell
14
star
15

hpaste

A pastebin written in Haskell
Haskell
14
star
16

ssh-hans

Haskell
12
star
17

advent2016

Haskell
11
star
18

advent2015

Haskell
11
star
19

tries

Haskell
11
star
20

intcode

Intocode interpreter for Advent of Code 2019
Haskell
9
star
21

GhcPkgUtils

Utilities for keeping up to date with hackage
Haskell
9
star
22

minecraft-proxy

Minecraft protocol proxy
Haskell
9
star
23

5puzzle

Puzzle solutions by encoding to SAT with Ersatz
Haskell
7
star
24

config-schema

Self-documenting, combinator constructed configuration schemas
Haskell
7
star
25

operations

Exploration of an object encoding for Haskell
Haskell
6
star
26

breadth-first-parser-combinators

Haskell
6
star
27

prettyprinter-vty

Prettyprinter backend for VTY
Haskell
5
star
28

sat-for-games

SAT tutorial exercise code
Haskell
5
star
29

LensTalk

Introductory lens presentation
Haskell
5
star
30

TripleGame

Haskell
4
star
31

config-app

Interactive configuration in GHCJS
HTML
4
star
32

ord

An exploration of a variant of ordinals in Agda
Agda
4
star
33

punionfind

Persistent Disjoint set operation supporting the union/find operations in Haskell
Haskell
4
star
34

type-open-syntax-demo

Demonstration of building models of expression languages with highly-typed, open recursion patterns
Haskell
4
star
35

example-embedded-haskell

Haskell
3
star
36

hm

Implementation of Hindley-Milner type checking as an exercise in using the unification-fd package
Haskell
3
star
37

my-agda-lib

Agda
3
star
38

algorithmic-heights

Haskell
3
star
39

AddParens

Teaching tool for Haskell that adds parentheses and explicit layout to an expression
Haskell
3
star
40

kami-solver

Haskell
2
star
41

CookieCalculator

C
2
star
42

lift-nary-operator

Use GHC.Generics to lift operators to work pointwise over product types
Haskell
2
star
43

RefreshLog

Haskell
2
star
44

wordle

Haskell
2
star
45

s5s

SOCKS 5 proxy server
Haskell
2
star
46

PdxTrackRouter

Bukkit plugin to support automatic junctions based on player's destination preference
Java
2
star
47

how-to-call-c

Haskell
2
star
48

set-game

Haskell, vty-based clone of the popular card game
Haskell
2
star
49

tt-ratings

Implementation of David J. Marcus' "New table tennis rating system"
JavaScript
2
star
50

linux-capabilities

Haskell-binding to the linux capabilities (libcap) library
Haskell
1
star
51

synacor-vm

C
1
star
52

quarto

Console-based implementation of Quarto board game
Haskell
1
star
53

networked-game

Haskell
1
star
54

PdxExplorers

A bukkit plug-in which allows users to configure multi-waypoint routes, track completion, and issue rewards
Java
1
star
55

snowcone

IRCd server notice console
C++
1
star
56

sysyb

Use GHC.Generics without using it!
Haskell
1
star
57

circular-slide-rule

Haskell
1
star
58

smartlua

Lua
1
star
59

Bombs

Haskell
1
star
60

irc0

Haskell
1
star
61

animated-dangerzone

Haskell
1
star
62

Yinsh

Clone of the Yinsh board game
Haskell
1
star
63

vty-hangman-helper

Console-based application to assist in solving Hanging With Friends puzzles
Haskell
1
star
64

newttrs

Implementation of the New Table Tennis Rating System
Haskell
1
star
65

sticks

Exploration solving a little wooden puzzle
Haskell
1
star
66

simple-spreadsheet-tools

Simple text-based spreadsheet tools
Haskell
1
star
67

vty-samegame

Console-based Haskell implementation of Same Game
Haskell
1
star
68

lens-th

Haskell
1
star