A SCADA system that uses prime for intrusion tolerance. Using PVBrowser as an HMI
☆10May 27, 2015Updated 10 years ago
Alternatives and similar repositories for OpenSourceIntrusionTolerantSCADA
Users that are interested in OpenSourceIntrusionTolerantSCADA are comparing it to the libraries listed below
Sorting:
- Additional software for pvbrowser☆13Nov 13, 2019Updated 6 years ago
- A light wrapper around Google's Breakpad to be used in Qt applications (http://qt.io)☆25Jan 2, 2020Updated 6 years ago
- MyBean轻量级配置框架，插件交流群: 205486036☆36Jul 11, 2016Updated 9 years ago
- HMI and SCADA☆275Oct 17, 2023Updated 2 years ago
- A workspace for learning computer science and software engineering topics☆13Oct 31, 2018Updated 7 years ago
- Moved to GitLab: https://gitlab.com/sardana-org/sardana☆39Nov 3, 2021Updated 4 years ago
- raspilot hardware☆18Aug 12, 2015Updated 10 years ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- Go微服务☆22Mar 11, 2026Updated last week
- ☆10Apr 16, 2020Updated 5 years ago
- Zigduino platform for Contiki OS☆38Aug 17, 2011Updated 14 years ago
- Simple language collation for Go☆13Nov 3, 2020Updated 5 years ago
- Urho3D extra minimal examples and demos. Tested in Ubuntu 18.04.☆11Feb 25, 2022Updated 4 years ago
- ☆12Mar 10, 2026Updated last week
- Spring Rest Angularjs☆34Dec 21, 2016Updated 9 years ago
- ☆14Nov 11, 2014Updated 11 years ago
- CrashReporter using Qt and breakpad☆41Nov 17, 2015Updated 10 years ago
- Tock Tracker (a tock is like a pomodoro but longer)☆10Jul 28, 2014Updated 11 years ago
- A Lua library for creating a virtual keyboard on Linux with uinput☆13May 19, 2014Updated 11 years ago
- Adds a macro (`@api`) to help manage a consistent API between multiple packages☆10May 18, 2021Updated 4 years ago
- Atmel DFU bootloader ABI wrapper for avr-gcc☆17Feb 17, 2013Updated 13 years ago
- Landing a Spaceship using Upside-Down Reinforcement Learning (a.k.a ⅂ꓤ)☆13Oct 25, 2023Updated 2 years ago
- Simple Python to verbose English translator.☆16Jan 18, 2014Updated 12 years ago
- Implementation of the Idemix attribute based credential scheme used in IRMA☆11Dec 11, 2024Updated last year
- UDP-only netcat implementation with OCaml / MirageOS☆14Mar 21, 2017Updated 8 years ago
- Tools for reading OpenStreetMap (OSM) data and gradually turning it into routable networks.☆13Jul 2, 2015Updated 10 years ago
- Decentralized kv storage engine,support decentralized P2P networking, data synchronization and consistency between nodes.☆14Jan 4, 2026Updated 2 months ago
- Functionality for modifying Julia package registry files☆12Mar 4, 2026Updated 2 weeks ago
- Efficient functorized iterators for OCaml.☆13Feb 23, 2018Updated 8 years ago
- Command line dictionary tool☆17Mar 7, 2020Updated 6 years ago
- Use your iPad as a Goban☆30Aug 4, 2010Updated 15 years ago
- A CAM plugin for LibreCAD☆13Nov 5, 2021Updated 4 years ago
- Gherkin DSL for Ginkgo☆11Nov 15, 2023Updated 2 years ago
- Get the hardware information such cpu id ,cpu sn,mac,motherboard sn etc, then calculate the machine code,this method is useful in Softwar…☆65May 28, 2013Updated 12 years ago
- Lua compiled to WebAssembly☆18Apr 25, 2019Updated 6 years ago
- Fast, efficient, private cloud store☆10Apr 6, 2017Updated 8 years ago
- Slim and Liquid working together.☆16Jul 27, 2025Updated 7 months ago
- Sample applications using Cascading☆38Oct 11, 2011Updated 14 years ago
- Process management tool for UNIX systems using gRPC☆12Oct 8, 2018Updated 7 years ago