strangeloop / StrangeLoop2014Links
Strange Loop 2014 archives
☆188Updated 10 years ago
Alternatives and similar repositories for StrangeLoop2014
Users that are interested in StrangeLoop2014 are comparing it to the libraries listed below
Sorting:
- ☆64Updated 8 years ago
- Strange Loop 2016☆45Updated 8 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- Java Code Generator for Idris☆71Updated 9 years ago
- Classroom demonstration of costly state verification in finance☆16Updated 10 years ago
- Server for stable, curated Haskell package sets☆109Updated last week
- a Racket language inspired by ARc, by Kogir☆29Updated 11 years ago
- 99 Problems in OCaml☆22Updated 9 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆47Updated 7 years ago
- Test-driven system administration with a little extra logic.☆387Updated 6 years ago
- Strange Loop 2013☆322Updated 11 years ago
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 6 years ago
- a relational algebra library for JavaScript☆60Updated 10 years ago
- A little language for machines with speech acts☆110Updated 6 years ago
- Slides and sources from LambdaCon 2015 edition.☆43Updated 5 years ago
- An Haskell oriented introduction to Category Theory (with basket of cats!)☆63Updated 5 years ago
- Benchmark a Haskell websocket server with tsung☆13Updated 9 years ago
- ☆21Updated 13 years ago
- ☆41Updated 10 years ago
- miniKanren for interactive tutorials on the web☆34Updated 3 weeks ago
- Code samples and exercise solutions for /Functional Programming for the Object-Oriented Programmer/☆144Updated 2 years ago
- ☆15Updated 9 years ago
- A DNS server that automatically starts unikernels on demand☆22Updated 9 years ago
- an attempt to implement miniKanren and microKanren in Python☆52Updated 10 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 6 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 10 years ago
- Examples of the book "Real World Haskell" in the Frege programming language☆70Updated 9 years ago
- Forming reliable memories.☆93Updated 5 years ago
- Kenichi Asai's reflective programming language Black☆197Updated 3 years ago