tmoertel / practice
Some programming problems I have solved for fun and practice
☆35Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for practice
- ☆41Updated 8 years ago
- Smallish programs written to learn something.☆50Updated 10 months ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 5 years ago
- A catalog of code worth reading☆111Updated 7 years ago
- An overview of linear algebra fundamentals which focuses on providing an intuitive / geometric review of some of the main concepts.☆98Updated 5 years ago
- A terse Prolog course☆41Updated 5 years ago
- Experiments with compilers written in Python☆22Updated 12 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- A series of progressively more complex programming languages☆36Updated 10 years ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- Incremental regular expression matching☆53Updated 11 years ago
- An exercise in programming language design and implementation.☆20Updated 2 years ago
- Interesting Papers and Ideas☆83Updated 7 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆214Updated 5 years ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆26Updated 2 years ago
- GHCJS front-end for queryparser☆80Updated 6 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated 6 months ago
- ☆73Updated 10 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆158Updated 5 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago
- An introduction to the basic ideas of commutative algebra☆16Updated 4 years ago
- A very tiny clone of Redis for experimenting with PubSub☆52Updated 7 months ago
- Forth clone in Haskell☆31Updated 7 years ago
- 99 Problems in OCaml☆22Updated 8 years ago
- The Lark programming language.☆59Updated 14 years ago
- Short essays I've written☆75Updated 10 months ago
- Examples of literate programming by Knuth☆35Updated 5 months ago
- <Built with Haskell on Hakyll> <boilerplate at: archywillhe/0a.io-hakyll-boilerplate>☆12Updated 2 years ago
- A small demo lambda-language written in Python☆31Updated 6 years ago
- The original hacknot.info essays by Ed Johnson☆35Updated 7 years ago