AtomVM

A lightweight Erlang/Elixir virtual machine for microcontrollers.

ToolLanguages & runtimeserlangelixirembeddedmicrocontroller

Recommended in 1 thread

Raspberry Pi Zero 3W and Pi 4 Model A spotted in device trees
bret.dk · 2 days ago
Lets Elixir users move from Nerves on Pi to ESP32 boards.

Elixir Languages & runtimes
A functional language on the Erlang VM.
1 thread
TinyGo ↗Languages & runtimes
A Go compiler aimed at microcontrollers and WebAssembly.
1 thread
PyPy Languages & runtimes
An alternative Python implementation with a tracing JIT compiler.
1 thread
Catala Languages & runtimes
A programming language for translating legal statutes into executable code.
1 thread
Numba Languages & runtimes
A JIT compiler for numerical Python code using LLVM.
1 thread
mypyc ↗Languages & runtimes
A compiler that turns type-annotated Python modules into C extensions.
1 thread
March ↗Languages & runtimes
A new programming language with Claude skills for search, debugging and language rules.
1 thread
SixtyPical ↗Languages & runtimes
A 6502 assembly-like language with an effect system and flow typing.
1 thread

F#
A functional-first programming language on .NET.
2 threads
Fil-C ↗
A memory-safe implementation of C/C++ that compiles existing code with runtime safety checks.
2 threads
Inform 7 ↗
A natural-language-style programming language for writing text adventures.
2 threads
Lean ↗
An interactive theorem prover and programming language used to formalize mathematical proofs.
2 threads
Lobster ↗
A high-level programming language by Wouter van Oortmerssen, focused on ease of use with good performance.
2 threads
Rust
A systems programming language with compile-time memory safety guarantees.
2 threads
Catala
A programming language for translating legal statutes into executable code.
1 thread
CinderX ↗
Meta's performance extension for CPython including a JIT and Static Python.
1 thread
Coalton
A statically typed functional language embedded in Common Lisp.
1 thread
Cuis Smalltalk ↗
A minimalist Smalltalk-80 derived environment with a vector-graphics rendering engine.
1 thread
Cython
A compiler that turns Python-like code into C extensions.
1 thread
Djot ↗
A light markup syntax by John MacFarlane derived from CommonMark with simpler parsing.
1 thread