Alternatives and similar repositories for dfa

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

• whitemech / pythomata
  A Python package for automata theory.
  ☆59Updated 2 years ago
• ajparsons / function-pipes
  Typed python equivalent for R pipes.
  ☆13Updated 3 years ago
• Elayasuguchi / awesome-AGI
  a list of StrongAI related resources.
  ☆11Updated 2 years ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆58Updated 5 months ago
• IPRC-DIP / ANPL
  ☆22Updated 2 years ago
• pentschev / pybench
  Automation tools for Python benchmarking
  ☆19Updated 6 years ago
• y-t-bot / opensea-instant-outbidder-bidding-bot
  Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…
  ☆100Updated 3 years ago
• OrchardUniverse / litchi
  Yet another coding assistant powered by LLM.
  ☆16Updated last year
• NeVerTools / pyNeVer
  A Python library for learning and verification of neural networks and other machine learning models
  ☆14Updated 4 months ago
• llnl / AutoCog
  Automaton & Cognition
  ☆16Updated last year
• justindujardin / mathy
  Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning
  ☆144Updated last year
• nyggus / tracemem
  A lightweight tool to measure the full memory of a Python session
  ☆20Updated 3 months ago
• microsoft / JigsawDataset
  Jigsaw Dataset: Natural language to Python Pandas code
  ☆55Updated 3 years ago
• lab-v2 / pyreason-gym
  An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
  ☆32Updated 2 years ago
• srush / drop7
  ☆18Updated last year
• kemingy / vllm-env
  setup the env for vllm users
  ☆16Updated 2 years ago
• ichorid / ringsat
  CDCL SAT-solver for GPUs
  ☆12Updated 8 years ago
• microsoft / semantipy
  Manipulating semantic data within Python
  ☆18Updated last year
• google / gematria
  Machine learning for machine code.
  ☆94Updated 3 months ago
• RiccardoBiosas / LeanGPT
  Experiments with interactive theorem provers, LLMs and formal systems
  ☆23Updated 2 years ago
• valayDave / arxiv-miner
  arxiv_miner is a toolkit for mining research papers on CS ArXiv.
  ☆140Updated last year
• arXiv / arxiv-browse
  Flask app for article abstract and listing pages
  ☆175Updated last week
• arXiv / zzzArchived_arxiv-fulltext
  arXiv plain text extraction
  ☆41Updated 3 years ago
• code4me-me / code4me
  Two Automatic code completion IDE extensions for @JetBrains and @microsoft/vscode based on Transformer-based large language models for so…
  ☆56Updated last year
• EleutherAI / DeeperSpeed
  DeepSpeed is a deep learning optimization library that makes distributed training easy, efficient, and effective.
  ☆171Updated 4 months ago
• equinor / isar
  Integration and Supervisory control of Autonomous Robots
  ☆19Updated this week
• Cspeisman / chatgpt-intellij-plugin
  ☆32Updated 2 years ago
• sdiehl / tiny-r1
  Recreating the minimal training methods of DeepSeek-R1 for small langauge models.
  ☆22Updated 11 months ago
• brendanhasz / dagio
  A python package for running directed acyclic graphs of asynchronous I/O operations
  ☆17Updated 4 years ago
• fla-sil / PyTorrent
  ☆43Updated last year