Proof

Open-source projects categorized as Proof | Edit details

Top 9 Proof Open-Source Projects

  • cryptominisat

    An advanced SAT solver

    Project mention: kotlin-satlib: SAT solver wrappers for Kotlin | reddit.com/r/Kotlin | 2021-07-13

    Alongside with the SAT solver interface and its extensions, `kotlin-satlib` provides wrappers for native SAT solvers (these days, most of them are written in C/C++) implemented using JNI technology. Currently, the solvers included are: MiniSat, Glucose, Cadical and CryptoMiniSat. Sadly, `kotlin-satlib` won't work out-of-the-box, you have to provide it with some external SAT solver, either in the form of a library or a binary. Luckily, there are build instructions for each of the supported SAT solver, both for Linux and Windows. Checkout the README!

  • agda-stdlib

    The Agda standard library

    Project mention: Should programming languages switch to special characters (gliphs) for it's code? | reddit.com/r/ProgrammingLanguages | 2022-04-27

    Agda is a good example, as it allows you to define arbitrary Unicode-based operators and names: https://github.com/agda/agda-stdlib/blob/master/src/Data/Product.agda

  • SonarQube

    Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  • l4v

    seL4 specification and proofs

    Project mention: Proofs and specifications | reddit.com/r/RISCV | 2022-03-13
  • creusot

    deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

    Project mention: What Is Rust's Unsafe? | news.ycombinator.com | 2022-04-10

    > I’ve been working on a tool: https://github.com/xldenis/creusot to put this into practice

    Note that there are other tools trying to deal with formal statements about Rust code. AIUI, Rust developers are working on forming a proper working group for pursuing these issues. We might get a RFC-standardized way of expressing formal/logical conditions about Rust code, which would be a meaningful first step towards supporting proof-carrying code within Rust.

  • bootstrap-dark-5

    The Ancillary Guide to Dark Mode and Bootstrap 5 - A continuation of the v4 Dark Mode POC. >>> Bootstrap 5.2 is in the `dev/v1.2.0` branch <<<

    Project mention: Bootstrap dark mode switch | reddit.com/r/learnjavascript | 2022-04-12

    So I have this page that uses this POC: https://github.com/vinorodrigues/bootstrap-dark-5

  • verdi-raft

    An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

    Project mention: Paxos automatically determined safe and secure | news.ycombinator.com | 2021-10-27

    Raft has been manually verified which was the hurdle here that makes the result interesting:

    https://github.com/uwplse/verdi-raft

  • ra

    Basic Analysis, undergraduate real analysis textbook (by jirilebl)

    Project mention: Why don't they explain why Calculus works? | reddit.com/r/learnmath | 2022-02-27

    I remember posting a similar list for introductory analysis (like the kind commonly required for math majors) too, but I didn't bother to figure out where that was, so I just looked up Volume I of the book by Jiří Lebl and found another good explanation of it, including cases where the function to be integrated is not continuous.

  • Scout APM

    Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

  • P2PoW

    A P2P Delegated Proof of Work solution for Nano cryptocurrency

  • Proofable

    General purpose proving framework for certifying digital assets to public blockchains

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2022-04-27.

Proof related posts

Index

What are some of the best open-source Proof projects? This list will help you:

Project Stars
1 cryptominisat 599
2 agda-stdlib 441
3 l4v 397
4 creusot 301
5 bootstrap-dark-5 240
6 verdi-raft 155
7 ra 32
8 P2PoW 26
9 Proofable 9
Find remote jobs at our new job board 99remotejobs.com. There are 8 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com