Alternatives and similar repositories for dfa

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

• nyggus / tracemem
  A lightweight tool to measure the full memory of a Python session
  ☆20Updated last month
• amolk / AGI-experiments
  Various experiments related to AGI
  ☆12Updated last year
• justindujardin / mathy
  Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning
  ☆142Updated last year
• IPRC-DIP / ANPL
  ☆21Updated 2 years ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆58Updated last year
• quantmew / ta-box
  A pure Python implementation for TA-LIB based on Cython (Progress: 92/158 Indicators)
  ☆15Updated 4 months ago
• fla-sil / PyTorrent
  ☆43Updated 11 months ago
• brendanhasz / dagio
  A python package for running directed acyclic graphs of asynchronous I/O operations
  ☆17Updated 4 years ago
• ajparsons / function-pipes
  Typed python equivalent for R pipes.
  ☆13Updated 3 years ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆56Updated 3 months ago
• microsoft / JigsawDataset
  Jigsaw Dataset: Natural language to Python Pandas code
  ☆55Updated 2 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 2 years ago
• pombredanne / python-ast-visualizer
  Graphviz visualizations of Python ASTs
  ☆42Updated 10 years ago
• a-rahimi / python-checkpointing2
  Checkpoint the state of Python programs using Pythonic setjmp and longjmp
  ☆68Updated 4 years ago
• gyermolenko / awesome-python-ast
  Python tools, libraries and resources about AST (as in Abstract Syntax Trees)
  ☆101Updated 3 years ago
• OpenBuddy / GrandSage
  ☆16Updated last year
• pentschev / pybench
  Automation tools for Python benchmarking
  ☆19Updated 6 years ago
• RiccardoBiosas / LeanGPT
  Experiments with interactive theorem provers, LLMs and formal systems
  ☆23Updated 2 years ago
• DeepCodeAI / cli
  Command line interface for our public API
  ☆19Updated 2 years ago
• EleutherAI / DeeperSpeed
  DeepSpeed is a deep learning optimization library that makes distributed training easy, efficient, and effective.
  ☆171Updated 2 months ago
• lab-v2 / pyreason-gym
  An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
  ☆31Updated last year
• DutytoDevelop / VDBLITE
  Vector Database Lite (like SQLITE but for vectors)
  ☆13Updated 3 years ago
• orsinium-labs / python-lambda-calculus
  Lambda Calculus things implemented on Python
  ☆90Updated 6 years ago
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆13Updated 2 years ago
• NeVerTools / pyNeVer
  A Python library for learning and verification of neural networks and other machine learning models
  ☆14Updated 2 months ago
• IllustratedMan-code / TuringMachine
  ☆15Updated 2 years ago
• Elayasuguchi / awesome-AGI
  a list of StrongAI related resources.
  ☆11Updated 2 years ago
• ethancaballero / neural-engineers-first-attempt
  first attempt at description2code from 2016
  ☆10Updated 7 years ago
• kemingy / vllm-env
  setup the env for vllm users
  ☆16Updated 2 years ago
• jquesnelle / ctranslate2-rs
  Rust bindings for CTranslate2
  ☆14Updated 2 years ago