strangeloop / StrangeLoop2014
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
- ☆64Updated 8 years ago
- Strange Loop 2016☆45Updated 8 years ago
- a Racket language inspired by ARc, by Kogir☆29Updated 11 years ago
- Racket support for Amazon Web Services.☆78Updated 4 months ago
- All the ML code examples from the book "The Little MLer"☆87Updated 14 years ago
- miniKanren for interactive tutorials on the web☆33Updated 7 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- ☆15Updated 9 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 9 years ago
- An Haskell oriented introduction to Category Theory (with basket of cats!)☆63Updated 5 years ago
- an attempt to implement miniKanren and microKanren in Python☆52Updated 10 years ago
- ☆50Updated 9 years ago
- Implementations of µKanren in assorted languages☆61Updated 8 years ago
- a relational algebra library for JavaScript☆59Updated 9 years ago
- Kenichi Asai's reflective programming language Black☆197Updated 2 years ago
- Server for stable, curated Haskell package sets☆108Updated this week
- My notes at the Elm conference in St Louis, 2016☆8Updated 8 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 6 years ago
- MLton with Realtime GC and Threading features☆103Updated 11 months ago
- Archived, see https://github.com/mirage/mirage/issues/1159 for details. Old: Core platform libraries for Mirage (UNIX and Xen). This prov…☆77Updated 4 years ago
- Sample code for February 2016 Houston Golang Meetup☆22Updated 3 years ago
- Classroom demonstration of costly state verification in finance☆16Updated 9 years ago
- Techniques, advice, and anecdotes about how to teach Functional Programming☆57Updated 8 years ago
- Vert.x 2.x is deprecated - use instead☆74Updated 8 years ago
- A graph based REPL that saves to and loads from disk☆44Updated 9 years ago
- Test-driven system administration with a little extra logic.☆388Updated 6 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆126Updated 12 years ago
- Learning Haskell☆49Updated 9 years ago
- Legacy: Planetary System is a math-enabled Web 3.0 information portal.☆79Updated 8 years ago