Mech github.com ↗

Recommended in 0 threads

Similar tools

• M
  MicroPython Languages & runtimes

  A lean Python implementation for microcontrollers.

  1 thread
• 
  Bend ↗Languages & runtimes

  Bend is a high-level massively parallel programming language.

  3 threads
• 
  AtomVM ↗Languages & runtimes

  A lightweight Erlang/Elixir virtual machine for microcontrollers.

  1 thread
• 
  March ↗Languages & runtimes

  A new programming language with Claude skills for search, debugging and language rules.

  2 threads
• E
  Espruino Languages & runtimes

  A JavaScript interpreter for microcontrollers.

  1 thread
• E
  Elixir Languages & runtimes

  A functional language on the Erlang VM.

  4 threads
• R
  Rust Languages & runtimes

  A systems programming language with compile-time memory safety guarantees.

  4 threads
• 
  Roc ↗Languages & runtimes

  A pure functional programming language that separates side effects from pure code.

  1 thread

Also in Languages & runtimes

• 
  Lean ↗

  An interactive theorem prover and programming language used to formalize mathematical proofs.

  12 threads
• 
  Fil-C ↗

  A memory-safe implementation of C/C++ that compiles existing code with runtime safety checks.

  5 threads
• 
  Ada ↗

  A programming language designed for safety-critical systems, with the SPARK subset supporting formal proofs.

  4 threads
• E
  Elixir

  A functional language on the Erlang VM.

  4 threads
• R
  Rust

  A systems programming language with compile-time memory safety guarantees.

  4 threads
• 
  Bend ↗

  Bend is a high-level massively parallel programming language.

  3 threads
• 
  F# ↗

  A functional-first programming language on .NET.

  3 threads
• 
  OCaml ↗

  A statically typed functional programming language with a garbage collector.

  3 threads
• 
  Zig ↗

  A systems programming language with explicit allocator passing.

  3 threads
• 
  Crystal ↗

  A compiled, statically typed language with Ruby-inspired syntax.

  2 threads
• 
  Inform 7 ↗

  A natural-language-style programming language for writing text adventures.

  2 threads
• 
  Lobster ↗

  A high-level programming language by Wouter van Oortmerssen, focused on ease of use with good performance.

  2 threads