Ken Micklas (@kmicklas)
github

kmicklas

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    43
  • Global Rank 379,383 (Top 14 %)
  • Followers 31
  • Following 20
  • Registered over 13 years ago
  • Most used languages
    Haskell
         55.6 %
    C++
         11.1 %
    Nix
         11.1 %
    Agda     11.1 %
    Python
         11.1 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 14,778
  • Country Ranking
    Agda     47
    Nix
         137
    Haskell
         263
    C++
         1,549
    Python
         5,868

Top repositories

1

variadic-variant

A C++ variant library (like Boost.Variant) using C++11 variadic templates
C++
17
star
2

sentence-pairs

Generates frequency sorted sentence pairs from the Tatoeba corpus suitable for importing into Anki
Python
13
star
3

pyrec

Haskell
2
star
4

redoak

An editor for the future
Haskell
2
star
5

beam-keyed

Haskell
2
star
6

beam-automigrate-example

Haskell
2
star
7

config

System Configuration Files
Nix
2
star
8

barycentric-collapse

An algorithm for carrying simplicial collapses through barycentric subdivision
Haskell
1
star
9

verified-braun-heaps

A (eventually) fully verified priority queue using Braun heaps in Agda
Agda
1
star