tdietert Goto Github PK
Name: Thomas Dietert
Type: User
Bio: Generalist Software Engineer & Functional Programming Enthusiast
Twitter: tthomasdd
Location: Boulder, CO
Name: Thomas Dietert
Type: User
Bio: Generalist Software Engineer & Functional Programming Enthusiast
Twitter: tthomasdd
Location: Boulder, CO
Advent of Code 2019 solutions in Idris
Auto parallelization for large-scale neural networks
Uses spotify (and hopefully soundcloud) APIs to create a playlist of songs using preferences provided by user
AWS Lambda Julia Lang Runtime
A fork of chart-diagrams so it's easy to include in a extra-dep in a Haskell stack project
An exploratory repo for designing RISC-V CPUs with Clλsh
lowlevel set of cryptographic primitives for haskell
Honors Thesis Summer/Fall 2015
HaskellX 2017 Presentation on ECC/ECDSA
A genetic algorithm to find optimal solutions for TSP (Travelling Salesman Problem) using the CUDA Architecture (GPU)
The source code for the "Build a Blockchain in Haskell" workshop given at Lambda Conf 2018
Nix and Haskell in production
This is a folder for all my haskell exercises. Semester self-study Spring 2015
A Dependently Typed Functional Programming Language
A toy implementation of the dependently typed lambda calculus known as λΠ
Moot is a CFP and event management system!
Nanocoin Presentation for Boston Haskell
OpenTitan: Open source silicon root of trust
This is our page table OS Project
A collection of implementations of the polyadic pi-calculus and it's variants
An unprofessional library that has functions to programatically manipulate images artistically using JuicyPixels as the base.
app for users to register, login, add and delete and upload files
A collection of various Project Euler Problems I solved using python.
A collection of small python projects
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
If I decide to make more, they shall be put in this repository
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.