computationclub / computationclub.github.ioLinks
The website of the London Computation Club
☆74Updated 2 years ago
Alternatives and similar repositories for computationclub.github.io
Users that are interested in computationclub.github.io are comparing it to the libraries listed below
Sorting:
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 7 years ago
- Let's program! Get into programming writing a simple game.☆75Updated 11 years ago
- ☆64Updated 9 years ago
- Techniques, advice, and anecdotes about how to teach Functional Programming☆57Updated 9 years ago
- Talk material for LambdaJam 2014/2015 on denotational design☆122Updated 2 years ago
- Shem's powerful IDE.☆62Updated 5 years ago
- All the ML code examples from the book "The Little MLer"☆87Updated 15 years ago
- Total functional programming (ESFP) literature☆187Updated 6 years ago
- Make a lambda calculus.☆87Updated 5 years ago
- Learning Haskell☆50Updated 10 years ago
- Kenichi Asai's reflective programming language Black☆198Updated 3 years ago
- An Android app that provides a visual interface for creating and evaluating lambda calculus expressions☆18Updated 9 years ago
- Implementations of µKanren in assorted languages☆64Updated 9 years ago
- Cleaned-up HTML version of Alan Kay's HOPL paper, "The Early History of Smalltalk"☆222Updated 9 months ago
- Repeat from the sign☆80Updated 9 years ago
- Not a description.☆126Updated 6 years ago
- A book on programming languages, using Haskell☆167Updated 4 years ago
- ☆56Updated 8 years ago
- writing on haskell☆33Updated 9 years ago
- A tutorial to the Idris Programming Language.☆95Updated 10 years ago
- Demonstration of implementing a language in Racket☆58Updated 11 years ago
- Revive Hugs98 from its last official self-contained distribution.☆40Updated last month
- djb's redo implementation in Haskell (for Haskell from Scratch video series)☆148Updated 8 years ago
- A multi-threaded, TCP, key-value store inspired by Redis implemented in Haskell.☆138Updated 7 years ago
- Strange Loop 2014 archives☆188Updated 11 years ago
- The official supporting materials repository for LambdaConf 2015.☆90Updated 10 years ago
- ☆124Updated 5 years ago
- Denotational Design: from programs to meanings☆100Updated 9 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- The repository for the zine☆31Updated 10 years ago