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
  ☆25Updated this week
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 10 years ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 10 years ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆62Updated 10 years ago
• cydparser / demo-emacs-haskell
  A tutorial for using Emacs with Haskell projects
  ☆42Updated 3 years ago
• swr1bm86 / Ntha
  The Ntha Programming Language
  ☆91Updated 8 years ago
• jekor / hesh
  Haskell Extensible Shell
  ☆68Updated 5 years ago
• chrisdone-archive / haskell-style-guide
  ☆94Updated 9 years ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆51Updated 10 years ago
• RKlompUU / FPSheet
  FPSheet: A Spreadsheet program with Haskell as the scripting language
  ☆96Updated 4 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 9 months ago
• mpickering / hlint-refactor-mode
  Emacs bindings for hlint's --refactor option
  ☆27Updated 6 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 10 years ago
• alanz / HaRe
  The Haskell Refactoring Tool
  ☆139Updated 5 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 10 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆68Updated 11 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
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 9 years ago
• jaredloomis / Idris-HoTT
  Homotopy Type Theory proofs in Idris
  ☆22Updated 6 years ago
• dylanmc / Haskell-PDF-Parsing-Library
  Library for parsing, transforming and producing PDF files
  ☆25Updated 14 years ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆77Updated last year
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆88Updated 8 years ago
• travitch / datalog
  A pure Haskell implementation of Datalog
  ☆106Updated 5 years ago
• mchakravarty / lets-program
  Let's program! Get into programming writing a simple game.
  ☆75Updated 11 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 5 months ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆58Updated 5 years ago
• puffnfresh / iridium
  xmonad with the X11 abstracted and configured with Idris
  ☆209Updated 6 years ago
• scotty-web / scotty-starter
  A starter-kit for the Scotty web framework
  ☆65Updated 7 years ago
• purescript-emacs / psc-ide-emacs
  Emacs integration for PureScript's psc-ide tool.
  ☆134Updated 3 months ago