kach / recreational-rosetteView external linksLinks
Some fun examples of solving problems with symbolic execution
☆116Aug 5, 2018Updated 7 years ago
Alternatives and similar repositories for recreational-rosette
Users that are interested in recreational-rosette are comparing it to the libraries listed below
Sorting:
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆683Nov 21, 2025Updated 2 months ago
- ☆18Jul 24, 2025Updated 6 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
- A brief presentation on Denotational Design, based on Conal Elliott's work☆25Sep 17, 2025Updated 4 months ago
- "Toy" SMT Solver for Educational Purposes☆20Apr 17, 2013Updated 12 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- A small implementation of type inference☆80May 19, 2015Updated 10 years ago
- React.js for GHCJS☆26Oct 21, 2016Updated 9 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Dec 13, 2012Updated 13 years ago
- NES emulator on MIT Scratch, rewrite using metaprogramming☆10Jan 23, 2017Updated 9 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Testing language concurrency primitives with a file line counter☆11Oct 5, 2018Updated 7 years ago
- Run Dyalog APL under Docker☆11Dec 18, 2025Updated last month
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16May 13, 2025Updated 9 months ago
- My adventure into the marvelous world of Web Assembly☆73Aug 3, 2018Updated 7 years ago
- An Agda formalisation of the theory of directed containers☆12Apr 25, 2025Updated 9 months ago
- ☆12Jul 8, 2019Updated 6 years ago
- Setting up an Idris dev environment on Windows☆16Dec 8, 2019Updated 6 years ago
- LuaJIT General Purpose Routines☆15Feb 11, 2021Updated 5 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 9 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago
- old-school Macintosh Emulator☆18Jul 3, 2018Updated 7 years ago
- A list of security courses at colleges and universities☆12Aug 9, 2017Updated 8 years ago
- deploying Racket on Android☆98Mar 5, 2017Updated 8 years ago
- Compiler for IMP programming language implemented in Haskell☆16Jun 16, 2020Updated 5 years ago
- A DSL for generating GR(1) problems☆12Jul 27, 2021Updated 4 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 7 years ago
- Racket daemon, for better startup time on Racket scripts. Makes short-running scripts feasible in Racket.☆12Oct 28, 2019Updated 6 years ago
- IParse: an interpreting parser written in C++☆15Dec 13, 2025Updated 2 months ago
- My Snap! fork for contributions☆14Jan 29, 2026Updated 2 weeks ago
- A Lua/Python Bytecode Disassembler written in C, without external dependencies☆13Mar 28, 2017Updated 8 years ago
- ☆17Sep 4, 2021Updated 4 years ago
- Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/☆14May 5, 2015Updated 10 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Jun 1, 2017Updated 8 years ago
- Snake game, made with haskell-miso☆13Jan 7, 2018Updated 8 years ago
- ☆88Nov 30, 2020Updated 5 years ago
- Exactly what it says on the tin.☆20Oct 10, 2017Updated 8 years ago
- Servant client generators for the Python language☆17Mar 2, 2021Updated 4 years ago