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
• VictorTaelin / articles
  Thoughts and stuff
  ☆70Updated 5 years ago
• chiroptical / ctfp-book-club
  Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski
  ☆26Updated 2 years ago
• purescript / trypurescript
  PureScript in the browser
  ☆121Updated 10 months ago
• purescript / purescript-effect
  The Effect monad, for handling native side effects
  ☆52Updated 2 years ago
• soupi / hablog
  A simple blogging platform with Haskell and Scotty
  ☆39Updated 3 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• relrod / ct
  My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
  ☆14Updated 5 years ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆72Updated 5 years ago
• lettier / purescript-pop
  A functional reactive programming (FRP) demo created with PureScript events and behaviors.
  ☆33Updated 6 years ago
• anchpop / wise_mans_haskell
  Free book for learning Haskell
  ☆48Updated 2 years ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆56Updated last year
• zenzike / yoda
  A simple combinator library
  ☆29Updated 6 years ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆39Updated 3 years ago
• hasura / graphql-parser-hs
  A GraphQL query parser for Haskell
  ☆59Updated 2 years ago
• jmoy / alexhappy
  Examples for the book “Alex and Happy”
  ☆34Updated 10 years ago
• agda-attic / agda-frp-js
  ECMAScript back end for Functional Reactive Programming in Agda
  ☆104Updated 7 years ago
• robrix / languages-all-the-way-down
  outline & examples for my ZuriHac 2020 talk, Languages All the Way Down
  ☆20Updated 5 years ago
• mroman42 / vitrea
  Optics via the profunctor representation theorem
  ☆24Updated 7 months ago
• ichistmeinname / free-proving
  Resources for "One Monad to Prove Them All"
  ☆29Updated 6 years ago
• ekmett / algebra
  constructive abstract algebra
  ☆103Updated 5 years ago
• steshaw / tdd-with-idris
  Working through Type-Driven Development with Idris
  ☆24Updated 8 years ago
• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆23Updated 2 months ago
• robrix / path
  A lambda calculus to explore type-directed program synthesis.
  ☆85Updated 5 years ago
• purescript-web / purescript-web-dom
  Type definitions and low level interface implementations for the W3C DOM spec
  ☆35Updated last year
• exercism / purescript
  Exercism exercises in PureScript.
  ☆38Updated 2 months ago
• coot / free-algebras
  Free Algebras in Haskell
  ☆37Updated 10 months ago
• emilypi / group-theory
  The theory of groups
  ☆79Updated last year
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated 2 months ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated 3 months ago