Alternatives and similar repositories for phd

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

• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆85Updated 9 years ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆73Updated 5 years ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆166Updated 4 years ago
• haroldcarr / learn-haskell-coq-ml-etc
  Where I try code from Haskell (etc) books, articles, etc.
  ☆36Updated 3 months ago
• anchpop / wise_mans_haskell
  Free book for learning Haskell
  ☆48Updated 3 years ago
• patrickt / haskell-project-ideas
  Free ideas, worth every penny
  ☆33Updated 4 years ago
• emilypi / group-theory
  The theory of groups
  ☆80Updated 2 years ago
• ekmett / algebra
  constructive abstract algebra
  ☆104Updated 5 years ago
• soupi / hablog
  A simple blogging platform with Haskell and Scotty
  ☆38Updated 3 years ago
• jaybutera / Category-Theory-Notes
  Notes on Category Theory For Programmers by Bartosz Milewski
  ☆56Updated 7 years ago
• chiroptical / ctfp-book-club
  Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski
  ☆26Updated 2 years ago
• aelve / guide
  A workspace for research teams
  ☆105Updated 5 years ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆154Updated 3 weeks ago
• mstksg / inCode
  Source for personal blog.
  ☆78Updated last month
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 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
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆123Updated 6 years ago
• argumatronic / argumatronic
  my Hakyll blog
  ☆20Updated last year
• freeman42x / haskell-editor-setup
  Easy instructions for setting up Haskell editors / IDEs on any major operating system.
  ☆101Updated last year
• alexandersgreen / qio-haskell
  The Quantum IO Monad, implemented in Haskell
  ☆104Updated last year
• jpvillaisaza / cain
  Category theory applied to functional programming (undergraduate project)
  ☆34Updated 5 months ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆58Updated 3 weeks ago
• relrod / ct
  My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
  ☆14Updated 6 years ago
• augustss / djinn
  Generate Haskell code from a type
  ☆143Updated 8 months ago
• DataHaskell / dh-core
  Functional data science
  ☆142Updated 3 years ago
• i-am-tom / learn-me-a-haskell
  Trying to get back all the stuff I had in JavaScript.
  ☆69Updated 7 years ago
• fp-works / function-composition-cheatsheet
  Composition of Functions
  ☆24Updated 5 years ago
• chiroptical / thinking-with-types
  Working through the Thinking with Types book in Haskell
  ☆34Updated 5 years ago
• robrix / path
  A lambda calculus to explore type-directed program synthesis.
  ☆85Updated 5 years ago
• jaybutera / Abstract-Algebra
  A course-worth of notes
  ☆202Updated last year