jamesbornholt / z3-iosView external linksLinks
run z3 on iOS for some reason
☆38Sep 5, 2022Updated 3 years ago
Alternatives and similar repositories for z3-ios
Users that are interested in z3-ios are comparing it to the libraries listed below
Sorting:
- A module language for programming with multiple named scopes, orthogonal to lexical nesting.☆17Jul 19, 2022Updated 3 years ago
- A simple nodejs server that acts as a keystore for Grandmaster.☆21Jan 12, 2020Updated 6 years ago
- Some code in the Rhombus/Shrubbery prototype☆12Dec 9, 2024Updated last year
- Draw lightsabers using Racket's pict library☆11Jul 31, 2019Updated 6 years ago
- An embedded synchronous reactive language, a la reactiveML, for Racket.☆13Dec 29, 2018Updated 7 years ago
- Modeling AWS application load balancers using Alloy☆13Dec 27, 2021Updated 4 years ago
- Altair BASIC source code for the interpreter☆13Apr 4, 2025Updated 10 months ago
- A scribble library for using pygmentize☆16Nov 16, 2022Updated 3 years ago
- Well-typed JSON parser generator inspired by Type Provider☆16Feb 26, 2021Updated 4 years ago
- Selective applicative functors laws and theorems☆15Mar 12, 2020Updated 5 years ago
- OCaml bindings for the Open Dynamics Engine (ODE), a 3D physics engine.☆16Sep 7, 2022Updated 3 years ago
- Implementation of local and remote loci for Racket☆12Jan 8, 2021Updated 5 years ago
- A Racket Meta-Program Generator☆17Mar 26, 2020Updated 5 years ago
- A scheme/Racket based package for symbolic mathematics for physicist, which currently supports a realization of Euler-Lagrangian Equation…☆16Jul 19, 2014Updated 11 years ago
- An environment variable manager for Racket applications☆17Apr 27, 2023Updated 2 years ago
- ☆19Mar 10, 2023Updated 2 years ago
- Easy scripting for DrRacket☆18Nov 21, 2025Updated 2 months ago
- iOS Hacker Wiki☆16Apr 3, 2019Updated 6 years ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆28Nov 17, 2022Updated 3 years ago
- ☆15Jul 7, 2022Updated 3 years ago
- Tool for messing around with Apple GPU assembly☆27Jan 24, 2021Updated 5 years ago
- Firmware validation of Apple T1 and prior Macs☆26Feb 18, 2022Updated 3 years ago
- A server, client and UI for remotely debugging Racket applications.☆29Jul 23, 2025Updated 6 months ago
- A notional machine for the SMoL languages☆21Sep 12, 2023Updated 2 years ago
- simple bindings for the github api☆20Jul 5, 2023Updated 2 years ago
- Manipulating racket bytecode☆26Oct 24, 2021Updated 4 years ago
- A synthesis-enabled solver for relational logic☆29Apr 30, 2018Updated 7 years ago
- Library to enable using graphviz in Racket programs☆25Oct 21, 2021Updated 4 years ago
- the 7 gui project☆57Jan 23, 2024Updated 2 years ago
- a library to assist in the design of geometric designs☆25Jul 5, 2020Updated 5 years ago
- Collection of syntax/parse macros☆31Nov 1, 2022Updated 3 years ago
- Radare2 plugin to parse modern iOS 64-bit kernel caches☆28Mar 10, 2019Updated 6 years ago
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆36Oct 28, 2025Updated 3 months ago
- A tool to find gadgets in the iOS kernelcache.☆33Jun 20, 2018Updated 7 years ago
- Issues and feature requests for vgmdb.net☆12Nov 17, 2020Updated 5 years ago
- virtualenv like tool for Racket☆31Nov 20, 2022Updated 3 years ago
- OS X Platform for loading C function or Objective-C method hooks from plists.☆29May 24, 2016Updated 9 years ago
- Modern C++, range-based Mach-O parser designed for embedded use. Uses stack allocations only.☆34Oct 31, 2022Updated 3 years ago
- Issue tracking for the emu.tools site☆13Apr 30, 2020Updated 5 years ago