Alternatives and similar repositories for milewski-ctfp-pdf:

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

• steshaw / plt
  Programming Language Theory λΠ
  ☆5,286Updated 5 months ago
• sdiehl / write-you-a-haskell
  Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
  ☆3,379Updated 4 years ago
• caiorss / Functional-Programming
  Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
  ☆2,694Updated 5 years ago
• unisonweb / unison
  A friendly programming language from the future
  ☆6,006Updated this week
• jozefg / learn-tt
  A collection of resources for learning type theory and type theory adjacent fields.
  ☆2,257Updated 2 weeks ago
• system-f / fp-course
  Functional Programming Course
  ☆4,185Updated 5 months ago
• heathermiller / dist-prog-book
  ☆3,427Updated 4 years ago
• sdiehl / wiwinwlh
  What I Wish I Knew When Learning Haskell
  ☆2,579Updated 3 years ago
• bitemyapp / learnhaskell
  Learn Haskell
  ☆8,001Updated last year
• Gabriella439 / post-rfc
  Blog post previews in need of peer review
  ☆2,198Updated last year
• sarabander / sicp
  HTML5/EPUB3 version of SICP
  ☆4,413Updated 2 years ago
• idris-lang / Idris-dev
  A Dependently Typed Functional Programming Language
  ☆3,457Updated 2 months ago
• dhall-lang / dhall-lang
  Maintainable configuration files
  ☆4,311Updated 3 weeks ago
• sarabander / sicp-pdf
  SICP PDF with Texinfo and LaTeX source
  ☆4,336Updated 10 months ago
• BartoszMilewski / Publications
  Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com
  ☆1,275Updated 3 months ago
• github / semantic
  Parsing, analyzing, and comparing source code across many languages
  ☆9,031Updated last month
• typelead / eta
  The Eta Programming Language, a dialect of Haskell on the JVM
  ☆2,620Updated 2 years ago
• purescript / purescript
  A strongly-typed language that compiles to JavaScript
  ☆8,705Updated 3 weeks ago
• hemanth / functional-programming-jargon
  Jargon from the functional programming world in simple terms!
  ☆18,633Updated last year
• kanaka / mal
  mal - Make a Lisp
  ☆10,272Updated this week
• hwayne / awesome-cold-showers
  For when people get too hyped up about things
  ☆7,285Updated last year
• elm / compiler
  Compiler for Elm, a functional language for reliable webapps.
  ☆7,634Updated 9 months ago
• ponylang / ponyc
  Pony is an open-source, actor-model, capabilities-secure, high performance programming language
  ☆5,845Updated this week
• xi-editor / xi-editor
  A modern editor with a backend written in Rust.
  ☆19,815Updated last year
• Frege / frege
  Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
  ☆3,653Updated 2 months ago
• carp-lang / Carp
  A statically typed lisp, without a GC, for real-time applications.
  ☆5,649Updated 5 months ago
• xgrommx / awesome-functional-programming
  Yet another resource for collecting articles, videos etc. regarding functional programming
  ☆3,498Updated last year
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,489Updated 2 weeks ago
• Wilfred / difftastic
  a structural diff that understands syntax 🟥🟩
  ☆22,120Updated last week
• XAMPPRocky / tokei
  Count your code, quickly.
  ☆12,296Updated 2 months ago