Hacker News
- Rosette: A solver-aided programming language https://emina.github.io/rosette/ 3 comments
- Rosette – A solver-aided programming language that extends Racket https://emina.github.io/rosette/index.html 11 comments
- Rosette: a solver-aided programming language that extends Racket http://emina.github.io/rosette/ 8 comments
Lobsters
- Rosetta - A Solver-aided Programming Language That Extends Racket https://emina.github.io/rosette/index.html 2 comments compsci , formalmethods , lisp , programming
- Rosette is a solver-aided programming language that extends Racket with language constructs for program synthesis, verification, and more. https://emina.github.io/rosette/ 4 comments racket
Linking pages
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- yonkeltron.com | Post: DSLs Are Not For Muggles https://yonkeltron.com/posts/dsls-are-not-for-muggles/ 34 comments
- Synthesizing optimal 8051 code â whitequark's lab notebook https://lab.whitequark.org/notes/2020-04-06/synthesizing-optimal-8051-code/ 26 comments
- Minimizing logic expressions â whitequark's lab notebook https://lab.whitequark.org/notes/2020-04-06/minimizing-logic-expressions/ 19 comments
- DSLs for Ethereum Contracts https://www.michaelburge.us/2018/05/15/ethereum-chess-engine.html 19 comments
- Adrian Sampson: Program Synthesis is Possible https://www.cs.cornell.edu/~asampson/blog/minisynth.html 14 comments
- Program Synthesis is Possible in Rust http://fitzgeraldnick.com/2018/11/15/program-synthesis-is-possible-in-rust.html 8 comments
- Ten Ethereum-Related Projects You could Take | by Yoichi Hirai | Medium https://medium.com/@pirapira/ten-ethereum-related-pending-projects-you-could-take-c828a2dce88e 3 comments
- PL for SE, Part 1: “Programming Languages” | taliasplse https://taliasplse.wordpress.com/2017/04/24/pl-for-se-part-1-programming-languages/ 3 comments
- Racket News - Issue 49 https://racket-news.com/2021/05/racket-news-issue-49.html 2 comments
- Pwn2Own 2021 Canon ImageCLASS MF644Cdw writeup https://doar-e.github.io/blog/2022/06/11/pwn2own-2021-canon-imageclass-mf644cdw-writeup/ 1 comment
- Building Your First Program Synthesizer | SIGPLAN Blog https://blog.sigplan.org/2019/11/26/building-your-first-program-synthesizer/ 1 comment
- GitHub - NeuralCoder3/transpilation: A summary of ideas about transpilation -- work in progress https://github.com/NeuralCoder3/transpilation 1 comment
- GitHub - hydro-project/katara: Synthesize CRDTs from classic data types with verified lifting! https://github.com/hydro-project/katara 0 comments
- Program Synthesis in 2019 | SIGPLAN Blog https://blog.sigplan.org/2019/07/31/program-synthesis-in-2019/ 0 comments
- GitHub - calebwin/l: a very fast synthesizer of L-system grammars, solving a form of the "Inverse L-system" problem https://github.com/calebwin/l 0 comments
- Hachi - An Overview of Hachi's Security Toolkit for Plutus Core https://blog.hachi.one/post/an-overview-of-hachi-s-security-toolkit-for-plutus-core/ 0 comments
- GitHub - emina/rosette: The Rosette solver-aided host language, sample solver-aided DSLs, and demos https://github.com/emina/rosette 0 comments
Related searches:
Search whole site: site:emina.github.io
Search title: Rosette: About
See how to search.