strangeloop / StrangeLoop2015Links
☆64Updated 9 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 11 years ago
- Strange Loop 2016☆45Updated 9 years ago
- Classroom demonstration of costly state verification in finance☆16Updated 10 years ago
- Strange Loop 2017☆77Updated 8 years ago
- A little language for machines with speech acts☆110Updated 6 years ago
- Implementations of µKanren in assorted languages☆64Updated 9 years ago
- A lazy specializing virtual machine for purely functional languages☆103Updated 7 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 10 years ago
- an example airship app☆14Updated 9 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- Slides and sources from LambdaCon 2015 edition.☆43Updated 6 years ago
- SAT-based solver for the Hexiom logic puzzle☆33Updated 13 years ago
- ☆33Updated 9 years ago
- writing on haskell☆33Updated 8 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 9 years ago
- The website of the London Computation Club☆74Updated 2 years ago
- A curated collection of papers on streaming algorithms☆187Updated 7 years ago
- Offline serializability verification, in Clojure☆66Updated 8 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆48Updated 8 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆70Updated 15 years ago
- The repository for the zine☆31Updated 10 years ago
- Programming Models and Languages for Distributed Computation☆240Updated 7 years ago
- Analyst's swiss army knife for visualizing data from ad-hoc log files☆81Updated 9 months ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆12Updated 9 years ago
- Kenichi Asai's reflective programming language Black☆198Updated 3 years ago
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 7 years ago
- Test-driven system administration with a little extra logic.☆389Updated 7 years ago
- Java Code Generator for Idris☆72Updated 9 years ago
- Interactive visualization framework for Runway models of distributed systems☆186Updated 3 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆97Updated 10 years ago