LiamGoodacre

LiamGoodacre's Stars

• purescript/purescript

  A strongly-typed language that compiles to JavaScript

  Language:Haskell8.6k1582.4k565

• steshaw/plt

  Programming Language Theory λΠ

  Language:CSS5.3k27423338

• jozefg/learn-tt

  A collection of resources for learning type theory and type theory adjacent fields.

  2.2k919119

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.2k1161.1k217

• ekmett/lens

  Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

  Language:Haskell2k68579274

• purescript/spago

  🍝 PureScript package manager and build tool

  Language:PureScript79419595132

• type-theory/learn-tt

  A collection of resources for learning type theory.

  1011108

• leanprover/tutorial

  Lean Tutorials

  Language:TeX44810046

• bhurt/HaskellNotes

  Notes on Haskell, especially on how to create a new library

  1200