Thomas Dietert's repositories
youtubePlaylistDL
A simple script to download all videos in a youtube playlist (720p quality)
haskell-blockchain-workshop
The source code for the "Build a Blockchain in Haskell" workshop given at Lambda Conf 2018
pi-calculus
A collection of implementations of the polyadic pi-calculus and it's variants
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
clash-riscv-cpu
An exploratory repo for designing RISC-V CPUs with Clλsh
aws-lambda-julia-runtime
AWS Lambda Julia Lang Runtime
chart-diagrams
A fork of chart-diagrams so it's easy to include in a extra-dep in a Haskell stack project
cryptonite
lowlevel set of cryptographic primitives for haskell
ecdsa-pres
HaskellX 2017 Presentation on ECC/ECDSA
haskell-nix
Nix and Haskell in production
Idris-dev
A Dependently Typed Functional Programming Language
nanocoin-pres
Nanocoin Presentation for Boston Haskell
ramulator
A Fast and Extensible DRAM Simulator, with built-in support for modeling many different DRAM technologies including DDRx, LPDDRx, GDDRx, WIOx, HBMx, and various academic proposals. Described in the IEEE CAL 2015 paper by Kim et al. at http://users.ece.cmu.edu/~omutlu/pub/ramulator_dram_simulator-ieee-cal15.pdf
riscv-asm-manual
RISC-V Assembly Programmer's Manual
safe-exceptions-checked
Safe, checked exceptions
tensorflow
An Open Source Machine Learning Framework for Everyone
tensorflow-alpa
the answer to the problem
torch-mlir
The Torch-MLIR project aims to provide first class support from the PyTorch ecosystem to the MLIR ecosystem.