Alternatives and similar repositories for automata-toolkit

Users that are interested in automata-toolkit are comparing it to the libraries listed below

• NishantCoder108 / faucet

  View on GitHub
  Solana Airdrop Faucet: A simple web application that allows users to receive free SOL tokens on the Solana Devnet. Built with Next.js, th…
  ☆11Sep 22, 2024Updated last year
• petals-infra / petals.dev

  View on GitHub
  🌸 Run 100B+ language models at home, BitTorrent-style. Landing page for the project
  ☆28Jul 24, 2024Updated last year
• whj0401 / RLOBF

  View on GitHub
  ☆10Sep 28, 2020Updated 5 years ago
• proyecto-chaucha / chaucha-gha-wallet-generator

  View on GitHub
  Chaucha functions for usage with Github Actions
  ☆11Sep 18, 2020Updated 5 years ago
• petals-infra / health.petals.dev

  View on GitHub
  🏥 Health monitor for a Petals swarm
  ☆40Jul 24, 2024Updated last year
• SMAT-Lab / SE4OpenHarmony

  View on GitHub
  ☆12Feb 2, 2024Updated 2 years ago
• hfg-gmuend / openmoji.org

  View on GitHub
  ☆10Dec 17, 2025Updated last month
• Flawm / solana-nft-cloner

  View on GitHub
  ☆10Dec 24, 2021Updated 4 years ago
• g-otn / GameServerEC2Discord

  View on GitHub
  Run very cheap game servers (Minecraft, LinuxGSM, etc) in AWS EC2 Spot instances controlled by Discord slash commands. Manage using Terra…
  ☆13Aug 6, 2025Updated 6 months ago
• eduardo3g / terraform-serverless

  View on GitHub
  Create immutable infrastructure with IaC technologies at AWS with Terraform and Serverless Framework ☁️ The main services used are Dynamo…
  ☆10Jan 3, 2021Updated 5 years ago
• Daftstone / ChatGPT-Batch-Query

  View on GitHub
  This project is used to automatically grab the query results of ChatGPT in batches without manual input. And it supports automatic switch…
  ☆14Feb 28, 2023Updated 2 years ago
• no3sis-lattice / synapse

  View on GitHub
  Experimental framework taking inspiration from biological systems, combining compression-based architectures, group theory, and symmetry …
  ☆14Nov 13, 2025Updated 3 months ago
• s6nqou / pump-anchor

  View on GitHub
  Pump.fun Anchor SDK: IDL & CPI only Solana program (smart contract)
  ☆15Dec 13, 2024Updated last year
• junkiyoshi / DoodleDeProgramming

  View on GitHub
  プログラミング de 落書きで公開しているコードを共有します
  ☆24Updated this week
• code-philia / GUIPilot

  View on GitHub
  GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs
  ☆14Jan 5, 2026Updated last month
• M0nica / ambition-fund-website

  View on GitHub
  Website for www.ambitionfund.org, micro-grant program to provide support for underrepresented people who need financial assistance pursui…
  ☆13Jan 6, 2023Updated 3 years ago
• tableaunoir / tableaunoir.github.io

  View on GitHub
  Deployed version of Tableaunoir. Do not modify this repository.
  ☆11Nov 16, 2025Updated 2 months ago
• rajeshkumarramaswamy / aws-workspaces

  View on GitHub
  Self service portal for aws workspace
  ☆10Dec 10, 2023Updated 2 years ago
• opensource-observer / oss-funding

  View on GitHub
  Registry of grants and other funding to open source software (OSS) projects
  ☆15Jan 25, 2026Updated 3 weeks ago
• EyescreenerFun / DeepSeek-Trade-Robot

  View on GitHub
  A trade robot on pumpfun use DeepSeek AI
  ☆12Feb 5, 2025Updated last year
• aragon / conviction-funding-pilot

  View on GitHub
  Conviction Funding community grants: https://aragon.org/blog/introducing-the-conviction-funding-pilot
  ☆11Mar 8, 2023Updated 2 years ago
• ChijinZ / PolyJuice-Fuzzer

  View on GitHub
  A DL compiler fuzzer
  ☆14Nov 1, 2024Updated last year
• WardLT / ai-project-template

  View on GitHub
  Project layout for efficient AI for science
  ☆12Sep 30, 2022Updated 3 years ago
• milahu / nur-packages

  View on GitHub
  my nix packages
  ☆10Updated this week
• on-site / grantzilla

  View on GitHub
  A grant application management web app
  ☆10Mar 19, 2018Updated 7 years ago
• itsfarseen / solana-flake

  View on GitHub
  Nix flake for Solana development
  ☆13Jul 8, 2022Updated 3 years ago
• Benjamin-cup / jupiter-cpi

  View on GitHub
  About solana jupiter cpi test, swap spl tokens in pda
  ☆11Dec 23, 2024Updated last year
• yegor256 / antlr2ebnf-maven-plugin

  View on GitHub
  Converts ANTLR grammar .g4 files into EBNF for naive-ebnf LaTeX package; also converts to PDF later on
  ☆11Feb 2, 2026Updated last week
• fraleo / OMTPlan

  View on GitHub
  A python framework for Optimal Planning Modulo Theories
  ☆12Jan 26, 2024Updated 2 years ago
• frostdev-ops / gemini-cli

  View on GitHub
  > Gemini Rust Suite 🦀: A powerful, modular Rust toolkit for interacting with Google Gemini. Features a feature-rich CLI, persistent sema…
  ☆17Apr 23, 2025Updated 9 months ago
• buffalojoec / keyring-program

  View on GitHub
  Keyring program
  ☆10Nov 8, 2024Updated last year
• serokell / mix-to-nix

  View on GitHub
  Generate sandbox buildable Nix expression from Mix lock file
  ☆12Dec 19, 2025Updated last month
• cloudposse / terraform-aws-ssm-parameter-store-policy-documents

  View on GitHub
  A Terraform module that generates JSON documents for access for common AWS SSM Parameter Store policies
  ☆16May 29, 2025Updated 8 months ago
• tracel-ai / burn-central

  View on GitHub
  ☆29Updated this week
• AI-Protocol-Official / Documentation

  View on GitHub
  Examples and Guides
  ☆10Mar 29, 2024Updated last year
• arkworks-rs / gm17

  View on GitHub
  A Rust library for the preprocessing zkSNARK of Groth and Maller
  ☆13Oct 29, 2024Updated last year
• srg-imperial / SnapFuzz-artefact

  View on GitHub
  ☆11May 24, 2022Updated 3 years ago
• data-mermaid / mermaid-api

  View on GitHub
  Core authenticated MERMAID data read/write API
  ☆10Updated this week
• aiplan4eu / up-fast-downward

  View on GitHub
  Integration of the planning system Fast Downward with the unified-planning framework.
  ☆13Aug 5, 2025Updated 6 months ago