tmoertel / practiceLinks
Some programming problems I have solved for fun and practice
☆34Updated 4 months ago
Alternatives and similar repositories for practice
Users that are interested in practice are comparing it to the libraries listed below
Sorting:
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- ☆41Updated 10 years ago
- A terse Prolog course☆43Updated 6 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- GHCJS front-end for queryparser☆80Updated 6 years ago
- A simple SQL database☆69Updated 8 months ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- A catalog of code worth reading☆112Updated 8 years ago
- A funny toy programming language project☆29Updated 12 years ago
- 99 Problems in OCaml☆22Updated 9 years ago
- Incremental regular expression matching☆53Updated 12 years ago
- ebook versions of the book "Category Theory for the Sciences" by David I. Spivak☆114Updated 9 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years 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
- Solutions, discussions, and approaches to the exercises☆145Updated 6 years ago
- Programming Language Explorations☆94Updated last week
- A series of progressively more complex programming languages☆36Updated 11 years ago
- Course materials for Stanford's CS43: Functional Programming Paradigms☆31Updated 5 years ago
- Experiments with compilers written in Python☆22Updated 13 years ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆66Updated 7 years ago
- ☆42Updated 9 years ago
- A functional reactive GUI for John Conway's Game of Life.☆25Updated 9 years ago
- A small demo lambda-language written in Python☆32Updated 7 years ago
- Materials and accompanying references for all things pwlconf related☆59Updated 5 years ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 8 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- Beating the CAP theorem with the epidemic register☆16Updated 5 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- Collection of various research papers I find interesting☆84Updated 9 years ago