Alternatives and similar repositories for StrangeLoop2015

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

• strangeloop / StrangeLoop2014
  Strange Loop 2014 archives
  ☆188Updated 10 years ago
• strangeloop / StrangeLoop2016
  Strange Loop 2016
  ☆45Updated 8 years ago
• jmoy / costlyState
  Classroom demonstration of costly state verification in finance
  ☆16Updated 10 years ago
• computationclub / computationclub.github.io
  The website of the London Computation Club
  ☆73Updated 2 years ago
• strangeloop / StrangeLoop2017
  Strange Loop 2017
  ☆77Updated 7 years ago
• LambdaCon / 2015
  Slides and sources from LambdaCon 2015 edition.
  ☆43Updated 5 years ago
• svanderbleek / haskellandchill.com
  writing on haskell
  ☆33Updated 8 years ago
• jessitron / microlib
  Importer program for microlibraries. Bring in the libbits!
  ☆17Updated 10 years ago
• gigasquid / babar
  A little language for machines with speech acts
  ☆110Updated 6 years ago
• cmeiklejohn / PMLDC
  Programming Models and Languages for Distributed Computation
  ☆239Updated 6 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 7 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆12Updated 9 years ago
• david-pfx / Andl
  Andl is A New Database Language
  ☆75Updated 9 years ago
• strangeloop / StrangeLoop2018
  Strange Loop 2018 resources
  ☆50Updated 6 years ago
• raganwald / combinators.info
  ☆23Updated 12 years ago
• alexanderkyte / VerticalFingerTree
  ☆33Updated 9 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆72Updated 9 years ago
• xixixao / Golem
  Shem's powerful IDE.
  ☆62Updated 5 years ago
• sorenmacbeth / streaming-papers
  A curated collection of papers on streaming algorithms
  ☆187Updated 7 years ago
• aphyr / jepsen-talks
  Slides and resources for talks on partition tolerance
  ☆33Updated 7 years ago
• jcoglan / kanrens
  Various implementations of microKanren
  ☆20Updated 8 years ago
• trvedata / trvesync
  Sandbox for playing around with CRDTs
  ☆30Updated 8 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆33Updated 10 years ago
• SeanTAllen / pat-helland-and-me
  Materials related to my talk "Pat Helland and Me"
  ☆14Updated 5 years ago
• salesforce / runway-browser
  Interactive visualization framework for Runway models of distributed systems
  ☆186Updated 3 years ago
• MagnusS / jitsu
  A DNS server that automatically starts unikernels on demand
  ☆22Updated 9 years ago
• programthecloud / ptcrepo
  Repository for Berkeley's class on Programming the Cloud
  ☆60Updated 5 years ago
• commercialhaskell / stackage-server
  Server for stable, curated Haskell package sets
  ☆109Updated 2 months ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆100Updated 9 years ago