Alice McKean (@aljce)
github

aljce

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    46
  • Global Rank 361,753 (Top 13 %)
  • Followers 36
  • Following 5
  • Registered almost 10 years ago
  • Most used languages
    Haskell
         55.0 %
    Agda     20.0 %
    Rust
         10.0 %
    HTML
         5.0 %
    Nix
         5.0 %
    PureScript     5.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 70,252
  • Country Ranking
    Agda     31
    PureScript     130
    Nix
         443
    Haskell
         473
    Rust
         7,557

Top repositories

1

unpacked-maybe

Haskell
8
star
2

servant-render

Servant + Reflex = Web Framework
Haskell
5
star
3

stt

Monad Transformer for ST
Haskell
4
star
4

siphon

Parsing CSVs
Haskell
3
star
5

kpf

Haskell
3
star
6

nixos-configuration

Alice McKean's Nixos Configuration
Nix
3
star
7

hrecursion-schemes

Haskell
3
star
8

pipes-protolude

Alternate Prelude for the pipes ecosystem
Haskell
2
star
9

hmap

Agda
2
star
10

avl

Agda
2
star
11

purescript-typeahead

Twitter typeahead.js port to purescript
PureScript
2
star
12

ava

Haskell
1
star
13

hchess

Haskell Chess Engine
HTML
1
star
14

ferus

An OCaml clone (for now)
Rust
1
star
15

compcomp

Formalizations of Computability and Complexity proofs
Agda
1
star
16

mutable-state

Rust
1
star
17

thesis

A Replication of the AKS Primality Decision Algorithm
Agda
1
star
18

trasa-bittrex

Well typed bittrex bindings with trasa
Haskell
1
star
19

contiguous-sized

A safe, generic, sized indexed interface to primitive
Haskell
1
star
20

fast-vec

Haskell
1
star