A bare-bones editor for finite automata.
☆26Jun 8, 2021Updated 5 years ago
Alternatives and similar repositories for automata-editor
Users that are interested in automata-editor are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Variants for ROS (implemented as metapackages)☆11May 31, 2025Updated last year
- Doccano annotation server together with a Spacy backend☆11Apr 5, 2023Updated 3 years ago
- Create local APT repository with reprepro☆12Nov 8, 2017Updated 8 years ago
- It's like catkin_tools, but for Fetch☆10Jan 8, 2024Updated 2 years ago
- Catkin extension to play nice with usual python packages and workflow☆10Oct 2, 2020Updated 6 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.
- zzzz.io was a website providing free dynamic dns subdomains☆12Dec 8, 2022Updated 3 years ago
- TNT (Trace the Naughty Tunnels) is an extension to Paris traceroute for revealing most (if not all) hidden MPLS tunnels along a path.☆15Jan 28, 2022Updated 4 years ago
- Collection of ROS packages to enable MoveIt!, move_base, FlexBE, etc. for the Kuka YouBot.☆11Nov 10, 2015Updated 10 years ago
- ☆15Jan 29, 2011Updated 15 years ago
- improve mulval to accommodate some updates and make it more suitable for industrial control network☆12Nov 22, 2022Updated 3 years ago
- Simple models - keep your API messages in shape with validation and handy descriptors based object interface☆14Jun 17, 2019Updated 7 years ago
- Spiking CNN for object recognition☆12Apr 26, 2017Updated 9 years ago
- Here is the code and saliency maps for the paper 'Saliency Pattern Detection by Ranking Structured Trees' in ICCV 2017.☆12Nov 1, 2017Updated 8 years ago
- Wang Tiles algorithm applied to map generation☆14Feb 11, 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.
- Python templating tool.☆15Dec 8, 2014Updated 11 years ago
- Visualize different procedural map generation algorithms☆13Jan 20, 2023Updated 3 years ago
- Source installation of the Robot Operating System on top of a Resin template☆12Aug 19, 2016Updated 10 years ago
- A deep packet inspection (DPI) framework for benchmarking the covertness of protocol-obfuscation proxies.☆14Apr 13, 2022Updated 4 years ago
- MulVAL is an cybersecurity reasoning engine that can be applied on top of multiple contexts (cloud, IoT, enterprise network, etc )☆13Feb 23, 2016Updated 10 years ago
- A pytorch implementation of Abstract Syntax Networks☆12Jun 27, 2025Updated last year
- This repository contains code for Color Image Contrast Enhancement through retinex theory developed in MATLAB.☆11Oct 3, 2019Updated 7 years ago
- A small simple converter from OpenLP to ProPresenter5☆18Nov 15, 2016Updated 9 years ago
- Based on: http://www-cs-students.stanford.edu/~amitp/game-programming/polygon-map-generation/☆20Jan 11, 2016Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A Rain World interactive map using leaflet and GeoJSON data exported from the game files. By @henpemaz☆15Jun 19, 2023Updated 3 years ago
- A keras implementation of "Show, Attend and Tell: Neural Image Caption Generation with Visual Attention"☆14Jun 6, 2019Updated 7 years ago
- Example projects to do with a Kuri robot☆11Oct 18, 2018Updated 7 years ago
- CV Project :- Contrast Based Filtering for Salient Region Detection☆12Apr 14, 2018Updated 8 years ago
- 力导向布局，关系图☆12Apr 19, 2019Updated 7 years ago
- Matlab Implementation of the paper "Salient Region Detection via High-Dimensional Color Transform and Local Spatial Support"☆17Oct 12, 2016Updated 10 years ago
- A pure Python and Numpy implementation of an LSTM Network☆13Mar 2, 2017Updated 9 years ago
- An implementation of Zhang and Sclaroff's Boolean Map Saliency algorithm. http://cs-people.bu.edu/jmzhang/BMS/BMS_iccv13_preprint.pdf.☆14Apr 22, 2025Updated last year
- TensorFlow implementation of "Selective Kernel Networks"☆14Feb 21, 2020Updated 6 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.
- benchmark problems for research in formal methods for robotics☆15May 26, 2025Updated last year
- A Multilayer Backpropagation Saliency Detection Algorithm Based on Depth Mining☆12Mar 27, 2018Updated 8 years ago
- 文本标注和处理平台，前端使用vue，后端使用Django框架，包含标注和后 台管理功能☆13Jan 9, 2022Updated 4 years ago
- MulVAL interaction rules and their mapping to MITRE ATT&CK Techniques☆13Oct 21, 2024Updated last year
- ☆19Jul 25, 2023Updated 3 years ago
- (Barnes_Hut算法)Quadtree和YifanHu layout的python实现☆12Apr 29, 2018Updated 8 years ago
- Utilities of everyday use when writing Python code or Django projects.☆16Aug 31, 2025Updated last year