Alternatives and similar repositories for staticstaging

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

• yallop / popl2015-papers
  Accepted papers for POPL 2015
  ☆66Updated 9 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 3 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
• lastland / WebSpec
  ☆17Updated 8 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆56Updated 8 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 4 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆60Updated 7 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"
  ☆19Updated 7 years ago
• poitin / Distiller
  Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
  ☆29Updated 3 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆139Updated 9 years ago
• osa1 / language-lua
  Lua parser and pretty-printer
  ☆52Updated 9 years ago
• conal / essence-of-ad
  Paper: The simple essence of automatic differentiation
  ☆23Updated 7 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 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
• mmjb / T2
  T2 Temporal Prover
  ☆96Updated 7 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆25Updated 2 months ago
• leepike / SmartCheck
  A Smarter QuickCheck
  ☆102Updated 8 years ago
• smichal / hs-logic
  A simple library for Haskell that allows relational programming.
  ☆46Updated 13 years ago
• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 6 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆123Updated 8 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆100Updated last year
• vellvm / vellvm-legacy
  ☆34Updated last week
• wyager / HaSKI
  Cλash/Haskell FPGA-based SKI calculus evaluator
  ☆51Updated 10 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 8 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 11 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
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆24Updated 7 years ago