tdietert/types-as-specifications tdietert/types-as-specifications

  • Stars
    star
    47
  • Rank 604,252 (Top 12 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 5 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tdietert/types-as-specifications
github

tdietert

Reviews

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

Repository Details

More Repositories

1

youtubePlaylistDL

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

GeneticAlgorithmTSP_CUDA

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

haskell-blockchain-workshop

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

diml

Honors Thesis Summer/Fall 2015
Haskell
11
star
5

pi-calculus

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

reddit_bots

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

lambda-pi

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

advent-of-code-2019

Advent of Code 2019 solutions in Idris
Idris
3
star
9

auto-playlist

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

pythonProjects

A collection of small python projects
Python
2
star
11

scshuffle

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

clash-riscv-cpu

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