An implementation of the LSTAR Grammatical Inference Algorithm
☆52Mar 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
Sorting:
- PoC of a Browser Identification via HTTP/2 active stack fingerprinting☆15Dec 2, 2017Updated 8 years ago
- Progressive canary rollout controller for Kubernetes/Prometheus☆14Nov 3, 2020Updated 5 years ago
- ☆21Dec 18, 2013Updated 12 years ago
- Configuration security audit framework☆21Apr 27, 2016Updated 9 years ago
- implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples☆77Dec 3, 2019Updated 6 years ago
- Wine, playonlinux and pulseaudio on LXDE desktop☆12Aug 11, 2022Updated 3 years ago
- A LevelDB-backed RDFLib Store for RDFLib=>6.0☆19May 23, 2024Updated last year
- An automata learning library written in Python.☆48Feb 26, 2020Updated 6 years ago
- An experimental programming language.☆19May 16, 2019Updated 6 years ago
- OXA - Open XDR architecture☆13Apr 1, 2025Updated 11 months ago
- Very Simple and Basic Implementation of Compositional Pattern Producing Network in TensorFlow☆11Nov 27, 2019Updated 6 years ago
- Convert RDF to Semantic MediaWiki facts in MediaWiki XML format, with a standalone commandline tool☆20Mar 28, 2025Updated 11 months ago
- Python implementation of zzuf mutator - little bit-flip atomic bomb☆71Nov 15, 2016Updated 9 years ago
- An addressbook for emacs based on bookmark.el☆22Jan 5, 2026Updated 2 months ago
- Examples demonstrating the usage of avatar²☆28Dec 9, 2023Updated 2 years ago
- ☆17Jun 8, 2018Updated 7 years ago
- Format string exploit generation☆10Sep 16, 2015Updated 10 years ago
- JaVerT2.0 - Compositional Symbolic Execution for JavaScript☆20Apr 22, 2020Updated 5 years ago
- Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects☆14Feb 4, 2019Updated 7 years ago
- A gadget finder and a ROP-Chainer tool for x86 platforms☆95Jun 13, 2021Updated 4 years ago
- Git helper☆13Oct 28, 2020Updated 5 years ago
- A WS-Man client for Java☆14Jan 8, 2026Updated 2 months ago
- Python wrapper for the Windows CDB Debugger☆20Feb 9, 2022Updated 4 years ago
- A programming language for sound play☆16Mar 4, 2022Updated 4 years ago
- Messaging protocol test tools☆16Dec 13, 2021Updated 4 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
- Dynamic security analysis of embedded systems’ firmwares☆83Oct 18, 2016Updated 9 years ago
- ropc-llvm is a PoC of a Turing complete ROP compiler with support for a subset of LLVM IR. It is an extension of ropc.☆69Oct 3, 2013Updated 12 years ago
- winAFL patch to enable network-based apps fuzzing☆37Sep 14, 2018Updated 7 years ago
- ProXBBE (Protocol eXtraction By Binary Execution)☆31Sep 21, 2017Updated 8 years ago
- Rumprun (SMP version)☆11Jan 4, 2021Updated 5 years ago
- Script(s) to assist with the setup of various tools on a Windows 11/10 VM, in preparation for Corelan Training☆30Feb 11, 2026Updated last month
- Content for cyber defense course☆14Oct 15, 2014Updated 11 years ago
- MIT 6.824-2012☆10Jun 30, 2018Updated 7 years ago
- Using automata learning to mine models used for fuzzing of statefull systems☆24Apr 13, 2021Updated 4 years ago
- An Abstract Reasoning Logic Interface☆15Oct 16, 2020Updated 5 years ago
- Evolution of Discrete data with Reinforcement Learning☆13Dec 8, 2019Updated 6 years ago
- VirtuaPlant is a Industrial Control Systems simulator which adds a “similar to real-world control logic” to the basic “read/write tags” f…☆10Jan 31, 2017Updated 9 years ago
- Minimal "pydasm" fork for Windows☆21Dec 11, 2016Updated 9 years ago