Stars
Typeshare is the ultimate tool for synchronizing your type definitions between Rust and other languages for seamless FFI.
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
📚 A curated list of papers for Software Engineers
An AI-based Low-Code and No-Code software development automation framework
Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.
Powerful, elegant and flexible test framework for Kotlin with assertions, property testing and data driven tests.
Lean 4 programming language and theorem prover
odeke-em / drive
Forked from rakyll/driveGoogle Drive client for the commandline
ST STM8: development platform for PlatformIO
ST STM32: development platform for PlatformIO
Espressif 32: development platform for PlatformIO
Your Gateway to Embedded Software Development Excellence 👽
Plugin for MicroPython devices in PyCharm and IntelliJ
ESPHome is a system to control your ESP8266/ESP32 by simple yet powerful configuration files and control them remotely through Home Automation systems.
The Espruino JavaScript interpreter - Official Repo
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Trying to understand the file format of Tip Toi
Sodium - Functional Reactive Programming (FRP) Library for Kotlin