Explore >> Select a destination

You are here

 craigjb.com
Rust on Risc-V (VexRiscv) on SpinalHDL with SymbiFlow on the Hackaday Supercon Badge · Craig J. Bishop
| | kuruczgy.com
Porting Lean to the ESP32-C3 RISC-V microcontroller
3.3 parsecs away

Travel
| | [AI summary] The article discusses the author's experience of running Lean, a pure functional programming language, on an ESP32 microcontroller for a project involving LED control. Despite Lean's purity, the author utilized its monadic features to handle impure operations like GPIO manipulation and delays. The project involved significant optimizations, including custom bit-banging for the WS2812 LED protocol and reducing code size through various techniques. The author also outlines future directions for the project, including potential improvements in compilation, hardware support, and further optimizations.
| | github.com
GitHub - riscv-collab/riscv-gnu-toolchain: GNU toolchain for RISC-V, including GCC
2.0 parsecs away

Travel
| | GNU toolchain for RISC-V, including GCC. Contribute to riscv-collab/riscv-gnu-toolchain development by creating an account on GitHub.
| | tomscii.sig7.se
What time is it (NTP and SNMP over WiFi-style)?
4.3 parsecs away

Travel
| |
| | github.com
Contributors to electron/fiddle · GitHub
15.9 parsecs away

Travel
| :electron: ?? The easiest way to get started with Electron - Contributors to electron/fiddle