Alternatives and similar repositories for StrangeLoop2018:

Users that are interested in StrangeLoop2018 are comparing it to the libraries listed below

• Porges / programming-history
  Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.
  ☆45Updated 6 years ago
• conal / talk-2018-deep-learning-rebooted
  "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
  ☆52Updated 5 years ago
• computationclub / computationclub.github.io
  The website of the London Computation Club
  ☆75Updated last year
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆77Updated 2 years ago
• siraben / eopl
  Implementation of the languages from the EOPL textbook in Haskell and Standard ML.
  ☆15Updated 5 years ago
• chris-taylor / LondonHUG
  Presentation/code from my talk at London HUG
  ☆57Updated 12 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 9 years ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆77Updated 8 months ago
• TikhonJelvis / talks
  Slides for my talks at various meetups.
  ☆21Updated 7 months ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆87Updated 14 years ago
• CompSciCabal / reading-material
  Reading schedule and our library of pdfs
  ☆24Updated 5 years ago
• janestreet / jenga
  Build system
  ☆90Updated 6 years ago
• srghma / category-theory-bartosz-milewski-lecture-notes
  Category theory for programmers lecture notes
  ☆23Updated 6 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆59Updated 4 years ago
• bmsherman / blog
  ☆41Updated 10 years ago
• strangeloop / StrangeLoop2016
  Strange Loop 2016
  ☆45Updated 8 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• strangeloop / StrangeLoop2017
  Strange Loop 2017
  ☆77Updated 7 years ago
• nikivazou / presentations
  Presentations on Liquid Haskell, type theory, and more
  ☆45Updated 5 months ago
• conal / talk-2014-bayhac-denotational-design
  Denotational Design: from programs to meanings
  ☆98Updated 9 years ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆59Updated 5 years ago
• pcarbonn / H-Calc
  So, you want to write a DSL interpreter...
  ☆25Updated 6 years ago
• BartoszMilewski / AofC2017
  Advent of Code 2017
  ☆41Updated 6 years ago
• expede / teaching-fp
  Techniques, advice, and anecdotes about how to teach Functional Programming
  ☆57Updated 8 years ago
• conal / talk-2015-more-elegant-frp
  A more elegant specification for FRP
  ☆24Updated last year
• strangeloop / StrangeLoop2015
  ☆64Updated 8 years ago
• ruliana / racket-examples
  Examples of the nice parts of Racket
  ☆22Updated 7 years ago
• rpeszek / notes-milewski-ctfp-hs
  Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
  ☆34Updated 5 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 4 months ago
• mpickering / 500-sql-haskell
  A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
  ☆46Updated 6 years ago