strangeloop / StrangeLoop2015Links
☆64Updated 8 years ago
Alternatives and similar repositories for StrangeLoop2015
Users that are interested in StrangeLoop2015 are comparing it to the libraries listed below
Sorting:
- Strange Loop 2014 archives☆188Updated 10 years ago
- Strange Loop 2016☆45Updated 8 years ago
- Strange Loop 2017☆77Updated 7 years ago
- Classroom demonstration of costly state verification in finance☆16Updated 10 years ago
- Slides and sources from LambdaCon 2015 edition.☆43Updated 5 years ago
- A little language for machines with speech acts☆110Updated 6 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- writing on haskell☆33Updated 8 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- A DNS server that automatically starts unikernels on demand☆22Updated 9 years ago
- Implementations of µKanren in assorted languages☆64Updated 9 years ago
- A curated collection of papers on streaming algorithms☆187Updated 7 years ago
- Programming Models and Languages for Distributed Computation☆239Updated 6 years ago
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 6 years ago
- The website of the London Computation Club☆74Updated last year
- Strange Loop 2018 resources☆50Updated 6 years ago
- ☆23Updated 12 years ago
- an example airship app☆14Updated 9 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 10 years ago
- Java Code Generator for Idris☆72Updated 9 years ago
- Server for stable, curated Haskell package sets☆109Updated 3 weeks ago
- Andl is A New Database Language☆75Updated 9 years ago
- Shem's powerful IDE.☆62Updated 4 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 8 years ago
- Sandbox for playing around with CRDTs☆30Updated 7 years ago
- Materials and accompanying references for all things pwlconf related☆59Updated 5 years ago
- Javascript bindings for Irmin☆31Updated 9 years ago
- Shen on javascript.☆70Updated 6 years ago
- Getting Widespread OCaml Adoption☆84Updated 7 years ago
- Kenichi Asai's reflective programming language Black☆197Updated 3 years ago