A Python library for working with finite state automata.
☆26Oct 12, 2011Updated 14 years ago
Alternatives and similar repositories for python-automata
Users that are interested in python-automata are comparing it to the libraries listed below
Sorting:
- A Scheme-like, lispy language, implemented in JavaScript.☆23Mar 14, 2010Updated 16 years ago
- Implementation of algorithms from the paper Fuzzy Extractors: How to Generate Strong Keys from Biometrics and Other Noisy Data☆14Mar 26, 2014Updated 11 years ago
- Synthesis Format Conversion Tool☆27Nov 18, 2025Updated 4 months ago
- dormando's awesome memcached top☆54Dec 16, 2009Updated 16 years ago
- A collection of tools for generating, manipulating and - most of all - solving parity games.☆37Jan 10, 2026Updated 2 months ago
- Development repository for the freebsd cookbook☆26Mar 2, 2026Updated 2 weeks ago
- Algorithms that work on generic C arrays☆11Feb 13, 2017Updated 9 years ago
- Cache::Memcached☆28Mar 3, 2022Updated 4 years ago
- Security Advisor for cPanel & WHM (canonical upstream repo)☆24Oct 21, 2021Updated 4 years ago
- Temporal Logic Planning toolbox☆125Mar 6, 2026Updated 2 weeks ago
- Creates bibliographies in Typst with URL/DOI links☆17Jan 21, 2026Updated last month
- Wiser is a simple search engine from “検索エンジン自作入門”(how to develop search engine).☆20Mar 12, 2025Updated last year
- ☆10Feb 23, 2024Updated 2 years ago
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆21Aug 19, 2024Updated last year
- Robust individual and aggregate checksums for nucleotide sequences☆17Mar 3, 2026Updated 2 weeks ago
- A PowerPoint Macro to see the presentation's progress☆21Sep 11, 2017Updated 8 years ago
- Rapid estimation of phylogenetic trees using sketching☆13Feb 18, 2025Updated last year
- A hash map using the BooPHF perfect hash function☆13Sep 25, 2016Updated 9 years ago
- ☆11Mar 10, 2024Updated 2 years ago
- Perform Model Checking and POMDP Planning from LTL specifications using POMDPs.jl☆15Aug 8, 2024Updated last year
- 🧮 🔢 Generate multi-sample k-mer count matrix from WGS☆11Jan 17, 2026Updated 2 months ago
- The programming language of the elder gods.☆30Aug 30, 2016Updated 9 years ago
- miscellaneous script-like stuff in go for bioinformatics☆14Nov 4, 2016Updated 9 years ago
- Library for spline manipulation.☆20Apr 22, 2021Updated 4 years ago
- Perl LDAP client library☆26Aug 17, 2022Updated 3 years ago
- Mirror of the Approximate POMDP Planning (APPL) C++ toolkit for POMDP planning.☆24Apr 15, 2016Updated 9 years ago
- Benchmark of four minimal perfect hash libraries (phf, emphf, CMPH, Sux4J)☆14Apr 6, 2017Updated 8 years ago
- Host depletion optimised for clinical metagenomic sequencing applications☆16Nov 18, 2024Updated last year
- Make a Docker container from a Python app with a pip requirements.txt file☆14May 1, 2015Updated 10 years ago
- Lightweight C++ library for reading FASTA and FASTQ files.☆11Feb 16, 2019Updated 7 years ago
- ☆12Jan 21, 2016Updated 10 years ago
- Multiple Bacteria Genome Compressor (MBGC)☆11Feb 20, 2026Updated last month
- ☆29Feb 9, 2017Updated 9 years ago
- Real-time species-typing visualisation for nanopore data.☆13Apr 11, 2023Updated 2 years ago
- Embedding-based indexing for compact storage and rapid querying of bacterial pan-genomes☆21Dec 9, 2025Updated 3 months ago
- A fast module for computing proximity queries between convex bodies in 2D/3D☆23Dec 27, 2021Updated 4 years ago
- Detection of structural variants in cancer mate-pair and paired-end data☆13May 3, 2019Updated 6 years ago
- Next Index to Query Kmer Intersection☆17Feb 1, 2023Updated 3 years ago
- RNF framework for NGS: simulation of reads, evaluation of mappers, conversion of RNF-compliant data.☆14Nov 10, 2025Updated 4 months ago