☆12Jan 8, 2016Updated 10 years ago
Alternatives and similar repositories for LibStranger
Users that are interested in LibStranger are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆59Mar 3, 2020Updated 6 years ago
- ☆28Feb 11, 2026Updated 5 months ago
- ANTLR SMT-LIB v2 Grammar☆24Dec 23, 2021Updated 4 years ago
- A framework for inference and testing of software behaviour.☆13Jun 14, 2023Updated 3 years ago
- A set of collection data types for rust that are simple wrappers around vectors☆11Jan 14, 2026Updated 6 months 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.
- libretro core to play PuzzleScript games☆17Mar 1, 2026Updated 4 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆32Oct 6, 2025Updated 9 months ago
- TriCera: a model checker for C programs☆27Jul 3, 2026Updated 2 weeks ago
- A cyclic theorem prover framework.☆33Aug 21, 2025Updated 11 months ago
- A fuzzer for SMT solvers☆21May 8, 2026Updated 2 months ago
- A simple better Rust WASM VM for scratch-vm☆11Feb 3, 2024Updated 2 years ago
- ☆14Feb 2, 2024Updated 2 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆22Dec 17, 2021Updated 4 years ago
- ☆11May 24, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An org-babel plugin for p5js☆17Aug 2, 2023Updated 2 years ago
- A library of classic AI algorithms that aim to be ergonomic and easily used.☆13Mar 30, 2018Updated 8 years ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆42Dec 14, 2022Updated 3 years ago
- accessible and experimental nano game making tool☆12Feb 28, 2015Updated 11 years ago
- Mutable strings in Golang via overlays (out-of-place implementation)☆14Apr 13, 2023Updated 3 years ago
- ☆10Dec 13, 2021Updated 4 years ago
- An SMT Solver for string constraints☆55Updated this week
- Min cost max flow library☆14Mar 30, 2023Updated 3 years ago
- A collection of string matching algorithms designed with React Select in mind.☆17Apr 25, 2017Updated 9 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.
- A Retargettable CFI implementation in LLVM. Authors: Joseph Battaglia and Oulin Yao☆19May 8, 2015Updated 11 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆76Jul 12, 2025Updated last year
- An image buffer that works with Piston graphics☆16Sep 27, 2021Updated 4 years ago
- AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.☆14Jul 28, 2019Updated 6 years ago
- Feature toggles for Rust, extensible and with background synchronization and administration UI☆26Dec 2, 2025Updated 7 months ago
- Example code from Duolingo's internal machine learning dev talk series☆17Aug 30, 2017Updated 8 years ago
- Combinator Library for writing test generators and test properties for Android Apps☆12Jul 26, 2019Updated 6 years ago
- A DL compiler fuzzer☆15Nov 1, 2024Updated last year
- A library that records Emacs inter-key timings.☆10Oct 11, 2017Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Control Emacs with MIDI☆17May 6, 2024Updated 2 years ago
- A race detection tool for event driven applications.☆19Sep 21, 2015Updated 10 years ago
- ☆11Oct 17, 2024Updated last year
- Dynamic analysis framework for Python☆84Jul 7, 2026Updated 2 weeks ago
- 🗺️ A Rust crate for parsing projects and levels created with Ogmo Editor 3☆19Aug 2, 2021Updated 4 years ago
- Tool to measure code coverage of Android applications when their source code is not available☆12Apr 1, 2023Updated 3 years ago
- Conversation Components sample (using Actions Builder) in Node.js☆15Jun 13, 2022Updated 4 years ago