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
• raganwald / combinators.info
  ☆23Updated 12 years ago
• strangeloop / StrangeLoop2015
  ☆64Updated 8 years ago
• strangeloop / StrangeLoop2016
  Strange Loop 2016
  ☆45Updated 8 years ago
• strangeloop / StrangeLoop2017
  Strange Loop 2017
  ☆77Updated 7 years ago
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 8 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
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 years ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆59Updated 5 years ago
• conal / talk-2014-bayhac-denotational-design
  Denotational Design: from programs to meanings
  ☆98Updated 9 years ago
• steshaw / tdd-with-idris
  Working through Type-Driven Development with Idris
  ☆24Updated 8 years ago
• computationclub / computationclub.github.io
  The website of the London Computation Club
  ☆75Updated last year
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 9 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆58Updated 4 years ago
• nikivazou / presentations
  Presentations on Liquid Haskell, type theory, and more
  ☆45Updated 7 months ago
• ruliana / racket-examples
  Examples of the nice parts of Racket
  ☆22Updated 7 years ago
• vmchale / coronavirus
  covid-19 data in J
  ☆16Updated 3 years ago
• BartoszMilewski / AofC2017
  Advent of Code 2017
  ☆41Updated 6 years ago
• tonymorris / parametricity-exercises
  Exercises designed specifically to demonstrate parametricity
  ☆28Updated 11 years ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆87Updated 15 years ago
• strangeloop / StrangeLoop2014
  Strange Loop 2014 archives
  ☆188Updated 10 years ago
• TikhonJelvis / talks
  Slides for my talks at various meetups.
  ☆21Updated last month
• SeanTAllen / pat-helland-and-me
  Materials related to my talk "Pat Helland and Me"
  ☆14Updated 5 years ago
• danboykis / monads-in-clojure
  Konrad Hinsen's OnClojure.com tutorial
  ☆18Updated 8 years ago
• siraben / eopl
  Implementation of the languages from the EOPL textbook in Haskell and Standard ML.
  ☆15Updated 5 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆22Updated 8 years ago
• TikhonJelvis / Reactive-Life
  A functional reactive GUI for John Conway's Game of Life.
  ☆25Updated 8 years ago
• coeffects / coeffects-thesis
  The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
  ☆26Updated 8 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago