Giters
mario-bucev

mario-bucev

Geek Repo

17

followers

19

following

52

stars

Github PK Tool:Github PK Tool

mario-bucev's repositories

ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver

Language:ScalaLicense:Apache-2.0Stargazers:1Issues:0Issues:0

asn1scc

ASN1SCC: An open source ASN.1 compiler for embedded systems

Language:F#License:NOASSERTIONStargazers:0Issues:0Issues:0

bolts

Bolts: Stainless Verified Scala Examples

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

dotty

The Scala 3 compiler, also known as Dotty.

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

inox

Solver for higher-order functional programs

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

princess

The Princess Theorem Prover

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

prusti-dev

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

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

scala-smtlib

Scala library for parsing and printing the SMT-LIB format

Language:SMTLicense:MITStargazers:0Issues:0Issues:0

stainless

Verification framework and tool for higher-order Scala programs

Language:HTMLLicense:Apache-2.0Stargazers:0Issues:0Issues:0

tendermint-lite-subset

Running Prusti on Tendermint.rs `lite` submodule

Language:RustStargazers:0Issues:0Issues:0