Alternatives and similar repositories for dfa

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

• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆36Updated 9 months ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆56Updated last year
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆12Updated 2 years ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆31Updated 6 months ago
• lab-v2 / pyreason-gym
  An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
  ☆31Updated last year
• b30wulffz / automata-toolkit
  A tiny library which contains tools to convert, minimize and visualize Regular Expressions, NFA and DFA.
  ☆12Updated 4 years ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆64Updated 5 months ago
• inpefess / gym-saturation
  a collection of Gymnasium environments for saturation provers
  ☆22Updated 2 weeks ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆75Updated 3 years ago
• YaelDillies / LeanAPAP
  Formalisation of the Kelley-Meka bound on Roth numbers
  ☆17Updated 3 weeks ago
• microsoft / JigsawDataset
  Jigsaw Dataset: Natural language to Python Pandas code
  ☆53Updated 2 years ago
• iantbutler01 / ditty
  A library for simplifying fine tuning with multi gpu setups in the Huggingface ecosystem.
  ☆16Updated 8 months ago
• DeepCodeAI / cli
  Command line interface for our public API
  ☆17Updated 2 years ago
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated 6 months ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆8Updated 6 years ago
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆45Updated 5 years ago
• srush / drop7
  ☆18Updated last year
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆33Updated 4 years ago
• catid / dataloader
  High-performance tokenized language data-loader for Python C++ extension
  ☆13Updated 11 months ago
• 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
• cair / convolutional-tsetlin-machine-tutorial
  Tutorial on the Convolutional Tsetlin Machine
  ☆53Updated 4 years ago
• yhenon / llm-face-vision
  Benchmarking vision language vision on face tasks
  ☆13Updated 2 months ago
• trishullab / copra
  COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
  ☆62Updated last month
• tiangolo / pymdown-extensions
  Extensions for Python Markdown
  ☆10Updated 8 months ago
• simpx / simpy
  fork from https://gitlab.com/team-simpy/simpy.git
  ☆25Updated 4 years ago
• brendanhasz / dagio
  A python package for running directed acyclic graphs of asynchronous I/O operations
  ☆16Updated 3 years ago
• google-research / pynsy
  Heavyweight Python dynamic analysis framework
  ☆13Updated last year
• wasimusu / distcache
  A python open-source distributed in-memory cache and database.
  ☆21Updated 4 years ago
• pentschev / pybench
  Automation tools for Python benchmarking
  ☆19Updated 5 years ago
• LMU-Seminar-LLMs / AutoTestGen
  Automatic Test Generator
  ☆12Updated 3 months ago