Alternatives and similar repositories for backstroke

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

• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• aposwolsky / delphin
  The Delphin Project
  ☆10Updated 8 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆63Updated this week
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆47Updated 7 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆22Updated 3 years ago
• halo-project / halo
  😇 Wholly Adaptive LLVM Optimizer
  ☆27Updated 4 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 2 months ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 4 years ago
• unison-code / uni-instr-sel
  Universal instruction selection
  ☆12Updated 7 years ago
• IntelLabs / flrc-lib
  Pillar compiler, Pillar runtime, garbage collector.
  ☆23Updated 2 years ago
• mit-frap / spring18
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018
  ☆23Updated 7 years ago
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆32Updated 3 weeks ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 4 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆20Updated 6 years ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆60Updated 8 years ago
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆51Updated 3 months ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 4 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 12 years ago
• uwplse / potpie
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆16Updated 10 months ago
• DIJamner / lambda-compiler
  A simple compiler from the lambda calculus to MIPS assembly
  ☆20Updated 8 years ago
• GaloisInc / semmc
  Stratified synthesis for learning machine code instruction semantics
  ☆37Updated last month
• mangpo / greenthumb
  ☆88Updated 3 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated last year
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆25Updated 2 years ago
• lwhjp / racket-asm
  ☆19Updated 4 years ago