- Program Synthesis is Possible in Rust http://fitzgeraldnick.com/2018/11/15/program-synthesis-is-possible-in-rust.html 8 comments rust
Linking pages
Linked pages
- GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 comments
- GitHub - google/souper: A superoptimizer for LLVM IR https://github.com/google/souper 89 comments
- Rosette: About http://emina.github.io/rosette/ 29 comments
- [1711.04422] Souper: A Synthesizing Superoptimizer https://arxiv.org/abs/1711.04422 16 comments
- Adrian Sampson: Program Synthesis is Possible https://www.cs.cornell.edu/~asampson/blog/minisynth.html 14 comments
- GitHub - lalrpop/lalrpop: LR(1) parser generator for Rust https://github.com/lalrpop/lalrpop 11 comments
- Synthesizing Constants – Embedded in Academia https://blog.regehr.org/archives/1636 1 comment
- https://www.microsoft.com/en-us/research/wp-content/uploads/2017/10/program_synthesis_now.pdf 1 comment
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:fitzgeraldnick.com
Search title: Program Synthesis is Possible in Rust
See how to search.