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
• haskell-lisp / lisk
  Exploratory new work on a Haskell Lisp
  ☆16Updated 9 years ago
• alanz / HaRe
  The Haskell Refactoring Tool
  ☆137Updated 5 years ago
• jwiegley / notes
  ☆48Updated 3 weeks ago
• purescript-emacs / psc-ide-emacs
  Emacs integration for PureScript's psc-ide tool.
  ☆133Updated last month
• jekor / hesh
  Haskell Extensible Shell
  ☆68Updated 4 years ago
• aisamanra / s-cargot
  Elaborate and expressive S-Expression library for Haskell
  ☆61Updated last year
• cydparser / demo-emacs-haskell
  A tutorial for using Emacs with Haskell projects
  ☆43Updated 3 years ago
• sjsyrek / berlin-functional-programming-group
  Code and other projects for the Berlin Functional Programming Group.
  ☆43Updated 7 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 9 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 7 months ago
• mrkkrp / ebal
  *DEPRECATED* Emacs interface to Cabal and Stack
  ☆29Updated 7 years ago
• mchav / CourseraMachineLearning
  Exercises and notes from the Coursera Machine Learning Course by Andrew Ng.
  ☆18Updated 6 years ago
• chrisdone-archive / haskell-style-guide
  ☆94Updated 8 years ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆50Updated 10 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• haskell-game / bgfx
  Haskell bindings to bgfx, a cross-platform, graphics API agnostic, "Bring Your Own Engine/Framework" style rendering library.
  ☆32Updated 9 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
• jekor / redo
  djb's redo implementation in Haskell (for Haskell from Scratch video series)
  ☆146Updated 7 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 10 years ago
• scotty-web / scotty-starter
  A starter-kit for the Scotty web framework
  ☆65Updated 7 years ago
• swr1bm86 / Ntha
  The Ntha Programming Language
  ☆92Updated 8 years ago
• mthom / shentong
  A Haskell implementation of the Shen programming language.
  ☆170Updated 7 years ago
• RefactoringTools / HaRe
  The Haskell Refactoring Tool
  ☆138Updated 8 years ago
• isovector / jazz
  i bet you there is a typesystem behind music
  ☆32Updated 6 years ago
• idris-hackers / idris-koans
  Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…
  ☆180Updated 7 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 3 months ago