strangeloop / StrangeLoop2015
☆64Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for StrangeLoop2015
- Strange Loop 2014 archives☆188Updated 10 years ago
- Strange Loop 2016☆45Updated 8 years ago
- Slides and sources from LambdaCon 2015 edition.☆43Updated 4 years ago
- Importer program for microlibraries. Bring in the libbits!☆18Updated 9 years ago
- Strange Loop 2017☆77Updated 7 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
- Strange Loop 2018 resources☆50Updated 5 years ago
- A DNS server that automatically starts unikernels on demand☆22Updated 9 years ago
- Classroom demonstration of costly state verification in finance☆16Updated 9 years ago
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 6 years ago
- Using QuickCheck to test functions in other languages/environments.☆32Updated 9 years ago
- A curated collection of papers on streaming algorithms☆187Updated 6 years ago
- a Racket language inspired by ARc, by Kogir☆29Updated 11 years ago
- Papers We ❤ ️ Remote☆26Updated 7 years ago
- The repository for the zine☆30Updated 9 years ago
- Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.☆37Updated 5 years ago
- ☆23Updated 11 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 6 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- writing on haskell☆33Updated 7 years ago
- Come with us now on a journey ♪☆64Updated 7 years ago
- Machi file store☆122Updated 8 years ago
- Materials related to my talk "Pat Helland and Me"☆14Updated 4 years ago
- The official supporting materials repository for LambdaConf 2015.☆90Updated 9 years ago
- A minesweeper game built in Elm.☆14Updated 8 years ago
- An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.☆12Updated 8 years ago
- Keynote for QCon SF 2015!☆38Updated 8 years ago
- 27 katas in 27 languages (not only CoffeeScript, GitHub!)☆20Updated 3 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆99Updated 8 years ago