ruuda / blog
My personal site
☆124Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for blog
- A Typed, Composable Database Query Language☆104Updated 3 years ago
- It's kinda like a forum.☆115Updated 3 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆110Updated 5 years ago
- writing on haskell☆33Updated 7 years ago
- Haskell In New Clothes☆111Updated 4 years ago
- Pointless: a scripting language for learning and fun☆122Updated 4 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 5 years ago
- A simple expressions language with polymorphic extensible row types.☆302Updated last year
- ☆111Updated 4 years ago
- A bare-bones Twitter clone implemented in a single file☆725Updated 3 years ago
- The video editor built for screencasters☆429Updated 3 years ago
- Generate semi-dynamic UIs with Concur☆58Updated 3 years ago
- Flappy Bird implemented on the HP7440A pen plotter☆175Updated 5 years ago
- Haskell wrapper for the CryptoCompare API - No longer maintained, ping me if you'd like to take over☆80Updated 4 years ago
- tool for creating and sharing annotations, using github for storage and social network☆87Updated 2 years ago
- Markdown with svg bob support☆237Updated 4 years ago
- Various implementations of microKanren☆19Updated 7 years ago
- A typed, polyglot, functional language☆195Updated this week
- optimize your home bar with ✨logic programming✨☆75Updated 2 years ago
- Algebraic type based schema system☆128Updated 4 years ago
- TopShell - a purely functional, reactive scripting language☆483Updated 3 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 10 years ago
- An infinite runner in your terminal☆104Updated 4 years ago
- Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.☆187Updated 5 years ago
- "Podcasts app" for serial webfiction and webcomics.☆18Updated 8 years ago
- Forming reliable memories.☆94Updated 4 years ago
- My reading list☆80Updated 2 years ago