tmoertel / practiceLinks
Some programming problems I have solved for fun and practice
☆33Updated 2 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)☆139Updated 6 years ago
- Solutions, discussions, and approaches to the exercises☆145Updated 6 years ago
- ☆41Updated 11 years ago
- A catalog of code worth reading☆113Updated 8 years ago
- A terse Prolog course☆43Updated 6 years ago
- Programming Language Explorations☆101Updated last week
- Examples of literate programming by Knuth☆39Updated 5 months ago
- Experiments with compilers written in Python☆22Updated 13 years ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- A small demo lambda-language written in Python☆32Updated 7 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- An exercise in programming language design and implementation.☆19Updated 4 years ago
- Book lucid interpreter written in python☆24Updated 6 years ago
- Examples of common systems programming optimizations☆53Updated 4 years ago
- Course materials for Stanford's CS43: Functional Programming Paradigms☆31Updated 5 years ago
- ☆43Updated 9 years ago
- ebook versions of the book "Category Theory for the Sciences" by David I. Spivak☆112Updated 10 years ago
- 99 Problems in OCaml☆22Updated 9 years ago
- A language for time-series analysis☆173Updated 4 years ago
- A static web application to explore and animate a TLA+ state graph.☆197Updated 2 years ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆335Updated 5 years ago
- Some fun examples of solving problems with symbolic execution☆116Updated 7 years ago
- The original hacknot.info essays by Ed Johnson☆35Updated 8 years ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆67Updated 8 years ago
- Incremental regular expression matching☆53Updated 12 years ago
- Materials and accompanying references for all things pwlconf related☆60Updated 6 years ago
- GHCJS front-end for queryparser☆80Updated 7 years ago
- Yet another PEG parser combinator library and DSL☆56Updated 2 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆497Updated last year