thalerjonathan / phdLinks
Stuff of my PhD I want to share publicly: all code, texts of my papers, research-notes & research-diary
☆31Updated 5 years ago
Alternatives and similar repositories for phd
Users that are interested in phd are comparing it to the libraries listed below
Sorting:
- This project is to contain a listing of common theorems in elementary category theory.☆74Updated 5 years ago
- A workshop on learning Agda with minimal prerequisites.☆85Updated 9 years ago
- Free ideas, worth every penny☆33Updated 5 years ago
- The theory of groups☆81Updated 2 years ago
- A book on programming languages, using Haskell☆167Updated 4 years ago
- Source for personal blog.☆78Updated this week
- Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski☆26Updated 3 years ago
- constructive abstract algebra☆104Updated 6 years ago
- Write yourself a typed functional language☆65Updated 7 years ago
- A simple combinator library☆30Updated 7 years ago
- Free book for learning Haskell☆48Updated 3 years ago
- A simple blogging platform with Haskell and Scotty☆38Updated 4 years ago
- Notes on Category Theory For Programmers by Bartosz Milewski☆56Updated 7 years ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Updated 6 years ago
- Porting of software foundations book to Agda☆39Updated 11 years ago
- Richard A. Eisenberg's PhD Dissertation☆206Updated 7 years ago
- A workspace for research teams☆106Updated 6 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆85Updated 9 months ago
- Easy instructions for setting up Haskell editors / IDEs on any major operating system.☆101Updated last year
- Category theory applied to functional programming (undergraduate project)☆34Updated 9 months ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆156Updated last month
- Examples for the book “Alex and Happy”☆34Updated 10 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆57Updated 6 years ago
- Basics of the dependently-typed functional language Agda ^_^☆41Updated 4 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆55Updated 8 years ago
- Library of the ##dependent distributed research support group☆119Updated last year
- Code for my blog post "Generating Mazes with Inductive Graphs"☆41Updated 7 years ago
- Thoughts and stuff☆70Updated 5 years ago
- A lambda calculus to explore type-directed program synthesis.☆85Updated 6 years ago
- The 2018-19 edition of Strathclyde's CS316 "Functional Programming" course☆31Updated 7 years ago