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.
  ☆27Updated 8 years ago
• BekaValentine / SimpleFP
  A series of implementations of a simple functional programming language.
  ☆30Updated 9 years ago
• leepike / SmartCheck
  A Smarter QuickCheck
  ☆102Updated 8 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
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• rrnewton / Essentials-of-Compilation
  A book about compiling Racket to x86-64 assembly
  ☆21Updated 8 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆122Updated 8 years ago
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• alexanderkyte / VerticalFingerTree
  ☆33Updated 9 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆139Updated 9 years ago
• leepike / Copilot
  A (Haskell DSL) stream language for generating hard real-time C code.
  ☆152Updated 6 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆73Updated 12 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 10 years ago
• bos / llvm
  Haskell bindings to the LLVM compiler infrastructure project.
  ☆106Updated 5 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆64Updated 10 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• ericfinster / orchard
  Orchard Opetopic Proof Assistant
  ☆29Updated 9 years ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆74Updated 13 years ago
• conal / talk-2015-haskell-to-hardware
  From Haskell to Hardware via CCCs
  ☆58Updated 9 years ago
• mmjb / T2
  T2 Temporal Prover
  ☆96Updated 7 years ago
• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• conal / essence-of-ad
  Paper: The simple essence of automatic differentiation
  ☆23Updated 7 years ago
• kseo / poly_constraints
  Hindley-Milner type inference using constraints
  ☆50Updated 8 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 6 years ago
• gasche / popl2017-papers
  Link to preprints for POPL'17 and co-located events
  ☆101Updated 8 years ago
• lastland / WebSpec
  ☆17Updated 8 years ago
• Mokosha / Lambency
  A Real-Time Rendering framework written in Haskell
  ☆54Updated last year
• mpickering / 500-sql-haskell
  A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
  ☆46Updated 6 years ago
• tanakh / Peggy
  The Parser Generator for Haskell
  ☆94Updated 10 years ago