Thomas Dietert (@tdietert)
github

tdietert

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    248
  • Global Rank 103,956 (Top 4 %)
  • Followers 129
  • Following 32
  • Registered over 10 years ago
  • Most used languages
    Haskell
         61.5 %
    Python
         23.1 %
    Idris     7.7 %
    Cuda     7.7 %
  • Location 🇺🇸 United States
  • Country Total Rank 24,414
  • Country Ranking
    Idris     48
    Cuda     145
    Haskell
         244
    Python
         6,711

Top repositories

1

youtubePlaylistDL

A simple script to download all videos in a youtube playlist (720p quality)
Python
141
star
2

types-as-specifications

Haskell
47
star
3

GeneticAlgorithmTSP_CUDA

A genetic algorithm to find optimal solutions for TSP (Travelling Salesman Problem) using the CUDA Architecture (GPU)
Cuda
16
star
4

haskell-blockchain-workshop

The source code for the "Build a Blockchain in Haskell" workshop given at Lambda Conf 2018
Haskell
15
star
5

diml

Honors Thesis Summer/Fall 2015
Haskell
11
star
6

pi-calculus

A collection of implementations of the polyadic pi-calculus and it's variants
Haskell
6
star
7

reddit_bots

If I decide to make more, they shall be put in this repository
Python
5
star
8

lambda-pi

A toy implementation of the dependently typed lambda calculus known as λΠ
Haskell
5
star
9

advent-of-code-2019

Advent of Code 2019 solutions in Idris
Idris
3
star
10

auto-playlist

Uses spotify (and hopefully soundcloud) APIs to create a playlist of songs using preferences provided by user
Haskell
3
star
11

pythonProjects

A collection of small python projects
Python
2
star
12

scshuffle

A web app that shuffles your soundcloud likes
Haskell
1
star
13

clash-riscv-cpu

An exploratory repo for designing RISC-V CPUs with Clλsh
Haskell
1
star