Repositories list

• plt

  Public
  λΠ Programming Language Theory

  CSS

  •344344 forks•00 stars•00 issues•00 pull requests•Updated Jul 21, 2019Jul 21, 2019

• awesome-functional-programming

  Public
  Yet another resource for collecting articles, videos etc. regarding functional programming

  304304 forks•00 stars•00 issues•00 pull requests•Updated Jul 6, 2019Jul 6, 2019

• effects-bibliography

  Public
  A collaborative bibliography of work related to the theory and practice of computational effects

  9191 forks•00 stars•00 issues•00 pull requests•Updated May 23, 2019May 23, 2019

• functional-programming-learning-path

  Public
  A Learning Path for Functional Programming

  Clojure

  •

  MIT License

  •8383 forks•00 stars•00 issues•00 pull requests•Updated May 19, 2019May 19, 2019

• milewski-ctfp-pdf

  Public
  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

  TeX

  •

  Other

  •636636 forks•00 stars•00 issues•00 pull requests•Updated Mar 13, 2019Mar 13, 2019

• totally-fp

  Public
  Totally functional programming literature

  66 forks•00 stars•00 issues•00 pull requests•Updated Feb 15, 2019Feb 15, 2019

• total-fp

  Public
  Total functional programming (ESFP) literature

  1212 forks•00 stars•00 issues•00 pull requests•Updated Feb 15, 2019Feb 15, 2019

• haskell-resources

  Public
  A List of Foundational Haskell Papers

  7373 forks•00 stars•00 issues•00 pull requests•Updated Jan 21, 2019Jan 21, 2019

• Functional-Programming

  Public
  Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

  Haskell

  •

  The Unlicense

  •158158 forks•00 stars•00 issues•00 pull requests•Updated Dec 8, 2018Dec 8, 2018

• iron

  Public
  Coq formalizations of functional languages.

  Coq

  •

  Other

  •88 forks•00 stars•00 issues•00 pull requests•Updated Sep 7, 2018Sep 7, 2018