EDI-Systems
Follow
Stars
A tiny real-time kernel focusing on formal reliability and simplicity.
SGDK - A free and open development kit for the Sega Mega Drive
Discussion about meta computing and metakernels
Source code visualization utility written in JavaScript with d3.js. Does your code look beautiful?
An microkernel focusing on hyperadaptability, hyperreusability, and hyperdeployability.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Small yet powerful state machine coroutine library
Windows software for sharing locally connected USB devices to other machines, including Hyper-V guests and WSL 2.
A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. Please DO NOT send pull requests or any other stuff. All communication should be through the Lua mailing lis…
🤓 Build your own <insert technology here>
Duktape - embeddable Javascript engine with a focus on portability and compact footprint
BACnet Protocol Stack library provides a BACnet application layer, network layer and media access (MAC) layer communications services.
creating kicad footprints using python scripts
Polar : Function Code Aware Fuzz Testing of ICS Protocol
Repo for counting stars and contributing. Press F to pay respect to glorious developers.
I2C device library collection for AVR/Arduino or other C++-based MCUs
An capability-based microkernel RTOS focusing on scalability, predictability, mixed-criticality and recoverability
World's largest Contributor driven code dataset | Used in Quark Search Engine, @OpenGenus IQ, OpenGenus Visual Project
通用点阵字库生成工具。github停止更新，请移步开源中国:https://git.oschina.net/kerndev/FontMaker
Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.
LTZVisor: a Lightweight TrustZone-assisted Hypervisor