computationclub / computationclub.github.io
The website of the London Computation Club
☆74Updated last year
Related projects: ⓘ
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 6 years ago
- Let's program! Get into programming writing a simple game.☆76Updated 10 years ago
- A programming language that runs in Haskell's type system.☆249Updated 8 years ago
- Projects for LambdaConf 2015 Haskell web workshop☆63Updated 9 years ago
- A repo for my presentations.☆27Updated 6 years ago
- All the ML code examples from the book "The Little MLer"☆86Updated 14 years ago
- Forth clone in Haskell☆31Updated 7 years ago
- ☆55Updated 7 years ago
- Not a description.☆126Updated 5 years ago
- Book: Introduction to Dependent Types with Idris☆75Updated last year
- An Haskell oriented introduction to Category Theory (with basket of cats!)☆61Updated 4 years ago
- Learning Haskell☆49Updated 8 years ago
- Basic starter config for Vim and Haskell☆64Updated 5 years ago
- Revive Hugs98 from its last official self-contained distribution.☆37Updated 3 years ago
- Total functional programming (ESFP) literature☆187Updated 5 years ago
- ☆94Updated 8 years ago
- Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…☆179Updated 6 years ago
- History of Programming Languages, Spring 2017☆127Updated 6 years ago
- The official supporting materials repository for LambdaConf 2015.☆90Updated 9 years ago
- A collection of introductory tutorials on Haskell libraries☆43Updated 9 years ago
- Collection of Idris tests and demonstration programs☆189Updated 6 years ago
- A book on programming languages, using Haskell☆165Updated 3 years ago
- A simple Prolog interpreter☆43Updated 2 years ago
- Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.☆188Updated 5 years ago
- A tutorial to the Idris Programming Language.☆95Updated 8 years ago
- Server for stable, curated Haskell package sets☆106Updated 3 months ago
- writing on haskell☆33Updated 7 years ago
- Code samples for my book "Haskell Tutorial and Cookbook"☆79Updated this week
- A reference sheet for the basics of the mind-expanding Haskell language ^_^☆28Updated 4 years ago
- A Web Browser written with Haskell☆36Updated 3 years ago