fabiofioravanti

fabiofioravanti's Stars

• fsainas/contracts-verification-benchmark

  An open benchmark for evaluating smart contracts verification tools.

  Language:Solidity137

• codelibs/fess

  Fess is very powerful and easily deployable Enterprise Search Server.

  Language:Java1k171

• sneeuwballen/benchpress

  Testing and benchmarking tool for logic-related programs.

  Language:OCaml268

• ucsd-progsys/liquid-fixpoint

  Horn Clause Constraint Solving for Liquid Types

  Language:Haskell14462

• bugy/script-server

  Web UI for your scripts with execution management

  Language:Python1.7k257

• sandboxie-plus/Sandboxie

  Sandboxie Plus & Classic

  Language:C14.6k1.6k

• netblue30/firejail

  Linux namespaces and seccomp-bpf sandbox

  Language:C6.1k588

• Baha/symgen

  Language:Erlang11

• Baha/maper

  Language:Prolog41