Alternatives and similar repositories for total-fp:

Users that are interested in total-fp are comparing it to the libraries listed below

• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 5 years ago
• liamoc / learn-you-an-agda
  Learn you an Agda (and achieve enlightenment)
  ☆315Updated 6 years ago
• idris-hackers / idris-demos
  Collection of Idris tests and demonstration programs
  ☆190Updated 6 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆139Updated 8 years ago
• Gabriella439 / Haskell-Morte-Library
  A bare-bones calculus-of-constructions
  ☆375Updated 2 years ago
• goldfirere / thesis
  Richard A. Eisenberg's PhD Dissertation
  ☆206Updated 6 years ago
• haskell-tools / haskell-tools
  Developer tools for Haskell
  ☆250Updated 6 months ago
• idris-hackers / idris-koans
  Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…
  ☆177Updated 6 years ago
• ziman / lightyear
  Parser combinators for Idris
  ☆240Updated 5 years ago
• advancedtelematic / quickcheck-state-machine
  Test monadic programs using state machine based models
  ☆202Updated 3 years ago
• takenobu-hs / haskell-ghc-illustrated
  haskell ghc-illustrated
  ☆259Updated 3 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆178Updated 5 years ago
• type-theory / type-theory-study-group
  Resources for the online Type Theory Study Group
  ☆160Updated 6 years ago
• sdiehl / tinyjit
  Haskell JIT
  ☆184Updated 4 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆135Updated 6 years ago
• gasche / icfp2017-papers
  Link to preprints for ICFP'17 and colocated events
  ☆136Updated 6 years ago
• mietek / charity-lang
  Charity language interpreters and literature
  ☆114Updated 5 years ago
• sdiehl / papers
  ☆96Updated 10 years ago
• pigworker / CS410-17
  being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…
  ☆263Updated 6 years ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆303Updated last year
• simonmar / par-tutorial
  A tutorial on Parallel and Concurrent Haskell
  ☆219Updated 11 years ago
• ekmett / propagators
  The Art of the Propagator. See also:
  ☆172Updated 9 months ago
• ekmett / machines
  Networks of composable stream transducers
  ☆339Updated last year
• barrucadu / dejafu
  Systematic concurrency testing meets Haskell.
  ☆198Updated last week
• owickstrom / idris-vimscript
  Compile Idris to Vimscript, like you always wanted.
  ☆130Updated 6 years ago
• evertedsphere / silica
  optics for Haskell with the most amazing type errors you've seen
  ☆242Updated 5 years ago
• cmcl / frankjnr
  Another implementation of Frank.
  ☆70Updated 7 years ago
• typed-wire / typed-wire
  Language independent type-safe communication
  ☆133Updated 6 years ago
• uhub / awesome-coq
  A curated list of awesome Coq frameworks, libraries and software.
  ☆235Updated last week