ruuda / blog

Related projects ⓘ

Alternatives and complementary repositories for blog

• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 3 years ago
• ianthehenry / basilica
  It's kinda like a forum.
  ☆115Updated 3 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆110Updated 5 years ago
• svanderbleek / haskellandchill.com
  writing on haskell
  ☆33Updated 7 years ago
• serras / hinc
  Haskell In New Clothes
  ☆111Updated 4 years ago
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆122Updated 4 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 5 years ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆302Updated last year
• tibastral / elm-snake
  ☆111Updated 4 years ago
• Gabriella439 / simple-twitter
  A bare-bones Twitter clone implemented in a single file
  ☆725Updated 3 years ago
• owickstrom / komposition
  The video editor built for screencasters
  ☆429Updated 3 years ago
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 3 years ago
• WesleyAC / plotty-bird
  Flappy Bird implemented on the HP7440A pen plotter
  ☆175Updated 5 years ago
• aviaviavi / cryptocompare
  Haskell wrapper for the CryptoCompare API - No longer maintained, ping me if you'd like to take over
  ☆80Updated 4 years ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆87Updated 2 years ago
• ivanceras / spongedown
  Markdown with svg bob support
  ☆237Updated 4 years ago
• jcoglan / kanrens
  Various implementations of microKanren
  ☆19Updated 7 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆195Updated this week
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆75Updated 2 years ago
• seagreen / plate
  Algebraic type based schema system
  ☆128Updated 4 years ago
• topshell-language / topshell
  TopShell - a purely functional, reactive scripting language
  ☆483Updated 3 years ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆281Updated 10 years ago
• smallhadroncollider / ascii-runner
  An infinite runner in your terminal
  ☆104Updated 4 years ago
• aymannadeem / foldilocks
  Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.
  ☆187Updated 5 years ago
• seanhess / serials
  "Podcasts app" for serial webfiction and webcomics.
  ☆18Updated 8 years ago
• srid / chronicle
  Forming reliable memories.
  ☆94Updated 4 years ago
• hellerve / ptolemy
  My reading list
  ☆80Updated 2 years ago