Pinned Repositories
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
diml
Honors Thesis Summer/Fall 2015
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
lambda-pi
A toy implementation of the dependently typed lambda calculus known as λΠ
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
types-as-specifications
youtubePlaylistDL
A simple script to download all videos in a youtube playlist (720p quality)
tdietert's Repositories
tdietert/youtubePlaylistDL
A simple script to download all videos in a youtube playlist (720p quality)
tdietert/types-as-specifications
tdietert/haskell-blockchain-workshop
The source code for the "Build a Blockchain in Haskell" workshop given at Lambda Conf 2018
tdietert/diml
Honors Thesis Summer/Fall 2015
tdietert/lambda-pi
A toy implementation of the dependently typed lambda calculus known as λΠ
tdietert/pi-calculus
A collection of implementations of the polyadic pi-calculus and it's variants
tdietert/advent-of-code-2019
Advent of Code 2019 solutions in Idris
tdietert/auto-playlist
Uses spotify (and hopefully soundcloud) APIs to create a playlist of songs using preferences provided by user
tdietert/clash-riscv-cpu
An exploratory repo for designing RISC-V CPUs with Clλsh
tdietert/scshuffle
A web app that shuffles your soundcloud likes
tdietert/alpa
Auto parallelization for large-scale neural networks
tdietert/aws-lambda-julia-runtime
AWS Lambda Julia Lang Runtime
tdietert/chart-diagrams
A fork of chart-diagrams so it's easy to include in a extra-dep in a Haskell stack project
tdietert/cloud-haskell-experiment
tdietert/contranomy
tdietert/cryptonite
lowlevel set of cryptographic primitives for haskell
tdietert/ecdsa-pres
HaskellX 2017 Presentation on ECC/ECDSA
tdietert/haskell-nix
Nix and Haskell in production
tdietert/Idris-dev
A Dependently Typed Functional Programming Language
tdietert/moot
Moot is a CFP and event management system!
tdietert/nanocoin-pres
Nanocoin Presentation for Boston Haskell
tdietert/opentitan
OpenTitan: Open source silicon root of trust
tdietert/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
tdietert/riscv-asm-manual
RISC-V Assembly Programmer's Manual
tdietert/safe-exceptions-checked
Safe, checked exceptions
tdietert/stack
The Haskell Tool Stack
tdietert/tensorflow
An Open Source Machine Learning Framework for Everyone
tdietert/tensorflow-alpa
the answer to the problem
tdietert/torch-mlir
The Torch-MLIR project aims to provide first class support from the PyTorch ecosystem to the MLIR ecosystem.
tdietert/uplink
A distributed ledger for secure multiparty workflows in financial markets.