Aaron Allen (@aaronallen8455)
github

aaronallen8455

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    192
  • Global Rank 127,209 (Top 5 %)
  • Followers 30
  • Following 47
  • Registered almost 9 years ago
  • Most used languages
    Haskell
         80.6 %
    PHP
         9.7 %
    Lean     3.2 %
    Idris     3.2 %
    Rust
         3.2 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 32,183
  • Country Ranking
    Idris     69
    Lean     74
    Haskell
         148
    Rust
         9,295

Top repositories

1

breakpoint

Set breakpoints using a GHC plugin
Haskell
46
star
2

Typson

Type safe JSON PostgreSQL queries using bidirectional serializers
Haskell
21
star
3

graph-trace

Trace the call graph of a Haskell program
Haskell
17
star
4

hi-fi

Higher kinded records plugin
Haskell
13
star
5

inventory

Haskell project statistics and definition analysis
Haskell
13
star
6

opentelemetry-auto

Open telemetry auto instrumentation using GHC plugin
Haskell
9
star
7

donuts

A GHC plugin for loops and mutability
Haskell
9
star
8

jq-bindings

Haskell bindings to libjq using linear types.
Haskell
7
star
9

decoy

Highly configurable mock server
Haskell
6
star
10

hydraulics

Lift any pure function over any applicative stack.
Haskell
5
star
11

reflex-retro

A web app for conducting team retrospectives
Haskell
5
star
12

erriscope

Scope out Haskell errors in style
Haskell
5
star
13

optician

Generate optics with a GHC plugin
Haskell
5
star
14

reflectacon

Plugin for working with promoted data constructors
Haskell
4
star
15

pinned-warnings

Preserve warnings in a GHCi session
Haskell
4
star
16

aoc2021

Haskell solutions to Advent of Code 2021
Haskell
3
star
17

ear-trainer

Advanced intervallic ear training
Haskell
3
star
18

MenuBlock

Magento 2 module for inserting cms blocks and static links into the top menu
PHP
2
star
19

servant-reachable

Type errors for problematic routers
Haskell
2
star
20

lean-cat

Lean
2
star
21

aoc2020

Advent of Code 2020 Solutions
Haskell
1
star
22

record-subsets

Turn a regular haskell record type into subsets of it's fields using some type level programming
Haskell
1
star
23

generic-uncurry

Provides an n-arity uncurry function using generics
Haskell
1
star
24

sum-totality

Totality checking for sum type producers in Haskell
Haskell
1
star
25

aoc2022

Rust
1
star
26

typed-counterpoint

If your composition doesn't follow the counterpoint rules, the compiler rejects it!
Idris
1
star
27

math-caddy

Mathematics knowledge base web app
Haskell
1
star
28

magento2

My ongoing magento 2 projects
PHP
1
star
29

constable

Safe interface for summarization via Const
Haskell
1
star
30

kancepts

kan extension exploration
Haskell
1
star
31

RandomBlock

Magento 2 module that declares the "random block" widget.
PHP
1
star