.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
- dotnet
- hacktoberfest
- help-wanted
Repository Index
47,133 repositories indexed
1–18 of 18 · Most stars
WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices, smart contracts, and IoT devices.
🚀 A fast WebAssembly interpreter and the most universal WASM runtime
Ultra-lightweight JavaScript engine for the Internet of Things.
- javascript-engine
- javascript
- jerryscript
- internet-of-things
Gear-Lib, C library for IOT Embedded Multimedia and Network
- posix
- ipc
- event
- v4l2
An ultra-lightweight Python interpreter that runs with only 4KB of RAM, zero dependencies. It is ready to use out of the box without any configuration required and easy to extend with C. Similar project: MicroPython, JerryScript.
- python
- micropython
- mcu
- iot
Tools for developers to create truly open IoT products using standard JavaScript on low cost microcontrollers.
Embedded Go Database, the fast alternative to SQLite, gorm, etc.
Fast GPIO, PWM, servo control, state change notification and interrupt handling with Node.js on the Raspberry Pi
- gpio
- pwm
- servo
- motor
SquirrelJME is a Java ME 8 Virtual Machine for embedded and Internet of Things devices. It has the ultimate goal of being 99.9% compatible with the Java ME standard.
- squirreljme
- java
- java-me
- iot
Secure firmware framework focusing on developer experience
Transpile Golang into Arduino code to use fully automated testing at your IoT projects.
- go
- golang
- arduino
- transpiler
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
go-fasttld is a high performance effective top level domains (eTLD) extraction module.
- compressed-trie
- idn
- idna
- ipv4
An Object Pascal Client for NATS
- delphi
- lazarus
- pascal
- linux
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada