Alternatives and similar repositories for XPC-Calc

Users that are interested in XPC-Calc are comparing it to the libraries listed below

• dpp / LispHaskellIPad
  An iPad app that's a Lisp interpretter... written in Haskell (heh heh heh)
  ☆87Updated 14 years ago
• robrix / ui-effects
  An experiment towards a UI programming model inspired by algebraic effects.
  ☆30Updated 8 years ago
• dannygreg / Pastel
  My colour and font theme for Xcode 4
  ☆21Updated 5 years ago
• alanz / incremental-play
  Playing with incremental parsing and later compiler passes
  ☆12Updated 7 years ago
• novalabsxyz / overture
  A backwards-compatible, modern replacement for the Prelude.
  ☆22Updated 9 years ago
• ekmett / rope
  Fingertrees of Bytestrings
  ☆19Updated 7 years ago
• mchakravarty / haskell.sty
  LaTeX style file to typeset functional languages like Haskell
  ☆26Updated 12 years ago
• ToTal / total
  ☆11Updated 9 years ago
• kazu-yamamoto / cab
  A maintenance command of Haskell cabal packages
  ☆36Updated 6 months ago
• emilaxelsson / ho-rewriting
  A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders
  ☆12Updated last week
• sjoerdvisscher / effects
  Control.Effects
  ☆19Updated 6 years ago
• bgamari / play-type-search
  A hack to find types in Haskell codebases
  ☆10Updated 10 years ago
• joshvera / effects
  An implementation of "Freer Monads, More Extensible Effects".
  ☆20Updated 7 years ago
• thsutton / cha
  A port of miniprl to Haskell with co-/inductive types bolted on the side.
  ☆22Updated 9 years ago
• jonsterling / sml-logical-framework
  Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought
  ☆14Updated 8 years ago
• textmate / haskell.tmbundle
  TextMate support for Haskell
  ☆53Updated 4 years ago
• ollef / rope-utf16-splay
  Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs
  ☆14Updated 4 years ago
• hamishmack / ghcjs
  Haskell to Javascript compiler (via GHC)
  ☆20Updated 6 years ago
• jyp / sctt
  Type-Theory in Sequent Calculus
  ☆14Updated 10 years ago
• robrix / freer-cofreer
  freer monads and cofreer comonads.
  ☆23Updated 7 years ago
• MedeaMelana / JsonGrammar
  Combinators for bidirectional JSON parsing
  ☆21Updated 11 years ago
• blindingskies / BSManagedObjectContextController
  A Core Data silver bullet. Use this class to access a NSManagedObjectContext from anywhere in your iOS or Mac OS X application. With supp…
  ☆18Updated 14 years ago
• msullivan / typecoin
  Typecoin: Massively Multiplayer Online Linear Logic
  ☆18Updated 8 years ago
• pigworker / Gigs-Summer-2018
  what I did on my holidays
  ☆12Updated 7 years ago
• pigworker / Bi71
  being a bidirectional reformulation of Martin-Löf's 1971 type theory
  ☆25Updated 8 years ago
• danielctull / DCTConnectionController
  DEPRECATED: I'm now using AFNetworking like the rest of the world
  ☆25Updated 12 years ago
• robrix / Manifold
  Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.
  ☆18Updated 7 years ago
• frasertweedale / hs-fresnel
  Prism-based parsers and pretty printers
  ☆17Updated 8 years ago
• typelift / Valence
  Abstract Binding Trees
  ☆16Updated 9 years ago
• mchakravarty / language-c-inline
  Inline C & Objective-C in Haskell
  ☆148Updated 8 years ago