Alternatives and similar repositories for dfa

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

• YaelDillies / LeanAPAP
  Formalisation of the Kelley-Meka bound on Roth numbers
  ☆17Updated 2 weeks ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆49Updated last week
• iaramer / dobbi
  An open-source NLP library: fast text cleaning and preprocessing
  ☆23Updated 3 years ago
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆12Updated 2 years ago
• ichorid / ringsat
  CDCL SAT-solver for GPUs
  ☆11Updated 8 years ago
• cvndsh / rebus
  REBUS: A Robust Evaluation Benchmark of Understanding Symbols
  ☆13Updated 9 months ago
• DeepCodeAI / cli
  Command line interface for our public API
  ☆17Updated 2 years ago
• nyggus / tracemem
  A lightweight tool to measure the full memory of a Python session
  ☆19Updated 2 months ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆29Updated 4 months ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆56Updated last year
• code4me-me / code4me
  Two Automatic code completion IDE extensions for @JetBrains and @microsoft/vscode based on Transformer-based large language models for so…
  ☆55Updated last year
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆147Updated 2 weeks ago
• ajparsons / function-pipes
  Typed python equivalent for R pipes.
  ☆12Updated 2 years ago
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆35Updated 8 months ago
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated 5 months ago
• jkulhanek / pyoverleaf
  Python Overleaf API and simple CLI
  ☆27Updated last year
• microsoft / JigsawDataset
  Jigsaw Dataset: Natural language to Python Pandas code
  ☆53Updated 2 years ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• lab-v2 / pyreason-gym
  An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
  ☆31Updated last year
• aorwall / moatless-testbeds
  Moatless Testbeds allows you to create isolated testbed environments in a Kubernetes cluster where you can apply code changes through git…
  ☆11Updated last month
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆33Updated 3 years ago
• brendanhasz / dagio
  A python package for running directed acyclic graphs of asynchronous I/O operations
  ☆16Updated 3 years ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Updated 9 months ago
• zsoltzombori / plcop
  Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover
  ☆12Updated 4 years ago
• chr1st1ank / narrow-down
  Fast fuzzy text search
  ☆11Updated 2 years ago
• sdiehl / tiny-r1
  Recreating the minimal training methods of DeepSeek-R1 for small langauge models.
  ☆20Updated 3 months ago
• Elayasuguchi / awesome-AGI
  a list of StrongAI related resources.
  ☆10Updated 2 years ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆63Updated 4 months ago