Alternatives and similar repositories for staticstaging

Users that are interested in staticstaging are comparing it to the libraries listed below

• BekaValentine / SimpleFP
  A series of implementations of a simple functional programming language.
  ☆30Updated 10 years ago
• yallop / popl2015-papers
  Accepted papers for POPL 2015
  ☆66Updated 9 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 4 years ago
• coeffects / coeffects-thesis
  The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
  ☆27Updated 8 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆56Updated 8 years ago
• leepike / SmartCheck
  A Smarter QuickCheck
  ☆102Updated 8 years ago
• ekmett / gc
  Poor Richard's Memory Manager
  ☆15Updated 4 years ago
• tsurucapital / euphoria
  Dynamic network FRP with events and continuous values
  ☆52Updated 5 years ago
• GaloisInc / lean-haskell-bindings
  Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/
  ☆22Updated 8 years ago
• lastland / WebSpec
  ☆17Updated 8 years ago
• smichal / hs-logic
  A simple library for Haskell that allows relational programming.
  ☆46Updated 13 years ago
• mpickering / 500-sql-haskell
  A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
  ☆46Updated 6 years ago
• mpickering / icfp2015-papers
  Accepted papers for ICFP 2015
  ☆45Updated 9 years ago
• NicolasT / paxos
  A Haskell library implementing several Paxos-related algorithms
  ☆25Updated 13 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 3 years ago
• ekmett / ersatz
  A monad for interfacing with external SAT solvers
  ☆65Updated 7 months ago
• bollu / diffgeo
  A formalization of synthetic differential geometry in Coq using infinitesimal analysis
  ☆11Updated 4 years ago
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 10 years ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆52Updated 3 years ago
• dterei / GhciOnline
  Online version of GHCi that supports safely executing untrusted code.
  ☆26Updated 10 years ago
• kseo / poly_constraints
  Hindley-Milner type inference using constraints
  ☆50Updated 9 years ago
• yallop / haskell2014-papers
  Accepted papers for Haskell 2014
  ☆52Updated 9 years ago
• conal / talk-2015-haskell-to-hardware
  From Haskell to Hardware via CCCs
  ☆58Updated 9 years ago
• ekmett / hyperloglog
  A constant-memory approximation of set membership
  ☆25Updated last year
• rikusalminen / funfun
  A funny toy programming language project
  ☆29Updated 12 years ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 9 years ago
• conal / essence-of-ad
  Paper: The simple essence of automatic differentiation
  ☆23Updated 7 years ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆74Updated 13 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 6 years ago
• alexanderkyte / VerticalFingerTree
  ☆33Updated 9 years ago