ruuda / blog

Related projects ⓘ

Alternatives and complementary repositories for blog

• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆110Updated 5 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
• dfarr / minesweeper
  ☆64Updated 3 years ago
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆122Updated 4 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 3 years ago
• serras / hinc
  Haskell In New Clothes
  ☆111Updated 4 years ago
• jorendorff / talks
  Some talks I've given
  ☆89Updated last year
• ianthehenry / basilica
  It's kinda like a forum.
  ☆115Updated 3 years ago
• owickstrom / komposition
  The video editor built for screencasters
  ☆429Updated 3 years ago
• channable / alfred-margaret
  Fast Aho-Corasick string searching
  ☆185Updated 2 months ago
• mstksg / advent-of-code-2017
  Advent of Code 2017 (Warning: Spoilers)
  ☆49Updated last week
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆292Updated 3 weeks ago
• A1kmm / proofsweeper
  Play Minesweeper by formally proving your moves in Idris
  ☆166Updated last month
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆409Updated 8 years ago
• alpacaaa / quad-ci
  A CI server written in Simple Haskell.
  ☆188Updated 2 years ago
• KeliLanguage / compiler
  The compiler for Keli
  ☆171Updated 5 years ago
• kach / tower-of-power
  What is hip? Tell me, tell me (if you think you know)
  ☆110Updated 6 years ago
• cretz / software-ideas
  ☆88Updated 8 years ago
• topshell-language / topshell
  TopShell - a purely functional, reactive scripting language
  ☆482Updated 3 years ago
• typedefs / typedefs
  Programming language agnostic type construction language based on polynomials.
  ☆366Updated 5 months ago
• Gabriella439 / slides
  Slides from talks that I give
  ☆294Updated last year
• vekatze / neut
  A functional programming language with static memory management
  ☆841Updated this week
• aymannadeem / foldilocks
  Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.
  ☆187Updated 5 years ago
• tonymorris / java-trivia
  Java trivia questions
  ☆66Updated 4 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
• typesanitizer / not-a-blog
  Not a description.
  ☆126Updated 5 years ago
• trishume / numderline
  Font patcher to using shaping tricks to make it easier to pick out digit groups in numbers without commas
  ☆119Updated last year
• VerbalExpressions / HaskellVerbalExpressions
  ☆63Updated 6 years ago