☆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☆57Mar 3, 2020Updated 6 years ago
- ☆29Feb 11, 2026Updated 2 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 2 years ago
- A set of collection data types for rust that are simple wrappers around vectors☆10Jan 14, 2026Updated 2 months 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.
- Benchmark problems for different models of automata, transducers, and related logics☆31Oct 6, 2025Updated 6 months ago
- TriCera: a model checker for C programs☆26Updated this week
- libretro core to play PuzzleScript games☆15Mar 1, 2026Updated last month
- A fuzzer for SMT solvers☆21Aug 22, 2025Updated 7 months ago
- NeonGoby alias analysis checker☆15Jul 2, 2013Updated 12 years ago
- A cyclic theorem prover framework.☆32Aug 21, 2025Updated 7 months ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆22Dec 17, 2021Updated 4 years ago
- ☆13Feb 2, 2024Updated 2 years ago
- An org-babel plugin for p5js☆17Aug 2, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆11May 24, 2022Updated 3 years ago
- ☆10Sep 28, 2020Updated 5 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆73Jul 12, 2025Updated 9 months ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆41Dec 14, 2022Updated 3 years ago
- An SMT Solver for string constraints☆50Apr 3, 2026Updated last week
- Reduced on-disk Suffix Array☆22Oct 9, 2013Updated 12 years ago
- A library of classic AI algorithms that aim to be ergonomic and easily used.☆13Mar 30, 2018Updated 8 years ago
- A persistent queue implemented in Go.☆29Dec 31, 2021Updated 4 years ago
- Oblivious Memory Access under Fully Homomorphic Encryption☆13Aug 12, 2015Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- accessible and experimental nano game making tool☆12Feb 28, 2015Updated 11 years ago
- A collection of string matching algorithms designed with React Select in mind.☆17Apr 25, 2017Updated 8 years ago
- A Retargettable CFI implementation in LLVM. Authors: Joseph Battaglia and Oulin Yao☆18May 8, 2015Updated 10 years ago
- ☆10Dec 13, 2021Updated 4 years ago
- Mutable strings in Golang via overlays (out-of-place implementation)☆14Apr 13, 2023Updated 3 years ago
- Min cost max flow library☆14Mar 30, 2023Updated 3 years ago
- The Princess Theorem Prover☆33Mar 28, 2026Updated 2 weeks ago
- An image buffer that works with Piston graphics☆16Sep 27, 2021Updated 4 years ago
- Generate QR codes in UNIX way☆12Aug 5, 2019Updated 6 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs☆14Jan 5, 2026Updated 3 months ago
- Example code from Duolingo's internal machine learning dev talk series☆17Aug 30, 2017Updated 8 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
- Verified vector clocks, with Coq!☆14Dec 15, 2013Updated 12 years ago
- Easy handling of memory-mapped files☆22Mar 28, 2014Updated 12 years ago
- Aerie: a regex-like engine nested word grammars☆16Feb 5, 2022Updated 4 years ago
- A Verilog implementation of the Infocom Z-Machine V3. With BIOS and benchmarks. Verified in hardware.☆123Dec 7, 2014Updated 11 years ago