gleissen

gleissen's Stars

• PeterKementzey/rust-CHC-verifier

  A Rust program functional correctness verifier using Constrained Horn Clauses and Z3

  Language:Rust2

• liquidhaskell/floyd-hoare

  Embedding a (verified) Floyd-Hoare style verifier using LiquidHaskell

  Language:Haskell3

• gokhankici/xenon

  Language:C++2

• praetorian-inc/gokart

  A static analysis tool for securing Go code

  Language:Go2.2k110

• valar1234/MIPS

  A classic 5-stage pipeline MIPS 32-bit processor, including a 2-bit branch predictor, a branch prediction buffer and a direct-mapped cache.

  Language:Verilog7524

• aman-goel/avr

  Reads a state transition system and performs property checking

  Language:C++7619

• gokhankici/iodine

  Iodine: Verifying Constant-Time Execution of Hardware

  Language:C++11

• Inria-Prosecco/libsignal-protocol-wasm-fstar

  Fork of https://github.com/signalapp/libsignal-protocol-javascript : see https://signalstar.gforge.inria.fr/

  Language:JavaScript312

• ridecore/ridecore

  RIDECORE (RIsc-v Dynamic Execution CORE) is an Out-of-Order RISC-V processor written in Verilog HDL.

  Language:Verilog32163

• jepsen-io/maelstrom

  A workbench for writing toy implementations of distributed systems.

  Language:Clojure3k188