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.
  ☆86Updated 9 years ago
• anchpop / wise_mans_haskell
  Free book for learning Haskell
  ☆48Updated 3 years ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆73Updated 5 years ago
• chiroptical / ctfp-book-club
  Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski
  ☆26Updated 2 years ago
• emilypi / group-theory
  The theory of groups
  ☆80Updated last year
• patrickt / haskell-project-ideas
  Free ideas, worth every penny
  ☆33Updated 4 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
• jmoy / alexhappy
  Examples for the book “Alex and Happy”
  ☆34Updated 10 years ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 6 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• dpndnt / library
  Library of the ##dependent distributed research support group
  ☆116Updated last year
• mstksg / inCode
  Source for personal blog.
  ☆77Updated last week
• zenzike / yoda
  A simple combinator library
  ☆30Updated 6 years ago
• VictorTaelin / articles
  Thoughts and stuff
  ☆70Updated 5 years ago
• ekmett / algebra
  constructive abstract algebra
  ☆104Updated 5 years ago
• aelve / guide
  A workspace for research teams
  ☆105Updated 5 years ago
• bobatkey / CS316-2020
  The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
  ☆24Updated 4 years ago
• ajnsit / purescript-companies
  Community curated list of companies that use Purescript
  ☆142Updated 9 months ago
• Euterpea / HSoM
  Supporting Impelementation for Haskell School of Music
  ☆90Updated last year
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆166Updated 4 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆58Updated 5 years ago
• soupi / hablog
  A simple blogging platform with Haskell and Scotty
  ☆39Updated 3 years ago
• fp-works / function-composition-cheatsheet
  Composition of Functions
  ☆24Updated 5 years ago
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆123Updated 6 years ago
• kowainik / shellmet
  🐚 Out of the shell solution for scripting in Haskell
  ☆73Updated 10 months ago
• jyp / nano-Agda
  Tiny type-checker with dependent types
  ☆78Updated 11 years ago
• robrix / path
  A lambda calculus to explore type-directed program synthesis.
  ☆85Updated 5 years ago
• fpco / applied-haskell
  ☆80Updated 6 years ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆57Updated 2 years ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆39Updated 3 years ago