tdietert/types-as-specifications

Stars
47
Rank 604,252 (Top 12 %)
Language
Haskell
License
BSD 3-Clause "New...
Created over 5 years ago
Updated about 5 years ago

tdietert/types-as-specifications

tdietert

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

youtubePlaylistDL

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

GeneticAlgorithmTSP_CUDA

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

haskell-blockchain-workshop

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

diml

Honors Thesis Summer/Fall 2015

pi-calculus

A collection of implementations of the polyadic pi-calculus and it's variants

reddit_bots

If I decide to make more, they shall be put in this repository

lambda-pi

A toy implementation of the dependently typed lambda calculus known as λΠ

advent-of-code-2019

Advent of Code 2019 solutions in Idris

auto-playlist

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

pythonProjects

A collection of small python projects

scshuffle

A web app that shuffles your soundcloud likes

clash-riscv-cpu

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