☆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☆60Mar 3, 2020Updated 6 years ago
- ☆28Feb 11, 2026Updated 8 months ago
- ANTLR SMT-LIB v2 Grammar☆24Dec 23, 2021Updated 4 years ago
- A Z3-Based String Constraint Solver☆88Jan 1, 2020Updated 6 years ago
- A framework for inference and testing of software behaviour.☆13Jun 14, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A set of collection data types for rust that are simple wrappers around vectors☆11Jan 14, 2026Updated 9 months ago
- TriCera: a model checker for C programs☆28Oct 22, 2026Updated last week
- Benchmark problems for different models of automata, transducers, and related logics☆32Oct 6, 2025Updated last year
- ELF-parsing library written in OCaml for OCaml☆14May 30, 2012Updated 14 years ago
- web access log parser framework in Erlang☆10Sep 21, 2009Updated 17 years ago
- A cyclic theorem prover framework.☆34Oct 2, 2026Updated 3 weeks ago
- libretro core to play PuzzleScript games☆17Mar 1, 2026Updated 7 months ago
- SWID and CoSWID manipulation library☆10Oct 4, 2026Updated 3 weeks ago
- A fuzzer for SMT solvers☆23May 8, 2026Updated 5 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.
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆22Dec 17, 2021Updated 4 years ago
- A library of classic AI algorithms that aim to be ergonomic and easily used.☆13Mar 30, 2018Updated 8 years ago
- ☆11May 24, 2022Updated 4 years ago
- A simple better Rust WASM VM for scratch-vm☆11Feb 3, 2024Updated 2 years ago
- Simple erlang implementation of the server side of the Universal 2nd Factor (U2F) open authentication standard☆10Nov 1, 2017Updated 8 years ago
- The INVAL plan validator, and other PDDL tools.☆24Dec 3, 2023Updated 2 years ago
- PortableExecutable lib + set of tools...☆17Aug 4, 2012Updated 14 years ago
- Runnable copy of the Django tutorial (polls).☆13Dec 19, 2011Updated 14 years ago
- automated testing for JavaScript☆37Feb 1, 2018Updated 8 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.
- Android Temperature Converter☆13Nov 12, 2014Updated 11 years ago
- ☆10Dec 13, 2021Updated 4 years ago
- An SMT Solver for string constraints☆56Oct 18, 2026Updated last week
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆42Dec 14, 2022Updated 3 years ago
- An implementation of Golang's crypto.Signer for Microsoft's TPM Platform Crypto Provider (PCP) keys.☆13Apr 6, 2025Updated last year
- Simple Soot program that detects whether an Android application leaks sensitive data.☆13Jan 7, 2013Updated 13 years ago
- Control Emacs with MIDI☆18May 6, 2024Updated 2 years ago
- 802.1AR Device Certificate Generation scripts☆10Feb 28, 2021Updated 5 years ago
- Extras that complement spring-amqp☆12Feb 15, 2013Updated 13 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An org-babel plugin for p5js☆17Aug 2, 2023Updated 3 years ago
- A collection of string matching algorithms designed with React Select in mind.☆17Apr 25, 2017Updated 9 years ago
- A web server to show bottlenecks of GHC☆15Jan 31, 2024Updated 2 years ago
- rib: a Rust collada importer for your 3D game projects☆18Nov 24, 2020Updated 5 years ago
- ☆12Aug 2, 2021Updated 5 years ago
- Mutable strings in Golang via overlays (out-of-place implementation)☆14Apr 13, 2023Updated 3 years ago
- Min cost max flow library☆15Mar 30, 2023Updated 3 years ago