An SMT Solver for strings
☆10Jun 22, 2018Updated 7 years ago
Alternatives and similar repositories for sloth
Users that are interested in sloth are comparing it to the libraries listed below
Sorting:
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆22Dec 17, 2021Updated 4 years ago
- An SMT Solver for string constraints☆48Feb 10, 2026Updated 2 weeks ago
- Rust Bindings to interact with SMTLIB2 compliant solvers☆17Jun 3, 2019Updated 6 years ago
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆22Jun 13, 2023Updated 2 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Aug 24, 2020Updated 5 years ago
- The Eldarica model checker☆102Feb 20, 2026Updated last week
- The Princess Theorem Prover☆33Feb 17, 2026Updated last week
- TriCera: a model checker for C programs☆26Updated this week
- Pointer Analysis with Tunable Precision☆27Mar 23, 2016Updated 9 years ago
- A Python script to create cactus and scatter plots based on matplotlib☆27Mar 20, 2021Updated 4 years ago
- Invertible parsing for S-expressions☆34Feb 4, 2026Updated 3 weeks ago
- 一个基于LLM的多Agent全流程漏洞挖掘项目，支持PHP、Java、Python、Go、Node.js等多种语言项目环境搭建、漏洞分析、漏洞验证、报告产出。支持多Agent并发高效率完成漏洞挖掘任务，下个版本将会大更新。☆110Jan 30, 2026Updated last month
- A user-friendly distributed process registry and process supervisor☆35Mar 22, 2023Updated 2 years ago
- 软件工程与形式化方法相关前沿工作阅读与分享☆36Oct 27, 2025Updated 4 months ago
- ☆37Oct 25, 2021Updated 4 years ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated 7 months ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 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
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- Sawja provides a high level representation of Java bytecode programs and static analysis tools.☆12Jul 4, 2024Updated last year
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Oct 25, 2022Updated 3 years ago
- ☆36Sep 12, 2019Updated 6 years ago
- A simulator for visualising the evolution of π-calculus terms☆42Jun 14, 2022Updated 3 years ago
- A simple ML dialect☆11Jan 2, 2017Updated 9 years ago
- A Code Efficiency Benchmark for Code Generation☆13May 26, 2025Updated 9 months ago
- A transient UI for Cargo, Rust's package manager☆11Dec 17, 2025Updated 2 months ago
- NeonGoby alias analysis checker☆14Jul 2, 2013Updated 12 years ago
- HAMT implementation whose sub-trees can be shared over threads☆10Feb 9, 2026Updated 3 weeks ago
- ☆10Feb 20, 2020Updated 6 years ago
- A statically-typed lisp for the BEAM☆12Aug 28, 2021Updated 4 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- Taking a Ruby-shaped chainsaw to Go type safety in the interests of elegance☆17Feb 19, 2022Updated 4 years ago
- Pure Elixir native implementation of git☆11Jul 16, 2019Updated 6 years ago
- A syntax engine for a series of languages☆18Jul 9, 2012Updated 13 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 6 months ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Jul 8, 2017Updated 8 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago