thalerjonathan / phd

Related projects ⓘ

Alternatives and complementary repositories for phd

• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆36Updated 2 years ago
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆83Updated 8 years ago
• purescript / purescript-effect
  The Effect monad, for handling native side effects
  ☆53Updated 2 years ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆54Updated last year
• zenzike / yoda
  A simple combinator library
  ☆29Updated 6 years ago
• robrix / languages-all-the-way-down
  outline & examples for my ZuriHac 2020 talk, Languages All the Way Down
  ☆20Updated 4 years ago
• haroldcarr / learn-haskell-coq-ml-etc
  Where I try code from Haskell (etc) books, articles, etc.
  ☆35Updated last year
• fpco / haskell.fpcomplete.com
  FP Complete's Haskell Homepage
  ☆14Updated 4 years ago
• justinwoo / spacchetti-react-basic-starter
  Fork of react-basic-starter using Package sets
  ☆24Updated 5 years ago
• fp-works / function-composition-cheatsheet
  Composition of Functions
  ☆24Updated 4 years ago
• conal / talk-2015-more-elegant-frp
  A more elegant specification for FRP
  ☆24Updated 10 months ago
• robrix / path
  A lambda calculus to explore type-directed program synthesis.
  ☆84Updated 4 years ago
• haskell-at-work / domain-modelling-with-haskell
  ☆38Updated 6 years ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆38Updated 2 years ago
• freckle / guides
  Freckle guides and best practices
  ☆53Updated 6 months ago
• TikhonJelvis / inductive-mazes
  Code for my blog post "Generating Mazes with Inductive Graphs"
  ☆36Updated 6 years ago
• evertedsphere / sound-and-complete
  An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
  ☆84Updated 6 years ago
• anchpop / wise_mans_haskell
  Free book for learning Haskell
  ☆48Updated 2 years ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆23Updated last year
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆91Updated 6 years ago
• emilypi / group-theory
  The theory of groups
  ☆75Updated last year
• aelve / guide
  A workspace for research teams
  ☆106Updated 4 years ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆71Updated 4 years ago
• purescript / purescript-arrays
  Array utility functions
  ☆57Updated 9 months ago
• VictorTaelin / articles
  Thoughts and stuff
  ☆67Updated 4 years ago
• fizruk / http-api-data
  Converting to/from HTTP API data like URL pieces, headers and query parameters.
  ☆52Updated 3 months ago
• ekmett / algebra
  constructive abstract algebra
  ☆101Updated 4 years ago
• andys8 / awesome-haskell-videos
  A collection of awesome Haskell videos. Inspired by awesome projects line.
  ☆42Updated last year