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
• LambdaCon / 2015
  Slides and sources from LambdaCon 2015 edition.
  ☆43Updated 5 years ago
• svanderbleek / haskellandchill.com
  writing on haskell
  ☆33Updated 8 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 7 years ago
• gigasquid / babar
  A little language for machines with speech acts
  ☆110Updated 6 years ago
• strangeloop / StrangeLoop2017
  Strange Loop 2017
  ☆77Updated 7 years ago
• jessitron / microlib
  Importer program for microlibraries. Bring in the libbits!
  ☆17Updated 10 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆100Updated 9 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆72Updated 9 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆33Updated 10 years ago
• Porges / programming-history
  Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.
  ☆45Updated 7 years ago
• cmeiklejohn / PMLDC
  Programming Models and Languages for Distributed Computation
  ☆239Updated 6 years ago
• david-pfx / Andl
  Andl is A New Database Language
  ☆75Updated 9 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 9 years ago
• coeffects / coeffects-thesis
  The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
  ☆27Updated 8 years ago
• alexanderkyte / VerticalFingerTree
  ☆33Updated 9 years ago
• bfontaine / Katas
  27 katas in 27 languages (not only CoffeeScript, GitHub!)
  ☆20Updated 4 years ago
• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆70Updated 15 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• conal / talk-2014-bayhac-denotational-design
  Denotational Design: from programs to meanings
  ☆99Updated 9 years ago
• bodil / microkanrens
  Implementations of µKanren in assorted languages
  ☆64Updated 9 years ago
• raganwald / combinators.info
  ☆23Updated 12 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• computationclub / computationclub.github.io
  The website of the London Computation Club
  ☆73Updated 2 years ago
• salesforce / runway-browser
  Interactive visualization framework for Runway models of distributed systems
  ☆186Updated 3 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• hugomg / hexiom
  SAT-based solver for the Hexiom logic puzzle
  ☆33Updated 13 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆48Updated 8 years ago