Alternatives and similar repositories for phd

Users that are interested in phd are comparing it to the libraries listed below

• chiroptical / ctfp-book-club
  Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski
  ☆26Updated 2 years ago
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆85Updated 9 years ago
• emilypi / group-theory
  The theory of groups
  ☆80Updated 2 years ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 6 years ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆73Updated 5 years ago
• relrod / ct
  My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
  ☆14Updated 6 years ago
• ekmett / algebra
  constructive abstract algebra
  ☆104Updated 5 years ago
• anchpop / wise_mans_haskell
  Free book for learning Haskell
  ☆48Updated 3 years ago
• DataHaskell / dh-core
  Functional data science
  ☆141Updated 3 years ago
• mstksg / inCode
  Source for personal blog.
  ☆78Updated last month
• byorgey / thesis
  Brent's PhD thesis.
  ☆69Updated 9 years ago
• patrickt / haskell-project-ideas
  Free ideas, worth every penny
  ☆33Updated 4 years ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆166Updated 4 years ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆170Updated 3 months ago
• soupi / hablog
  A simple blogging platform with Haskell and Scotty
  ☆38Updated 3 years ago
• VictorTaelin / articles
  Thoughts and stuff
  ☆70Updated 5 years ago
• lettier / parsing-with-haskell-parser-combinators
  🔍 A step-by-step guide to parsing using Haskell parser combinators.
  ☆95Updated 5 years ago
• freeman42x / haskell-editor-setup
  Easy instructions for setting up Haskell editors / IDEs on any major operating system.
  ☆101Updated last year
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated 5 months ago
• goldfirere / thesis
  Richard A. Eisenberg's PhD Dissertation
  ☆205Updated 7 years ago
• zhangchiqing / beginner-friendly-haskell-for-web-development
  A book about real world web development in beginner friendly Haskell
  ☆78Updated 6 years ago
• steshaw / tdd-with-idris
  Working through Type-Driven Development with Idris
  ☆24Updated 9 years ago
• purescript / trypurescript
  PureScript in the browser
  ☆120Updated last year
• haroldcarr / learn-haskell-coq-ml-etc
  Where I try code from Haskell (etc) books, articles, etc.
  ☆36Updated 2 months ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆53Updated 8 years ago
• jaybutera / Category-Theory-Notes
  Notes on Category Theory For Programmers by Bartosz Milewski
  ☆56Updated 7 years ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆155Updated this week
• HeinrichApfelmus / frp-guides
  A collection of tutorials, guidelines, examples, patterns and half-baked ideas on functional reactive programming (FRP).
  ☆64Updated 4 years ago
• augustss / djinn
  Generate Haskell code from a type
  ☆142Updated 7 months ago
• zenzike / yoda
  A simple combinator library
  ☆30Updated 6 years ago