tmoertel / practiceLinks
Some programming problems I have solved for fun and practice
☆34Updated this week
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
- A catalog of code worth reading☆112Updated 8 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
- 99 Problems in OCaml☆22Updated 9 years ago
- Incremental regular expression matching☆53Updated 12 years ago
- Yet another PEG parser combinator library and DSL☆56Updated 2 years ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- ☆42Updated 9 years ago
- ☆41Updated 10 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- My personal notes on various computer languages☆223Updated 4 years ago
- Programming Language Explorations☆95Updated last week
- Materials and accompanying references for all things pwlconf related☆59Updated 5 years ago
- An exercise in programming language design and implementation.☆19Updated 3 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- Course materials for Stanford's CS43: Functional Programming Paradigms☆31Updated 5 years ago
- Book lucid interpreter written in python☆24Updated 6 years ago
- ☆394Updated 15 years ago
- Variaous articles☆80Updated 2 years ago
- functional neural networks in ocaml☆89Updated 5 years ago
- A small demo lambda-language written in Python☆32Updated 7 years ago
- A series of progressively more complex programming languages☆36Updated 11 years ago
- Standard ML interpreter, with relational extensions, implemented in Java☆40Updated this week
- ebook versions of the book "Category Theory for the Sciences" by David I. Spivak☆114Updated 10 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆61Updated 10 years ago
- A Pascal to LLVM compiler in Haskell☆125Updated 5 years ago
- Solutions, discussions, and approaches to the exercises☆145Updated 6 years ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆66Updated 7 years ago
- Smallish programs written to learn something.☆51Updated last year