Some fun examples of solving problems with symbolic execution
☆115Aug 5, 2018Updated 8 years ago
Alternatives and similar repositories for recreational-rosette
Users that are interested in recreational-rosette are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆699Jul 31, 2026Updated last month
- NES emulator on MIT Scratch, rewrite using metaprogramming☆10Jan 23, 2017Updated 9 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆25Sep 17, 2025Updated 11 months ago
- Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.☆15Feb 9, 2016Updated 10 years ago
- JS parser generator. As fast as yacc, but accepts any grammar!☆15Mar 22, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- My adventure into the marvelous world of Web Assembly☆74Aug 3, 2018Updated 8 years ago
- "Toy" SMT Solver for Educational Purposes☆20Apr 17, 2013Updated 13 years ago
- My Snap! fork for contributions☆14May 31, 2026Updated 3 months ago
- Testing language concurrency primitives with a file line counter☆11Oct 5, 2018Updated 7 years ago
- ☆18Jul 24, 2025Updated last year
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- Racket daemon, for better startup time on Racket scripts. Makes short-running scripts feasible in Racket.☆12Oct 28, 2019Updated 6 years ago
- A Lua/Python Bytecode Disassembler written in C, without external dependencies☆13Mar 28, 2017Updated 9 years ago
- A small implementation of type inference☆80May 19, 2015Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆13Jul 19, 2018Updated 8 years ago
- goken9cc — A portable, multi-architecture toolchain (C compilers, assemblers, and linkers) rooted in Ken Thompson's Plan 9 and Inferno t…☆25Updated this week
- This repo contains the artifact for our SOSP'19 paper on Serval☆33Sep 11, 2019Updated 6 years ago
- Experiments on the self-hosting c4 compiler, with the goal to implement a nicer Lisp-style virtual machine☆15Mar 3, 2020Updated 6 years ago
- React.js for GHCJS☆27Oct 21, 2016Updated 9 years ago
- Inconsistent code detection for Java.☆15Jan 26, 2018Updated 8 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Jan 14, 2019Updated 7 years ago
- Run Dyalog APL under Docker☆12Dec 18, 2025Updated 8 months ago
- A synthesis-enabled solver for relational logic☆29Apr 30, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Syntax highlighting for various PCB (Printed Circuit Board) formats.☆21Feb 10, 2022Updated 4 years ago
- joke page until I decide what to do with this domain name☆42Updated this week
- Experiments with effect systems☆12Apr 18, 2016Updated 10 years ago
- ☆92Nov 30, 2020Updated 5 years ago
- mirror of jsish - A javascript interpreter with 0install, sqlite and websocket support☆13Dec 8, 2015Updated 10 years ago
- ☆12Jul 8, 2019Updated 7 years ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 7 years ago
- deploying Racket on Android☆98Mar 5, 2017Updated 9 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A simple game in Scheme.☆15Dec 30, 2016Updated 9 years ago
- haskell posix bindings☆19Aug 5, 2025Updated last year
- Haskell Bazel rules and cabal2bazel import tool.☆43Apr 16, 2021Updated 5 years ago
- Supervisor trees (and some more) for Common Lisp☆21Jun 23, 2020Updated 6 years ago
- ☆15May 16, 2017Updated 9 years ago
- The very excellent, educational MinCaml project of Eijiro Sumii is now available at https://github.com/esumii/min-caml☆17Oct 26, 2010Updated 15 years ago
- The Racket based 6502 assembler☆39Mar 12, 2023Updated 3 years ago