Alternatives and similar repositories for categories-for-programmers:

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

• mpickering / hlint-refactor-mode
  Emacs bindings for hlint's --refactor option
  ☆27Updated 6 years ago
• frenchy64 / stream-fusion
  ☆12Updated 9 years ago
• jwiegley / thinking-with-functions
  A brief presentation on Denotational Design, based on Conal Elliott's work
  ☆24Updated 5 years ago
• bergey / org-babel-diagrams
  embed haskell diagrams in emacs org-mode files
  ☆10Updated 9 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 9 years ago
• jwiegley / notes
  ☆48Updated this week
• aisamanra / s-cargot
  Elaborate and expressive S-Expression library for Haskell
  ☆61Updated 9 months ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 3 weeks ago
• panicz / master-thesis
  Data Structure Optimization for Functional Programs
  ☆33Updated 6 years ago
• JakobBruenker / curses-idris
  Curses bindings package for Idris
  ☆13Updated 6 years ago
• haskell-lisp / lisk
  Exploratory new work on a Haskell Lisp
  ☆16Updated 8 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆68Updated 11 years ago
• mrkkrp / ebal
  *DEPRECATED* Emacs interface to Cabal and Stack
  ☆29Updated 7 years ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 10 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 9 years ago
• chrisdone-archive / haskell-style-guide
  ☆94Updated 8 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 4 months ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆50Updated 10 years ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆59Updated 4 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• haskell / text-icu
  This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
  ☆48Updated 3 weeks ago
• mchav / CourseraMachineLearning
  Exercises and notes from the Coursera Machine Learning Course by Andrew Ng.
  ☆18Updated 6 years ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆62Updated 9 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆46Updated 7 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 5 years ago
• ruliana / racket-examples
  Examples of the nice parts of Racket
  ☆22Updated 7 years ago
• alanz / HaRe
  The Haskell Refactoring Tool
  ☆136Updated 5 years ago
• lexi-lambda / megaparsack
  Racket parser combinators inspired by parsack and megaparsec
  ☆80Updated 6 months ago
• jaredloomis / Idris-HoTT
  Homotopy Type Theory proofs in Idris
  ☆22Updated 5 years ago