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
- Importer program for microlibraries. Bring in the libbits!☆18Updated 9 years ago
- Offline serializability verification, in Clojure☆68Updated 7 years ago
- Classroom demonstration of costly state verification in finance☆16Updated 9 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆13Updated 8 years ago
- a relational algebra library for JavaScript☆59Updated 9 years ago
- The official supporting materials repository for LambdaConf 2015.☆90Updated 9 years ago
- Slides and sources from LambdaCon 2015 edition.☆43Updated 5 years ago
- Strange Loop 2017☆77Updated 7 years ago
- Using QuickCheck to test functions in other languages/environments.☆32Updated 9 years ago
- A DNS server that automatically starts unikernels on demand☆22Updated 9 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 6 years ago
- Archived, see https://github.com/mirage/mirage/issues/1159 for details. Old: Core platform libraries for Mirage (UNIX and Xen). This prov…☆77Updated 4 years ago
- Adapton Project Homepage☆16Updated 8 years ago
- Resources from the Polyconf 2015 talk & relational interpreters workshop☆16Updated 9 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 7 years ago
- Machi file store☆121Updated 8 years ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 7 years ago
- A library for doing stuff to other stuff.☆213Updated 11 years ago
- @reiddraper's test.check (née simple-check), made Clojure/ClojureScript-portable DEPRECATED☆125Updated 9 years ago
- A little language for machines with speech acts☆110Updated 5 years ago
- Getting Widespread OCaml Adoption☆85Updated 6 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆68Updated 14 years ago
- Server for stable, curated Haskell package sets☆107Updated 2 weeks ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 9 years ago
- DEPRECATED☆12Updated 9 years ago
- Implementations of µKanren in assorted languages☆61Updated 8 years ago