tmoertel / practice
Some programming problems I have solved for fun and practice
☆34Updated last week
Alternatives and similar repositories for practice:
Users that are interested in practice are comparing it to the libraries listed below
- A terse Prolog course☆41Updated 6 years ago
- ☆42Updated 8 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- A simple SQL database☆69Updated 4 months ago
- An overview of linear algebra fundamentals which focuses on providing an intuitive / geometric review of some of the main concepts.☆99Updated 6 years ago
- ☆14Updated 6 years ago
- GHCJS front-end for queryparser☆80Updated 6 years ago
- A catalog of code worth reading☆113Updated 7 years ago
- What Kai Thinks Every Developer Should Know About The Shell☆25Updated 7 years ago
- ☆73Updated 11 years ago
- Dynamic Programming Repository - From Basics to Absolute Magic.☆19Updated 8 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- website for CMU 17-313☆45Updated last week
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- Experiments with compilers written in Python☆22Updated 13 years ago
- A very tiny clone of Redis for experimenting with PubSub☆52Updated last year
- Materials and accompanying references for all things pwlconf related☆59Updated 5 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆214Updated 5 years ago
- notes on where to find Haskell tutorials and tips to complete them☆119Updated 6 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- writing on haskell☆33Updated 8 years ago
- Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"☆14Updated 4 years ago
- Collection of various research papers I find interesting☆84Updated 9 years ago
- Course materials for Stanford's CS43: Functional Programming Paradigms☆30Updated 5 years ago
- ☆41Updated 10 years ago
- A series of progressively more complex programming languages☆36Updated 10 years ago
- Transactional SQL based RDBMS with sophisticated multi table constraint logic.☆46Updated 6 years ago
- Fundamental algorithms☆93Updated 5 years ago
- Programming Language Explorations☆93Updated last week
- ebook versions of the book "Category Theory for the Sciences" by David I. Spivak☆114Updated 9 years ago