jwiegley / thinking-with-functions

Related projects ⓘ

Alternatives and complementary repositories for thinking-with-functions

• mpickering / hlint-refactor-mode
  Emacs bindings for hlint's --refactor option
  ☆27Updated 5 years ago
• jwiegley / notes
  ☆45Updated 3 months ago
• bergey / org-babel-diagrams
  embed haskell diagrams in emacs org-mode files
  ☆10Updated 8 years ago
• haskell / haskell-snippets
  Official collection of YASnippet Haskell snippets for Emacs.
  ☆12Updated 3 years ago
• hasky-mode / hasky-extensions
  Toggle Haskell language extensions from Emacs
  ☆22Updated 4 years ago
• soupi / minimal-haskell-emacs
  A minimal emacs configuration for haskell programming
  ☆31Updated 2 years ago
• flycheck / flycheck-haskell
  Improved Haskell support for Flycheck
  ☆67Updated last year
• sergv / emacs-module
  Wrappers around emacs-module.h to write Emacs modules in Haskell
  ☆55Updated 5 months ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• david-christiansen / idris-interaction.rkt
  A Racket library for interacting with Idris over the IDE protocol
  ☆30Updated 6 years ago
• hasky-mode / hasky-stack
  Interface to the Stack Haskell development tool
  ☆27Updated 4 years ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆43Updated 12 years ago
• lexi-lambda / racket-higher-rank
  ☆21Updated 7 years ago
• SuzanneSoy / type-expander
  Type expanders (i.e. type-level functions) for Typed/Racket
  ☆17Updated 2 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 6 years ago
• lexi-lambda / functional
  Functional interfaces and datatypes for Racket
  ☆42Updated 3 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 5 years ago
• mietek / formal-logic
  TODO
  ☆23Updated 9 years ago
• JakobBruenker / curses-idris
  Curses bindings package for Idris
  ☆13Updated 5 years ago
• david-christiansen / prop-menu-el
  Compute pop-up menus from text and overlay properties
  ☆11Updated 9 years ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 4 years ago
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 6 years ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆57Updated 4 years ago
• reinh / haskell-wishlist
  A curated wishlist of Haskell libraries, packages, and tools
  ☆16Updated 8 years ago
• ziman / idris-ocaml
  OCaml back end for Idris
  ☆22Updated 6 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 5 months ago
• shlevy / cat-fiat
  An attempt to formalize unix cat in fiat
  ☆12Updated 7 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆14Updated 9 years ago