tmoertel / practice
Some programming problems I have solved for fun and practice
☆35Updated this week
Related projects ⓘ
Alternatives and complementary repositories for practice
- A very tiny clone of Redis for experimenting with PubSub☆52Updated 8 months ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- Random experiments, exploration, and learning☆82Updated last week
- Introduction to common Probabilistic Algorithms: Approximate Counting, Flajolet-Martin, LogLog, HyperLogLog, Bloom Filters☆60Updated 7 years ago
- A catalog of code worth reading☆112Updated 7 years ago
- What Kai Thinks Every Developer Should Know About The Shell☆25Updated 7 years ago
- writing on haskell☆33Updated 7 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 5 years ago
- A static web application to explore and animate a TLA+ state graph.☆197Updated last year
- GHCJS front-end for queryparser☆80Updated 6 years ago
- A terse Prolog course☆41Updated 5 years ago
- An Evaluation of Linear Probing Hashtable Algorithms☆29Updated 11 months ago
- Course materials for Stanford's CS43: Functional Programming Paradigms☆30Updated 4 years ago
- Small numerical simulator example☆46Updated last year
- ☆101Updated 6 years ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 7 years ago
- ☆41Updated 10 years ago
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 7 years ago
- A simple SQL database☆69Updated last week
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated 6 months ago
- A learned index structure☆52Updated 3 years ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- two strange things to do with neural nets☆16Updated 5 years ago
- An exercise in programming language design and implementation.☆20Updated 3 years ago
- Materials and accompanying references for all things pwlconf related☆58Updated 5 years ago
- Variaous articles☆80Updated last year
- updated regularly while attending Recurse Center in Spring 2 '18☆98Updated 6 months ago
- Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"☆14Updated 3 years ago
- A small demo lambda-language written in Python☆31Updated 6 years ago
- My personal notes on various computer languages☆221Updated 4 years ago