strangeloop / StrangeLoop2015
☆64Updated 8 years ago
Alternatives and similar repositories for StrangeLoop2015:
Users that are interested in StrangeLoop2015 are comparing it to the libraries listed below
- Strange Loop 2014 archives☆188Updated 10 years ago
- Strange Loop 2016☆45Updated 8 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆13Updated 8 years ago
- Offline serializability verification, in Clojure☆68Updated 7 years ago
- Papers We ❤️ Remote☆26Updated 8 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 7 years ago
- Interactive visualization framework for Runway models of distributed systems☆188Updated 3 years ago
- Slides and sources from LambdaCon 2015 edition.☆43Updated 5 years ago
- Slides and resources for talks on partition tolerance☆33Updated 6 years ago
- Importer program for microlibraries. Bring in the libbits!☆18Updated 9 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 9 years ago
- ☆23Updated 12 years ago
- Programming Models and Languages for Distributed Computation☆240Updated 6 years ago
- Pure Pony Kafka client☆57Updated 5 years ago
- The accompanying repository for The ScalingStatefulServices talk☆126Updated 8 years ago
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 6 years ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 7 years ago
- an example airship app☆14Updated 8 years ago
- An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.☆12Updated 9 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 6 years ago
- A little language for machines with speech acts☆110Updated 5 years ago
- Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.☆38Updated 5 years ago
- A DNS server that automatically starts unikernels on demand☆22Updated 9 years ago
- Keynote for QCon SF 2015!☆38Updated 8 years ago
- Classroom demonstration of costly state verification in finance☆16Updated 9 years ago
- Machi file store☆121Updated 8 years ago
- ☆15Updated 9 years ago
- writing on haskell☆33Updated 8 years ago
- Unprotocols RFC☆46Updated 8 years ago
- Programming Language meets UI☆51Updated 7 years ago