Alternatives and similar repositories for milewski-ctfp-pdf

Users that are interested in milewski-ctfp-pdf are comparing it to the libraries listed below

• system-f / fp-course
  Functional Programming Course
  ☆4,212Updated 2 weeks ago
• steshaw / plt
  Programming Language Theory λΠ
  ☆5,320Updated 10 months ago
• jozefg / learn-tt
  A collection of resources for learning type theory and type theory adjacent fields.
  ☆2,369Updated 6 months ago
• sdiehl / write-you-a-haskell
  Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
  ☆3,424Updated 4 years ago
• sdiehl / wiwinwlh
  What I Wish I Knew When Learning Haskell
  ☆2,632Updated last month
• unisonweb / unison
  A friendly programming language from the future
  ☆6,218Updated this week
• BartoszMilewski / Publications
  Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com
  ☆1,278Updated 9 months ago
• winitzki / sofp
  A free book: "The Science of Functional Programming"
  ☆1,460Updated this week
• sarabander / sicp
  HTML5/EPUB3 version of SICP
  ☆4,462Updated 2 years ago
• bitemyapp / learnhaskell
  Learn Haskell
  ☆8,009Updated 2 years ago
• Gabriella439 / post-rfc
  Blog post previews in need of peer review
  ☆2,204Updated 2 years ago
• dhall-lang / dhall-lang
  Maintainable configuration files
  ☆4,379Updated last week
• sarabander / sicp-pdf
  SICP PDF with Texinfo and LaTeX source
  ☆4,351Updated last year
• heathermiller / dist-prog-book
  ☆3,428Updated 4 years ago
• caiorss / Functional-Programming
  Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
  ☆2,700Updated 6 years ago
• ocaml-community / awesome-ocaml
  A curated collection of awesome OCaml tools, frameworks, libraries and articles.
  ☆2,999Updated 2 months ago
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,704Updated this week
• google / haskell-trainings
  Haskell 101 and 102: slides and codelabs
  ☆1,405Updated 2 years ago
• krispo / awesome-haskell
  A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
  ☆3,195Updated 2 years ago
• HigherOrderCO / Kind
  A modern proof language
  ☆3,699Updated 9 months ago
• hemanth / functional-programming-jargon
  Jargon from the functional programming world in simple terms!
  ☆18,655Updated 2 years ago
• purescript / purescript
  A strongly-typed language that compiles to JavaScript
  ☆8,783Updated this week
• rocq-prover / rocq
  The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…
  ☆5,241Updated last week
• typelead / eta
  The Eta Programming Language, a dialect of Haskell on the JVM
  ☆2,630Updated 3 years ago
• sporto / awesome-elm
  A curated list of useful Elm tutorials, libraries and software. Inspired by awesome list. Feel free to contribute.
  ☆3,660Updated last week
• scala-native / scala-native
  Your favorite language gets closer to bare metal.
  ☆4,613Updated last week
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,462Updated last week
• idris-lang / Idris-dev
  A Dependently Typed Functional Programming Language
  ☆3,469Updated 8 months ago
• FStarLang / FStar
  A Proof-oriented Programming Language
  ☆2,907Updated this week
• elm / compiler
  Compiler for Elm, a functional language for reliable webapps.
  ☆7,685Updated last month