David Turner (@DaveCTurner)
github

DaveCTurner

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    25
  • Global Rank 556,620 (Top 20 %)
  • Followers 80
  • Following 4
  • Registered over 11 years ago
  • Most used languages
    Haskell
         50.0 %
    C
         8.3 %
    C++
         8.3 %
    TeX
         8.3 %
    Isabelle     8.3 %
    Python
         8.3 %
    JavaScript
         8.3 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 21,858
  • Country Ranking
    Isabelle     18
    Haskell
         258
    TeX
         979
    C
         2,605
    C++
         4,127

Top repositories

1

escli

CLI tool for working with Elasticsearch
Haskell
4
star
2

tiny-ripemd160

A tiny implementation of the RIPEMD-160 hash function
C
4
star
3

zero-copy-paxos

Implementation of Paxos
C++
3
star
4

paxos-dojo

JavaScript
3
star
5

json-validator

Haskell
1
star
6

es-proxy

Haskell
1
star
7

autoharvest

Haskell
1
star
8

tla-examples

Examples of TLA proofs
Isabelle
1
star
9

timezone-diagram

Library for drawing timezone diagrams
Haskell
1
star
10

jstack2json

Convert jstack output to JSON for easier analysis
Python
1
star
11

paxos-membership

Unbounded Pipelining in Dynamically Reconfigurable Paxos Clusters
TeX
1
star
12

davecturner.github.io

Github Pages
Haskell
1
star