strangeloop / StrangeLoop2014
Strange Loop 2014 archives
☆187Updated 10 years ago
Alternatives and similar repositories for StrangeLoop2014:
Users that are interested in StrangeLoop2014 are comparing it to the libraries listed below
- ☆64Updated 8 years ago
- miniKanren for interactive tutorials on the web☆33Updated 7 years ago
- Strange Loop 2016☆45Updated 8 years ago
- Racket support for Amazon Web Services.☆78Updated 5 months ago
- Classroom demonstration of costly state verification in finance☆16Updated 10 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 6 years ago
- All the ML code examples from the book "The Little MLer"☆87Updated 14 years ago
- 99 Problems in OCaml☆22Updated 9 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- ☆49Updated 12 years ago
- Learning Haskell☆49Updated 9 years ago
- a Racket language inspired by ARc, by Kogir☆29Updated 11 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- Kenichi Asai's reflective programming language Black☆196Updated 2 years ago
- Server for stable, curated Haskell package sets☆108Updated 2 weeks ago
- a relational algebra library for JavaScript☆59Updated 9 years ago
- Techniques, advice, and anecdotes about how to teach Functional Programming☆57Updated 8 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆126Updated 12 years ago
- A small demo lambda-language written in Python☆31Updated 6 years ago
- A distribution of Aquamacs, SBCL and SLIME which offers the simplest way to run Common Lisp on Mac OS X☆17Updated 16 years ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 2 years ago
- Iterated Function Systems fractals with OCaml.☆35Updated 2 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- Slides and sources from LambdaCon 2015 edition.☆43Updated 5 years ago
- Getting Widespread OCaml Adoption☆85Updated 7 years ago
- My notes at the Elm conference in St Louis, 2016☆8Updated 8 years ago
- ☆41Updated 10 years ago
- Materials and accompanying references for all things pwlconf related☆59Updated 5 years ago