Alternatives and similar repositories for dfa:

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

• google-research / pynsy
  Heavyweight Python dynamic analysis framework
  ☆13Updated last year
• promptslab / PromptGraph
  Solve Geometric & Graph Problems with Large Language Models
  ☆29Updated 2 years ago
• lab-v2 / pyreason-gym
  An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
  ☆31Updated last year
• nftwzrd / 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…
  ☆102Updated 2 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…
  ☆55Updated last year
• ajparsons / function-pipes
  Typed python equivalent for R pipes.
  ☆12Updated 2 years ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆56Updated last year
• Artefact2 / llm-eval
  A super simple web interface to perform blind tests on LLM outputs.
  ☆28Updated last year
• EzgiKorkmaz / generalization-reinforcement-learning
  A Survey Analyzing Generalization in Deep Reinforcement Learning
  ☆32Updated 5 months ago
• facebookresearch / macta
  MACTA: A Multi-agent Reinforcement Learning Approach for Cache Timing Attacks and Detection
  ☆46Updated last year
• IPRC-DIP / ANPL
  ☆21Updated last year
• ichorid / ringsat
  CDCL SAT-solver for GPUs
  ☆11Updated 7 years ago
• nod-ai / transformer-benchmarks
  benchmarking some transformer deployments
  ☆26Updated 2 years ago
• ivanbelenky / RL
  R.L. methods and techniques.
  ☆14Updated 5 months ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆48Updated last month
• ThomasAlbin / gistyc
  A Python based GitHub GIST management tool
  ☆15Updated 3 years ago
• jquesnelle / ctranslate2-rs
  Rust bindings for CTranslate2
  ☆14Updated last year
• b30wulffz / automata-toolkit
  A tiny library which contains tools to convert, minimize and visualize Regular Expressions, NFA and DFA.
  ☆12Updated 3 years ago
• sdiehl / tiny-r1
  Recreating the minimal training methods of DeepSeek-R1 for small langauge models.
  ☆20Updated 2 months ago
• Rainlabuw / rl-enabled-distributed-assignment
  Implementation of RL-Enabled Distributed Assignment (REDA)
  ☆15Updated 9 months ago
• th3r00t / phatgpt
  Simple terminal interface for chatgpt
  ☆10Updated 2 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• google-research / r_u_sure
  Code accompanying the paper "R-U-SURE? Uncertainty-Aware Code Suggestions By Maximizing Utility Across Random User Intents"
  ☆19Updated last month
• AkiraHakuta / antlr4_tex2sym
  antlr4_tex2sym parses LaTeX math expressions and converts it into the equivalent SymPy form by using antlr4.
  ☆10Updated 4 years ago
• 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 week
• Intelligent-CAT-Lab / CodeMind
  CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that ena…
  ☆37Updated last week
• bentoml / simple_di
  Simple dependency injection framework for Python
  ☆20Updated 11 months ago
• dennisbakhuis / tqdm_batch
  Batch processing using joblib including tqdm progress bars
  ☆20Updated 3 years ago
• tinygrad / tinyos
  ☆32Updated 3 months ago
• blambeau / cudd
  CU Decision Diagram Package (CUDD, unofficial mirror)
  ☆18Updated 12 years ago