TinyGo tinygo.org ↗
A Go compiler aimed at microcontrollers and WebAssembly.
ToolLanguages & runtimesgoembeddedwasm
Recommended in 1 thread
2026 is an exciting year for the Rust compiler (and me)yoyo-code.com ·
Cited as evidence that GC languages can work on tiny hardware.
Similar tools
- 1 thread
- 1 thread
- Spinel ↗Languages & runtimes1 thread
Matz's ahead-of-time compiler for a statically typed Ruby subset using RBS.
- 2 threads
- Catala Languages & runtimes1 thread
A programming language for translating legal statutes into executable code.
- Lean ↗Languages & runtimes2 threads
An interactive theorem prover and programming language used to formalize mathematical proofs.
- March ↗Languages & runtimes1 thread
A new programming language with Claude skills for search, debugging and language rules.
- SixtyPical ↗Languages & runtimes1 thread
A 6502 assembly-like language with an effect system and flow typing.
Also in Languages & runtimes
- 2 threads
- 2 threads
- Lobster ↗2 threads
A high-level programming language by Wouter van Oortmerssen, focused on ease of use with good performance.
- Rust2 threads
A systems programming language with compile-time memory safety guarantees.
- Catala1 thread
A programming language for translating legal statutes into executable code.
- Coalton1 thread
A statically typed functional language embedded in Common Lisp.
- 1 thread
- Elixir1 thread
A functional language on the Erlang VM.
- F#1 thread
A functional-first programming language on .NET.
- F*1 thread
A proof-oriented functional programming language with dependent types.
- Fil-C1 thread
A memory-safe implementation of C/C++ that compiles existing code with runtime safety checks.
- 1 thread
Link from a commenter, not checked or endorsed by us: ↗ https://tinygo.org/