Hacker News
- The Z3 Theorem Prover https://github.com/Z3Prover/z3 29 comments
- The Z3 Theorem Prover released under MIT license https://github.com/Z3Prover/z3 66 comments
Lobsters
- Z3Prover/z3 - MIT licensed - Github https://github.com/z3prover/z3 5 comments fsharp
- Z3 is now really open source (MIT License) https://github.com/z3prover/z3 33 comments programming
Linking pages
- GitHub - zetzit/zz: 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C https://github.com/aep/zz 394 comments
- Rust: beyond the typechecker https://blog.merigoux.ovh/en/2019/04/16/verifying-rust.html 135 comments
- typon's website https://typon.github.io/wordle.html 88 comments
- Experiments in Constraint-based Graphic Design https://www.anishathalye.com/2019/12/12/constraint-based-graphic-design/ 68 comments
- XLS: Accelerated HW Synthesis https://google.github.io/xls/ 67 comments
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- Software Verification and Analysis Using Z3 – NCC Group Research https://research.nccgroup.com/2021/01/29/software-verification-and-analysis-using-z3/ 40 comments
- Hacking the JavaScript Lottery. Using Z3 to Predict Math.random() for… | by Douglas Goddard | Independent Security Evaluators https://medium.com/independent-security-evaluators/hacking-the-javascript-lottery-80cc437e3b7f#.i3oi1sb5g 38 comments
- GitHub - Matthew-Mosior/fasta-region-inspector: A bioinformatics tool for analyzing somatic hypermutation https://github.com/Matthew-Mosior/fasta-region-inspector/tree/main 38 comments
- GitHub - aolofsson/awesome-hardware-tools: List of awesome open source hardware tools https://github.com/aolofsson/awesome-hardware-tools 36 comments
- GitHub - zwegner/x86-sat: Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs https://github.com/zwegner/x86-sat 34 comments
- Rust: beyond the typechecker https://blog.merigoux.fr/en/2019/04/16/verifying-rust.html 33 comments
- GitHub - dwrensha/seer: symbolic execution engine for Rust https://github.com/dwrensha/seer 28 comments
- GitHub - programa-stic/barf-project: BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework https://github.com/programa-stic/barf-project/?0.2.1= 27 comments
- Typestate-oriented programming in F* http://olleharstedt.github.io/fstar/2017/01/12/typestate-in-fstar.html 27 comments
- GitHub - ropas/pytea: PyTea: PyTorch Tensor shape error analyzer https://github.com/ropas/pytea 23 comments
- GitHub - haskell/haskell-ide-engine: The engine for haskell ide-integration. Not an IDE https://github.com/haskell/haskell-ide-engine 22 comments
- Experiencing Smalltalk - Nikhil's blog https://nikhilism.com/post/2021/experiencing-smalltalk/ 19 comments
- DSLs for Ethereum Contracts https://www.michaelburge.us/2018/05/15/ethereum-chess-engine.html 19 comments
- GitHub - creusot-rs/creusot: Creusot helps you prove your code is correct in an automated fashion. https://github.com/creusot-rs/creusot 19 comments
Linked pages
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - Z3Prover/z3: The Z3 Theorem Prover
See how to search.