thalerjonathan / phdLinks
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
Sorting:
- A workshop on learning Agda with minimal prerequisites.☆85Updated 9 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆73Updated 5 years ago
- A book on programming languages, using Haskell☆166Updated 4 years ago
- Where I try code from Haskell (etc) books, articles, etc.☆36Updated 3 months ago
- Free book for learning Haskell☆48Updated 3 years ago
- Free ideas, worth every penny☆33Updated 4 years ago
- The theory of groups☆80Updated 2 years ago
- constructive abstract algebra☆104Updated 5 years ago
- A simple blogging platform with Haskell and Scotty☆38Updated 3 years ago
- Notes on Category Theory For Programmers by Bartosz Milewski☆56Updated 7 years ago
- Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski☆26Updated 2 years ago
- A workspace for research teams☆105Updated 5 years ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆154Updated 3 weeks ago
- Source for personal blog.☆78Updated last month
- Write yourself a typed functional language☆65Updated 7 years ago
- A book about real world web development in beginner friendly Haskell☆78Updated 6 years ago
- theseus, functional programming language with fully reversible computation☆123Updated 6 years ago
- my Hakyll blog☆20Updated last year
- Easy instructions for setting up Haskell editors / IDEs on any major operating system.☆101Updated last year
- The Quantum IO Monad, implemented in Haskell☆104Updated last year
- Category theory applied to functional programming (undergraduate project)☆34Updated 5 months ago
- Slides & demos for talks I do☆58Updated 3 weeks ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Updated 6 years ago
- Generate Haskell code from a type☆143Updated 8 months ago
- Functional data science☆142Updated 3 years ago
- Trying to get back all the stuff I had in JavaScript.☆69Updated 7 years ago
- Composition of Functions☆24Updated 5 years ago
- Working through the Thinking with Types book in Haskell☆34Updated 5 years ago
- A lambda calculus to explore type-directed program synthesis.☆85Updated 5 years ago
- A course-worth of notes☆202Updated last year