mvcisback / dfa

Related projects ⓘ

Alternatives and complementary repositories for dfa

• ichorid / ringsat
  CDCL SAT-solver for GPUs
  ☆10Updated 7 years ago
• ajparsons / function-pipes
  Typed python equivalent for R pipes.
  ☆12Updated 2 years ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆54Updated 10 months ago
• 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 last year
• limo1996 / SAT-Solver
  Parallel SAT Solver
  ☆8Updated 6 years ago
• b30wulffz / automata-toolkit
  A tiny library which contains tools to convert, minimize and visualize Regular Expressions, NFA and DFA.
  ☆12Updated 3 years ago
• bentoml / simple_di
  Simple dependency injection framework for Python
  ☆20Updated 6 months ago
• onnx / steering-committee
  Notes and artifacts from the ONNX steering committee
  ☆25Updated last week
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆63Updated 8 months ago
• justindujardin / mathy
  Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning
  ☆134Updated 4 months ago
• kemingy / vllm-env
  setup the env for vllm users
  ☆16Updated last year
• jfinkels / PADS
  Packaged version of Python Algorithms and Data Structures (PADS).
  ☆24Updated 7 years ago
• lemay-ai / lazyTextPredict
  Text classification automl
  ☆21Updated 3 years ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆27Updated 4 months ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆32Updated 3 years ago
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆18Updated 3 months ago
• nyggus / tracemem
  A lightweight tool to measure the full memory of a Python session
  ☆19Updated last month
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆19Updated 3 weeks ago
• tigerneil / reinforcementlearning.today
  Made for a reading group at the Center for Safe AGI.
  ☆11Updated 2 years ago
• thtran97 / Local-Search-for-SAT
  Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
  ☆12Updated 3 years ago
• srush / drop7
  ☆18Updated 7 months ago
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆43Updated 4 years ago
• mammothb / editdistpy
  Fast edit distance Python extension written in Cython/C++. Supports Levenshtein distance and Damerau Optimal String Alignment (OSA) dista…
  ☆23Updated 2 months ago
• facebookresearch / veripy
  VeriPy is a python based Verilog/Systemverilog automation tool. It automates ports/wire/reg/logic declarations, sub-module Instantiation,…
  ☆23Updated last month
• Ce11an / spacy-cleaner
  Easily clean text with spaCy!
  ☆32Updated 8 months ago
• wasimusu / distcache
  A python open-source distributed in-memory cache and database.
  ☆21Updated 4 years ago
• vinyasns / dfa-to-regex
  A Python implementation to convert a Deterministic Finite Automata to Regular Expression using state elimination method
  ☆19Updated 6 years ago
• eniompw / nanoGPTshakespeare
  finetuning shakespeare on karpathy/nanoGPT
  ☆15Updated last year
• facebookresearch / dynabench
  Dynamic Adversarial Benchmarking platform
  ☆24Updated 2 years ago
• brendanhasz / dagio
  A python package for running directed acyclic graphs of asynchronous I/O operations
  ☆16Updated 3 years ago