tmoertel / practiceLinks
Some programming problems I have solved for fun and practice
☆34Updated 2 months ago
Alternatives and similar repositories for practice
Users that are interested in practice are comparing it to the libraries listed below
Sorting:
- A terse Prolog course☆43Updated 6 years ago
- Course materials for Stanford's CS43: Functional Programming Paradigms☆31Updated 5 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- GHCJS front-end for queryparser☆80Updated 6 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year
- Companion to the Haskell in Production series☆80Updated 5 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- writing on haskell☆33Updated 8 years ago
- Set of acm icpc problemset solutions from Competitive Programming v.3☆12Updated 7 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- Variaous articles☆80Updated 2 years ago
- ☆41Updated 10 years ago
- ☆42Updated 9 years ago
- A set of problems solved from uva☆12Updated 4 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- What Kai Thinks Every Developer Should Know About The Shell☆25Updated 7 years ago
- ☆23Updated 12 years ago
- Jupyter notebooks☆58Updated 6 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
- A simple SQL database☆70Updated 6 months ago
- A Pascal to LLVM compiler in Haskell☆126Updated 5 years ago
- n queens with the logic monad☆20Updated 10 years ago
- Not a description.☆126Updated 5 years ago
- Category theory for programmers lecture notes☆23Updated 6 years ago
- A roadmap for learning functional programming with Haskell - and beyond.☆13Updated 9 years ago
- An introduction to the basic ideas of commutative algebra☆17Updated 5 years ago
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆216Updated 3 years ago
- Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"☆15Updated 4 years ago
- An example distributed systems application in Haskell using Cloud Haskell☆69Updated 4 years ago
- Examples of literate programming by Knuth☆37Updated last year