lynn / aoc-2018

Related projects ⓘ

Alternatives and complementary repositories for aoc-2018

• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆117Updated 5 years ago
• lynn / wordpet
  Markov Tamagotchi
  ☆35Updated 3 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆249Updated 8 years ago
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 7 years ago
• mcclure / emily
  Git mirror of https://bitbucket.org/runhello/emily
  ☆58Updated 4 years ago
• isovector / nimic
  a language about nothing
  ☆19Updated 5 years ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆75Updated 4 months ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆13Updated 4 years ago
• ix / lazyboy
  An EDSL implemented in Haskell for programming the Nintendo Game Boy.
  ☆49Updated last year
• tsoding / louis
  Small library for braillizing images
  ☆17Updated 5 years ago
• lynn / aoc-2019
  Advent of Code 2019 solutions in 25 different languages!
  ☆10Updated 4 years ago
• zenzike / yoda
  A simple combinator library
  ☆29Updated 6 years ago
• vaibhavsagar / duffer
  A git-compatible content tracker in Haskell.
  ☆66Updated 4 years ago
• aisamanra / s-cargot
  Elaborate and expressive S-Expression library for Haskell
  ☆61Updated 4 months ago
• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 6 years ago
• jackfirth / lens
  A Racket package for creating and composing pure functional lenses
  ☆74Updated 5 years ago
• TOTBWF / iso
  A reversible language
  ☆23Updated 6 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆22Updated 2 years ago
• quietfanatic / neskell
  NES programming in Haskell? No way!
  ☆38Updated 8 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• haskell / text-icu
  This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
  ☆47Updated 2 months ago
• TiltMeSenpai / Discord.hs
  Have you heard of our lord and savior Haskell?
  ☆57Updated 7 years ago
• evinism / lambda-explorer
  Tutorial / REPL for the lambda calculus
  ☆62Updated last month
• roelvandijk / base-unicode-symbols
  Unicode alternatives for common functions and operators
  ☆36Updated 3 years ago
• A1kmm / proofsweeper
  Play Minesweeper by formally proving your moves in Idris
  ☆166Updated 2 months ago
• kowainik / slist
  ♾️ Sized list
  ☆46Updated 6 months ago
• dgavedissian / programmer-hero
  HackCambridge 2016, 2nd place in Games and VR - A Guitar Hero clone, written in Haskell
  ☆21Updated 8 years ago
• cronokirby / haze
  A bittorrent client, for learning purposes
  ☆107Updated 5 years ago
• jarcane / red-flag-of-fp
  The Red Flag of Functional Programming
  ☆105Updated 3 years ago
• ocharles / zero-to-quake-3
  Implementing Quake 3 in Haskell & Vulkan
  ☆163Updated 4 years ago