Alternatives and similar repositories for categories-for-programmers

Users that are interested in categories-for-programmers are comparing it to the libraries listed below

• jwiegley / thinking-with-functions
  A brief presentation on Denotational Design, based on Conal Elliott's work
  ☆24Updated 5 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆68Updated 11 years ago
• mpickering / hlint-refactor-mode
  Emacs bindings for hlint's --refactor option
  ☆27Updated 6 years ago
• chrisdone-archive / haskell-style-guide
  ☆94Updated 9 years ago
• cydparser / demo-emacs-haskell
  A tutorial for using Emacs with Haskell projects
  ☆43Updated 3 years ago
• swr1bm86 / Ntha
  The Ntha Programming Language
  ☆91Updated 8 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆62Updated 10 years ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆59Updated 5 years ago
• scotty-web / scotty-starter
  A starter-kit for the Scotty web framework
  ☆65Updated 7 years ago
• jekor / hesh
  Haskell Extensible Shell
  ☆68Updated 5 years ago
• mchav / CourseraMachineLearning
  Exercises and notes from the Coursera Machine Learning Course by Andrew Ng.
  ☆18Updated 6 years ago
• RKlompUU / FPSheet
  FPSheet: A Spreadsheet program with Haskell as the scripting language
  ☆96Updated 4 years ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆50Updated 10 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 4 months ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 10 years ago
• ajkavanagh / pacman
  curses Pac-man game in Haskell -- mostly finished, very playable
  ☆33Updated 6 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 10 years ago
• leon-vv / Todo
  Idris Todo web application example
  ☆42Updated 2 years ago
• haskell-lisp / historic-lisk
  S-expression-based syntax alternative for Haskell.
  ☆21Updated 11 years ago
• aisamanra / s-cargot
  Elaborate and expressive S-Expression library for Haskell
  ☆62Updated last year
• jaspervdj / talks
  Slides & demos for talks I do
  ☆58Updated 4 years ago
• mpickering / 500-sql-haskell
  A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
  ☆46Updated 6 years ago
• jmoy / alexhappy
  Examples for the book “Alex and Happy”
  ☆34Updated 10 years ago
• frenchy64 / stream-fusion
  ☆12Updated 10 years ago
• mthom / shentong
  A Haskell implementation of the Shen programming language.
  ☆170Updated 7 years ago
• puffnfresh / iridium
  xmonad with the X11 abstracted and configured with Idris
  ☆209Updated 6 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆47Updated 7 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 8 months ago
• QuentinDuval / IdrisPipes
  A library for composable and effectful production, transformation and consumption of streams of data in Idris
  ☆37Updated 7 years ago