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
• emilypi / group-theory
  The theory of groups
  ☆81Updated 2 years ago
• ekmett / algebra
  constructive abstract algebra
  ☆104Updated 6 years ago
• chiroptical / ctfp-book-club
  Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski
  ☆26Updated 3 years ago
• mstksg / inCode
  Source for personal blog.
  ☆78Updated this week
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆74Updated 5 years ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 7 years ago
• soupi / hablog
  A simple blogging platform with Haskell and Scotty
  ☆38Updated 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
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆38Updated 3 years ago
• patrickt / haskell-project-ideas
  Free ideas, worth every penny
  ☆33Updated 5 years ago
• agda-attic / agda-frp-js
  ECMAScript back end for Functional Reactive Programming in Agda
  ☆103Updated 8 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆126Updated 6 years ago
• haroldcarr / learn-haskell-coq-ml-etc
  Where I try code from Haskell (etc) books, articles, etc.
  ☆36Updated 6 months ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆59Updated 2 years ago
• anchpop / wise_mans_haskell
  Free book for learning Haskell
  ☆48Updated 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
• typeclasses / haskell-phrasebook
  The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs
  ☆219Updated 3 years ago
• VictorTaelin / Cedille-Core
  A minimal proof language.
  ☆212Updated 7 years ago
• TikhonJelvis / Reactive-Life
  A functional reactive GUI for John Conway's Game of Life.
  ☆25Updated 9 years ago
• exercism / idris
  Exercism exercises in Idris.
  ☆35Updated last month
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆167Updated 4 years ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆179Updated last week
• goldfirere / thesis
  Richard A. Eisenberg's PhD Dissertation
  ☆206Updated 7 years ago
• purescript / trypurescript
  PureScript in the browser
  ☆121Updated last year
• VictorTaelin / articles
  Thoughts and stuff
  ☆70Updated 5 years ago
• jaybutera / Category-Theory-Notes
  Notes on Category Theory For Programmers by Bartosz Milewski
  ☆56Updated 7 years ago
• augustss / djinn
  Generate Haskell code from a type
  ☆146Updated 11 months ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆55Updated 8 years ago