Alternatives and similar repositories for lexi-lambda.github.io

Users that are interested in lexi-lambda.github.io are comparing it to the libraries listed below

• divarvel / haskle
  Source code for haskle.net
  ☆30Updated 2 years ago
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆35Updated last week
• cdupont / Timeloop
  ☆41Updated 2 years ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆60Updated 5 years ago
• ners / dosh
  📺 The power of Haskell in your terminal!
  ☆43Updated 3 months ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆54Updated 3 months ago
• fosskers / org-mode
  Parser for Emacs org-mode files
  ☆37Updated last month
• lexi-lambda / talks
  ☆45Updated 2 years ago
• corazza / game-idris
  A 2D platformer in Idris, a dependently-typed purely functional programming language
  ☆25Updated 5 years ago
• serras / zurihac-workshop
  A bit of DSLs, a bit of I/O
  ☆15Updated 2 years ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆89Updated this week
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆38Updated 2 years ago
• phoityne / haskell-dap
  Haskell implementation of DAP interface data.
  ☆26Updated 4 months ago
• haskelltoo / mhc
  The Montreal Haskell Compiler
  ☆26Updated 3 months ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• jaspervdj / blaze-markup
  Core modules for a blazing fast markup combinator library
  ☆24Updated 8 months ago
• lexi-lambda / shattered-plans
  ☆40Updated 2 years ago
• kowainik / kowainik.github.io
  🎂 Kowainik web page
  ☆31Updated 2 years ago
• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆17Updated 2 years ago
• nomeata / haskell-via-sokoban
  A haskell tutorial using CodeWorld
  ☆19Updated last year
• ohad / collie
  Command line interface library in Idris
  ☆33Updated last year
• parsonsmatt / parsonsmatt.github.io
  My Github pages website
  ☆77Updated last month
• vmchale / dickinson
  Text generation language
  ☆34Updated 4 months ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆36Updated last year
• well-typed / full-text-search
  An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.
  ☆49Updated last year
• alt-romes / haskell-x-swift-project-steps
  A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post
  ☆16Updated last year
• marseillebd / nanopass
  Haskell port of the Nanopass Compiler Framework
  ☆23Updated last month
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆45Updated 4 years ago
• srid / ema-template
  Template repo for Ema static site generator
  ☆26Updated 2 months ago
• glebec / left-recursion
  Quick explanation of eliminating left recursion in Haskell parsers
  ☆57Updated 4 years ago