Alternatives and similar repositories for staticstaging:

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

• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆72Updated 11 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…
  ☆30Updated 9 years ago
• coeffects / coeffects-thesis
  The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
  ☆26Updated 7 years ago
• yallop / haskell2014-papers
  Accepted papers for Haskell 2014
  ☆52Updated 8 years ago
• jonsterling / Lens.hpp
  Functional Lenses in C++
  ☆21Updated 13 years ago
• yallop / popl2015-papers
  Accepted papers for POPL 2015
  ☆67Updated 8 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 3 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• ekmett / hyperloglog
  A constant-memory approximation of set membership
  ☆24Updated 2 months ago
• bos / suffixtree
  An efficient, lazy suffix tree implementation
  ☆13Updated 4 years ago
• IntelLabs / flrc-lib
  Pillar compiler, Pillar runtime, garbage collector.
  ☆23Updated 2 years ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆55Updated 6 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆13Updated 8 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• haskell-distributed / distributed-process-demos
  Cloud Haskell Demonstration
  ☆18Updated 9 years ago
• facebookarchive / hs-zstd
  Bindings to the Zstandard library to make it usable from the Haskell programming language.
  ☆45Updated 8 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated 4 months ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆74Updated 12 years ago
• nikita-volkov / graph-db
  An experimental native Haskell graph database
  ☆61Updated 6 years ago
• sigma-andex / idris-refined
  Port of Scala/Haskell Refined library to Idris
  ☆17Updated 3 years ago
• lpeterse / koka
  A function-oriented language with effect inference
  ☆19Updated 10 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 9 years ago
• chris-taylor / LondonHUG
  Presentation/code from my talk at London HUG
  ☆57Updated 12 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 10 years ago
• texodus / forml
  A programming language
  ☆77Updated 11 years ago
• bos / llvm
  Haskell bindings to the LLVM compiler infrastructure project.
  ☆105Updated 5 years ago
• ekmett / gc
  Poor Richard's Memory Manager
  ☆15Updated 3 years ago