An implementation of the LSTAR Grammatical Inference Algorithm
☆51Mar 12, 2024Updated 2 years ago
Alternatives and similar repositories for pylstar
Users that are interested in pylstar are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Python implementation of lstar automata learning algorithm.☆10Jan 23, 2024Updated 2 years ago
- OpenDTeX project: Secure Boot components☆10Mar 6, 2015Updated 11 years ago
- implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples☆78Dec 3, 2019Updated 6 years ago
- This is the public release of the code of our paper titled "Noncompliance as Deviant Behavior: An Automated Black-box Noncompliance Check…☆24Jun 7, 2023Updated 3 years ago
- Configuration security audit framework☆21Apr 27, 2016Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆11May 31, 2018Updated 8 years ago
- A free, open-source Java library for automata learning algorithms☆240Sep 24, 2026Updated last month
- Protocol Inspection and State Machine Analysis☆22May 26, 2018Updated 8 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 11 years ago
- An automata learning library written in Python.☆48Feb 26, 2020Updated 6 years ago
- List of netblocks with shared hosting on 20170330☆10Apr 10, 2017Updated 9 years ago
- Temporal Logic Extractor☆13May 12, 2017Updated 9 years ago
- Client-side python modules and command line utilities☆13Jan 7, 2015Updated 11 years ago
- A pure-python win32 debugger interface I wrote but no longer maintain.☆12May 24, 2012Updated 14 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A pure Python 3.x win32 debugger libary☆13Oct 28, 2016Updated 10 years ago
- WMI Provider to report all members of the local Administrators group in the WMI Class root\cimv2\Win32_LocalAdmins☆13May 4, 2020Updated 6 years ago
- ☆21Dec 18, 2013Updated 12 years ago
- Convert RDF to Semantic MediaWiki facts in MediaWiki XML format, with a standalone commandline tool☆20Mar 28, 2025Updated last year
- Fuzzing and Data Manipulation Framework (for GNU/Linux)☆163Updated this week
- OXA - Open XDR architecture☆15Apr 1, 2025Updated last year
- USB man in the middle linux kernel driver☆21May 3, 2021Updated 5 years ago
- A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!☆38Oct 13, 2023Updated 3 years ago
- OWL ontology and SKOS taxonomy for TOGAF 9.2 Content Metamodel☆14Feb 21, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Python SDK to use Qarnot's computing service☆12Aug 4, 2026Updated 2 months ago
- Examples demonstrating the usage of avatar²☆29Dec 9, 2023Updated 2 years ago
- Ad-hoc light weight SPARQL endpoint from a file, using Python Flask and RDFlib☆15Oct 24, 2016Updated 10 years ago
- A WS-Man client for Java☆16Sep 7, 2026Updated last month
- A LevelDB-backed RDFLib Store for RDFLib=>6.0☆19May 23, 2024Updated 2 years ago
- Python implementation of zzuf mutator - little bit-flip atomic bomb☆72Nov 15, 2016Updated 9 years ago
- Alternative hexdump.☆15Feb 4, 2016Updated 10 years ago
- kbench is a test suite to benchmark several hash table implementations heavily based on Heng Li's udb☆12Jan 8, 2018Updated 8 years ago
- Python wrapper for the Windows CDB Debugger☆20Feb 9, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Fragscapy is a command-line tool to fuzz network protocols by automating the modification of outgoing network packets. It can run multipl…☆72May 27, 2021Updated 5 years ago
- ProXBBE (Protocol eXtraction By Binary Execution)☆31Sep 21, 2017Updated 9 years ago
- A set of tools using pywbem to communicate with WBEM servers☆14Oct 26, 2026Updated last week
- TLS access example code snippets☆11Nov 13, 2019Updated 6 years ago
- ☆19May 21, 2025Updated last year
- (discontinued) A SPARQL 1.1 implementation for RDFLib - PINNED TO RDFLIB 3☆18May 15, 2013Updated 13 years ago
- Static Php Analysis and Fuzzer☆26Apr 22, 2014Updated 12 years ago