Alternatives and similar repositories for regex2smtlib

Users that are interested in regex2smtlib are comparing it to the libraries listed below

• dblotsky / stringfuzz

  View on GitHub
  Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
  ☆22Dec 17, 2021Updated 4 years ago
• julianthome / autorex

  View on GitHub
  A dk.brics FSM to regular-expression-string converter
  ☆10Jul 12, 2025Updated 7 months ago
• julianthome / smtlibv2-grammar

  View on GitHub
  ANTLR SMT-LIB v2 Grammar
  ☆24Dec 23, 2021Updated 4 years ago
• lorisdanto / automatark

  View on GitHub
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Oct 6, 2025Updated 4 months ago
• wcventure / Active-Automata-Learning

  View on GitHub
  A Quick Research of Active Automata Learning
  ☆32Mar 13, 2020Updated 5 years ago
• HumsterProgrammer / iu9-tfl-practice

  View on GitHub
  ☆17Updated this week
• OkDenAl / BMSTU-IU9

  View on GitHub
  Репозиторий для лабораторных и просто работ по программе обучения на кафедре ИУ9
  ☆12Nov 15, 2025Updated 2 months ago
• pavpanchekha / keylogger.el

  View on GitHub
  A library that records Emacs inter-key timings.
  ☆10Oct 11, 2017Updated 8 years ago
• rmloveland / geiser-scsh

  View on GitHub
  Geiser support for Scsh
  ☆15Jun 22, 2017Updated 8 years ago
• shonfeder / tokenize

  View on GitHub
  A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.
  ☆11Jun 23, 2019Updated 6 years ago
• lazka / hypothesis-fspaths

  View on GitHub
  Hypothesis extension for generating filesystem paths
  ☆12Oct 12, 2017Updated 8 years ago
• potassco / clingoLP

  View on GitHub
  Theory propagator for linear programming using clingo theory language and interface.
  ☆11Dec 2, 2021Updated 4 years ago
• Columpio / RInGen

  View on GitHub
  Regular Invariant Generator and SMTLIB2 code transformer
  ☆13Aug 8, 2022Updated 3 years ago
• matheusfm / json-utils-plugin

  View on GitHub
  [DEPRECATED] Now JetBrains IDEs have native support for evaluating JSONPath expressions
  ☆15Jun 5, 2023Updated 2 years ago
• csienslab / icLibFuzzer

  View on GitHub
  ☆12Feb 20, 2021Updated 4 years ago
• SeeminglyScience / PSSyntaxRewriter

  View on GitHub
  PowerShell abstract syntax tree rewriter library
  ☆11Jan 30, 2019Updated 7 years ago
• rnd0101 / json_schema_inferencer

  View on GitHub
  Automatically generates schema given json samples.
  ☆10Jun 1, 2016Updated 9 years ago
• grumpygamer / kvstore

  View on GitHub
  Simple key/value store using PHP and SQLite
  ☆11Sep 30, 2023Updated 2 years ago
• koengit / intuit

  View on GitHub
  An automated theorem prover for intuitionistic propostional logic
  ☆14Sep 21, 2020Updated 5 years ago
• patnashev / llr2

  View on GitHub
  [DEPRECATED] LLR2 is a primality testing program for numbers of several specific forms.
  ☆10May 1, 2024Updated last year
• cosmicbuffalo / adv360-zmk-config

  View on GitHub
  ZMK configuration for Advantage 360 pro
  ☆12Oct 28, 2023Updated 2 years ago
• dhutchis / LaraDB

  View on GitHub
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆13Feb 9, 2022Updated 4 years ago
• neilwalkinshaw / mintframework

  View on GitHub
  A framework for inference and testing of software behaviour.
  ☆13Jun 14, 2023Updated 2 years ago
• sdn-ixp / internet2award

  View on GitHub
  ☆15Dec 26, 2021Updated 4 years ago
• sergi / par

  View on GitHub
  par is a paragraph reformatter, vaguely similar to fmt, but better.
  ☆12May 19, 2010Updated 15 years ago
• bnkc / morningbot

  View on GitHub
  Get weather updates by text anytime, anywhere
  ☆14May 8, 2023Updated 2 years ago
• philip-peterson / go-mutablestring

  View on GitHub
  Mutable strings in Golang via overlays
  ☆14Apr 13, 2023Updated 2 years ago
• gtudan / bpmn-js-cmd

  View on GitHub
  A command line tool for rendering BPMN-Diagrams with https://bpmn.io/toolkit/bpmn-js/
  ☆11Dec 30, 2022Updated 3 years ago
• chaosim / dao

  View on GitHub
  new generation language
  ☆20Aug 2, 2013Updated 12 years ago
• vlab-cs-ucsb / LibStranger

  View on GitHub
  ☆12Jan 8, 2016Updated 10 years ago
• andreortiz82 / middlemanvuejs-starter

  View on GitHub
  A starter project for Middleman and VueJS
  ☆12Jul 28, 2017Updated 8 years ago
• benquike / cheatsheets

  View on GitHub
  Cheat Sheets of the tools/programming languages
  ☆11Jul 8, 2018Updated 7 years ago
• victor-gil-sepulveda / pyScheduler

  View on GitHub
  Implementation of a simple task scheduler. It can run taks in parallel.
  ☆14Dec 3, 2013Updated 12 years ago
• gvaughn / dotfiles

  View on GitHub
  Organizing vim setup plus other dotfiles
  ☆16Nov 5, 2024Updated last year
• tuturto / archimedes

  View on GitHub
  Hy macros for Hypothesis framework
  ☆14Aug 23, 2023Updated 2 years ago
• kppw99 / FuzzBuilderEx

  View on GitHub
  FuzzBuilderEx is a system to build seed corpus and fuzzing executables using the test framework automatically.
  ☆13Sep 6, 2022Updated 3 years ago
• avigad / arwm

  View on GitHub
  Automated Reasoning for the Working Mathematician
  ☆11Aug 30, 2019Updated 6 years ago
• fandreuz / BisPy

  View on GitHub
  BisPy - Python bisimulation library
  ☆16Jan 21, 2022Updated 4 years ago
• blynn / frac

  View on GitHub
  Continued fractions library.
  ☆15May 23, 2015Updated 10 years ago