Tim Docker (@timbod7)
github

timbod7

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    491
  • Global Rank 58,756 (Top 3 %)
  • Followers 29
  • Registered over 12 years ago
  • Most used languages
    Haskell
         61.5 %
    Rust
         15.4 %
    TypeScript
         7.7 %
    C++
         7.7 %
    OpenSCAD     7.7 %

Top repositories

1

haskell-chart

A 2D charting library for haskell
Haskell
428
star
2

adl

ADL (Algebraic Data Language)
C++
197
star
3

secretfs

A FUSE file system that interpolates secret information
Haskell
20
star
4

rust-stm32f4-examples

Rust
16
star
5

terraform-hs

Haskell
7
star
6

flux-model

An executable specification for the flux voting system
Haskell
5
star
7

adl-demo

Demonstration ADL projects
Haskell
3
star
8

vite-bootstrap

TypeScript
3
star
9

fsim-pedals

OpenSCAD
3
star
10

letsencrypt-aws

Manager for letsencrypt's certbot when running on AWS
Haskell
2
star
11

veditor

Experimental library for automatically generating haskell GUI for editing values
Haskell
1
star
12

hbeat

A toy step sequencer in haskell (old)
Haskell
1
star
13

gps-tracker

Rust
1
star