TranslatedList of personally collected books PDF download Baidu Cloud e-book download
Repository Index
47,133 repositories indexed
1–13 of 13 · Most stars
A simple, cross platform, modulith ecommerce system built on .NET
- modular
- ecommerce
- aspnetcore
- csharp
🔧 Machines, ICs, PLCs, and more!
- java
- craftbook
- minecraft
- redstone
A Node-RED node to interact with Siemens S7 PLCs
- plc
- siemens-s7-plcs
- node-red
High-interaction Honeypot for PLCs and Industrial Control Systems
Convert Haskell source code to Coq source code.
- coq
- haskell
The Penn Locally Nameless Metatheory Library
An extra set of tools for managing Supabase projects going beyond the possibilities of regular Supabase CLI
- cli
- dx
- qol
- rust
HomeMaster is an open-source platform for local-first smart home automation using ESP32-based devices like MiniPLC and MicroPLC. This repository includes firmware, schematics, and documentation for creating modular, cloud-free automation systems fully compatible with Home Assistant via ESPHome
- automation-controller
- embedded-systems
- esp32
- esphome
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
HTPL is a programming language based on HTML
- programming-language
- htpl-compiler
- html
atwSCADA — Free SCADA Software in a Single HTML File | IEC 61850, OPC UA, Modbus TCP | 53 Function Blocks, 65 Graphic Elements | No Installation | Download Free Demo
- digital-substation
- hmi
- iec61850
- industrial-automation
Open-source Modbus RTU/TCP slave simulator for the LRI AEM-60DC8 industrial DC monitor — 147 holding registers, 8 DC channels, 6 baudrates. SCADA/PLC integration testing without hardware.