HVM2 github.com ↗

Recommended in 0 threads

Similar tools

• 
  Bend ↗Languages & runtimes

  Bend is a high-level massively parallel programming language.

  3 threads
• E
  Elixir Languages & runtimes

  A functional language on the Erlang VM.

  4 threads
• 
  GraalPy ↗Languages & runtimes

  A Python 3 implementation on the JVM/GraalVM with a JIT compiler and interop with other languages.

  1 thread
• 
  TinyGo ↗Languages & runtimes

  A Go compiler aimed at microcontrollers and WebAssembly.

  1 thread
• 
  Haskell ↗Languages & runtimes

  A mature lazy functional programming language.

  1 thread
• 
  Bil ↗Languages & runtimes

  An explicit language built on Go and LLVM for distributing algorithms across arrays of small CPUs.

  1 thread
• 
  AtomVM ↗Languages & runtimes

  A lightweight Erlang/Elixir virtual machine for microcontrollers.

  1 thread
• M
  MicroPython Languages & runtimes

  A lean Python implementation for microcontrollers.

  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