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 87 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
- 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 - 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
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 30 comments
- GitHub - dwrensha/seer: symbolic execution engine for Rust https://github.com/dwrensha/seer 28 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
- A mathematical formulation of the tax code? https://blog.merigoux.fr/en/2019/12/20/taxes-formal-proofs.html 15 comments
- SAT Encoding: Depth First Traversal of Directed Graph | by Venkatesh-Prasad Ranganath | Medium https://medium.com/@rvprasad/sat-encoding-depth-first-traversal-of-directed-graph-f204c5be144a 15 comments
- SAT Encoding: Depth First Traversal of Directed Graph | by Venkatesh-Prasad Ranganath | Medium https://medium.com/@rvprasad/sat-encoding-depth-first-traversal-of-directed-graph-f204c5be144a 15 comments
- Adrian Sampson: Program Synthesis is Possible https://www.cs.cornell.edu/~asampson/blog/minisynth.html 14 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.