victornicolet

victornicolet's Stars

• awslabs/ar-go-tools

  ar-go-tools (Argot) is a collection of analysis tools for Go

  Language:Go91

• boogie-org/boogie

  Boogie

  Language:Boogie514112

• synduce/Synduce

  An automatic recursive function transformer.

  Language:OCaml93

• model-checking/kani

  Kani Rust Verifier

  Language:Rust2.2k92

• victornicolet/parsynt

  Automatic parallel divide-and-conquer programs synthesizer

  Language:OCaml164

• asc-community/AngouriMath

  New open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.

  Language:C#78474

• goblint/cil

  C Intermediate Language

  Language:OCaml14020

• SyGuS-Org/benchmarks

  Benchmarks for SyGuS Competition (SyGuS-Comp)

  Language:SMT347

• aantron/dream

  Tidy, feature-complete Web framework

  Language:OCaml1.6k130

• sharkdp/hyperfine

  A command-line benchmarking tool

  Language:Rust22.2k357

• brownplt/pyret-lang

  The Pyret language.

  Language:JavaScript1.1k110

• danyalette/CSC410-final-project-releases

  Language:Python24

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#2.9k262

• Nateckert/newton_rootfinder

  Newton root-finding algorithm written in Rust

  Language:Rust73

• cvc5/cvc5

  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

  Language:SMT1k234

• wslee/duet

  Language:Slash194

• FedericoAureliano/llama

  λama is a work in progress!

  Language:Rust5

• dilevin/CSC417-physics-based-animation

  Homepage for CSC417: Physics-based Animation

  40748

• Tony-Cheng/CGSynt

  Language:Java3

• FedericoAureliano/PyExSMT

  Python Symbolic Execution

  Language:Python63

• simeonkr/par-join-search

  Language:Python11

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.4k1.5k

• SaswatPadhi/LoopInvGen

  Generates loop invariants for program verification

  Language:OCaml5820