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:
- This is an Object Oriented implementation of a Trie in python. The class contains setter and getter methods, and implements several usefu…☆15Jan 9, 2018Updated 8 years ago
- PoC of a Browser Identification via HTTP/2 active stack fingerprinting☆14Dec 2, 2017Updated 8 years ago
- A free, open-source Java library for automata learning algorithms☆228Apr 12, 2026Updated 2 months ago
- ☆21Dec 18, 2013Updated 12 years ago
- An infinity-categorical coherence typechecker☆18Nov 4, 2024Updated last year
- 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.
- ☆12May 31, 2018Updated 8 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
- An automata learning library written in Python.☆48Feb 26, 2020Updated 6 years ago
- An experimental programming language.☆19May 16, 2019Updated 7 years ago
- Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories☆15Mar 26, 2017Updated 9 years ago
- Examples demonstrating the usage of avatar²☆28Dec 9, 2023Updated 2 years ago
- kvmm is a type2 hypervisor that uses the Linux Kernel Virtual Machine(KVM).☆12Feb 5, 2021Updated 5 years ago
- Temporal Logic Extractor☆12May 12, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Format string exploit generation☆10Sep 16, 2015Updated 10 years ago
- A pure Python 3.x win32 debugger libary☆13Oct 28, 2016Updated 9 years ago
- Fuzzing and Data Manipulation Framework (for GNU/Linux)☆162Updated this week
- Autonomous emergency braking system for pedestrian avoidance☆16Apr 3, 2020Updated 6 years ago
- A gadget finder and a ROP-Chainer tool for x86 platforms☆95Jun 13, 2021Updated 5 years ago
- The LTSmin model checking toolset☆62Oct 31, 2024Updated last year
- OSS sasanka repository☆24Feb 20, 2025Updated last year
- ☆15Jan 19, 2021Updated 5 years ago
- Python wrapper for the Windows CDB Debugger☆20Feb 9, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A place to collect work on dialectica categories.☆32Jun 20, 2026Updated last week
- A programming language for sound play☆16Mar 4, 2022Updated 4 years ago
- Messaging protocol test tools☆16Dec 13, 2021Updated 4 years ago
- Vehicle (car) shapes for use with the Tikz LaTeX package.☆18Dec 16, 2023Updated 2 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- RcppDeepState, a simple way to fuzz test code in Rcpp packages☆10Oct 24, 2022Updated 3 years ago
- Dynamic security analysis of embedded systems’ firmwares☆84Oct 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
- Static Php Analysis and Fuzzer☆26Apr 22, 2014Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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
- STL-Compatible Lemire-Fenn algorithm for running min/max☆27Jan 4, 2020Updated 6 years ago
- Fragscapy is a command-line tool to fuzz network protocols by automating the modification of outgoing network packets. It can run multipl…☆73May 27, 2021Updated 5 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☆44Jun 22, 2026Updated last week
- Alternative hexdump.☆15Feb 4, 2016Updated 10 years ago