bobismijnnaam

bobismijnnaam's Stars

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.2k1795.5k1.5k

• davatron5000/Lettering.js

  A lightweight, easy to use Javascript <span> injector for radical Web Typography

  Language:JavaScript5.4k18454754

• viperproject/prusti-dev

  A static verifier for Rust, based on the Viper verification infrastructure.

  Language:Rust1.6k21475106

• creusot-rs/creusot

  Creusot helps you prove your code is correct in an automated fashion.

  Language:Rust1.1k2334651

• Slimbook-Team/slimbookbattery

  Slimbook Battery 4

  Language:Python24487217

• viperproject/gobra

  Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

  Language:Scala108931027

• blanchette/logical_verification_2020

  Companion files for Logical Verification 2020–2021 at VU Amsterdam

  Language:Lean9618514

• viperproject/silicon

  Symbolic-execution-based verifier for the Viper intermediate verification language.

  Language:Scala78664231

• viperproject/silver

  Definition of the Viper intermediate verification language.

  Language:Scala78956540

• utwente-fmt/vercors

  The VerCors verification toolset for verifying parallel and concurrent software

  Language:Scala551060125

• trolando/oink

  Oink, an implementation of modern parity game solvers

  Language:C++316911

• pieter-bos/antlr4

  ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

  Language:Java1101

• pieter-bos/smt-multiplex

  Language:Rust1201

• pieter-bos/smtparse

  Language:Scala1201

• pieter-bos/snek

  Language:Scala120