Alternatives and similar repositories for staticstaging:

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

• coeffects / coeffects-thesis
  The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
  ☆26Updated 7 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆29Updated 9 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆72Updated 11 years ago
• yallop / haskell2014-papers
  Accepted papers for Haskell 2014
  ☆52Updated 8 years ago
• lpeterse / koka
  A function-oriented language with effect inference
  ☆19Updated 10 years ago
• bos / suffixtree
  An efficient, lazy suffix tree implementation
  ☆13Updated 4 years ago
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆18Updated 6 years ago
• visq / llvm-regexp
  Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM
  ☆14Updated 14 years ago
• lastland / WebSpec
  ☆18Updated 7 years ago
• ekmett / hyperloglog
  A constant-memory approximation of set membership
  ☆24Updated 3 weeks ago
• yallop / popl2015-papers
  Accepted papers for POPL 2015
  ☆67Updated 8 years ago
• leepike / SmartCheck
  A Smarter QuickCheck
  ☆102Updated 7 years ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆73Updated 12 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• ekmett / gc
  Poor Richard's Memory Manager
  ☆15Updated 3 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆52Updated 8 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• haskell-distributed / distributed-process-demos
  Cloud Haskell Demonstration
  ☆18Updated 9 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• ku-fpg / hood
  Hood debugger, based on the idea of observing functions and structures as they are evaluated.
  ☆19Updated 6 years ago
• andyfinnell / kalerl
  An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.
  ☆12Updated 9 years ago
• Operational-Transformation / ot.hs
  Real-time collaborative editing with Operational Transformation
  ☆39Updated 7 months ago
• mpickering / icfp2015-papers
  Accepted papers for ICFP 2015
  ☆45Updated 8 years ago
• spion / hashtable-latencies
  Latency of a web service that stores a large hashtable, in multiple languages
  ☆44Updated last year
• phadej / heroku-docker-haskell-test
  Heroku + docker + haskell = ?
  ☆13Updated 9 years ago
• well-typed / lens-sop
  Computing lenses generically using generics-sop
  ☆16Updated 3 months ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• tsurucapital / euphoria
  Dynamic network FRP with events and continuous values
  ☆52Updated 4 years ago
• tel / hotep
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Updated 8 years ago