thalerjonathan / phd
Stuff of my PhD I want to share publicly: all code, texts of my papers, research-notes & research-diary
☆30Updated 4 years ago
Alternatives and similar repositories for phd:
Users that are interested in phd are comparing it to the libraries listed below
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- Source for personal blog.☆77Updated last week
- Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski☆25Updated 2 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 4 years ago
- A workshop on learning Agda with minimal prerequisites.☆84Updated 8 years ago
- Diagrams standard library☆139Updated last month
- Library of categories, with categorical constructions on them☆53Updated last year
- Code for my blog post "Generating Mazes with Inductive Graphs"☆36Updated 6 years ago
- A workspace for research teams☆105Updated 5 years ago
- A Haskell DSEL for experimental game theory.☆36Updated 2 years ago
- Free book for learning Haskell☆48Updated 2 years ago
- A simple combinator library☆29Updated 6 years ago
- A simple blogging platform with Haskell and Scotty☆39Updated 3 years ago
- The theory of groups☆76Updated last year
- outline & examples for my ZuriHac 2020 talk, Languages All the Way Down☆20Updated 4 years ago
- A collection of tutorials, guidelines, examples, patterns and half-baked ideas on functional reactive programming (FRP).☆65Updated 4 years ago
- Slides & demos for talks I do☆59Updated 4 years ago
- Fork of react-basic-starter using Package sets☆24Updated 5 years ago
- Where I try code from Haskell (etc) books, articles, etc.☆36Updated last year
- Composition of Functions☆24Updated 4 years ago
- A Haskell implementation of the Jupyter messaging protocol☆40Updated 4 years ago
- A more elegant specification for FRP☆24Updated last year
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated last year
- All the Transient libraries☆39Updated last month
- Examples for the book “Alex and Happy”☆34Updated 9 years ago
- Haskell types lined up to highlight their similarities☆31Updated 5 years ago
- Course for learning how to apply property-based state-machine testing☆62Updated 5 years ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Updated 5 years ago
- Classical Logic in Haskell☆23Updated this week