clsn / ries

Related projects ⓘ

Alternatives and complementary repositories for ries

• JUrban / MPTP2
  ☆19Updated 7 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆12Updated this week
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆37Updated 10 months ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆17Updated last year
• mjdominus / cf
  Continued fraction library
  ☆27Updated 4 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 7 years ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 6 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated 9 months ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆23Updated 2 years ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆26Updated 3 years ago
• libsemigroups / HPCombi
  Fast combinatorics in C++ using SSE/AVX instruction sets
  ☆15Updated 2 months ago
• blanchette / logical_verification_2019
  Repository for the course Logical Verification 2019–2020 at VU Amsterdam
  ☆13Updated 4 years ago
• nickgildea / z3_codegen
  A toy code generator (i.e. "program synthesis") using the Z3 solver
  ☆33Updated 7 years ago
• DeepSec-prover / deepsec
  DEciding Equivalence Properties in SECurity protocols
  ☆17Updated last year
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated 2 months ago
• uwplse / potpie
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆15Updated 3 months ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated last week
• GaloisInc / jvm-verifier
  The Java Symbolic Simulator, part of SAW.
  ☆10Updated 4 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆15Updated 2 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• gergo- / ldrgen
  Liveness-driven random C code generator
  ☆41Updated 4 months ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆10Updated 7 years ago
• GaloisInc / semmc
  Stratified synthesis for learning machine code instruction semantics
  ☆35Updated 3 months ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆27Updated 11 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 8 years ago
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 4 months ago
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆29Updated 9 years ago
• aryx / yacfe
  Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…
  ☆25Updated 6 years ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated last month