Niva github.com ↗

Recommended in 0 threads

Similar tools

• March ↗Languages & runtimes

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

  1 thread
• Catala Languages & runtimes

  A programming language for translating legal statutes into executable code.

  1 thread
• Cuis Smalltalk ↗Languages & runtimes

  A minimalist Smalltalk-80 derived environment with a vector-graphics rendering engine.

  1 thread
• OCaml Languages & runtimes

  A statically typed functional programming language with a garbage collector.

  1 thread
• SmallJS ↗Languages & runtimes

  A file-based Smalltalk that compiles to JavaScript and works in VSCode.

  1 thread
• Rust Languages & runtimes

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

  2 threads
• SixtyPical ↗Languages & runtimes

  A 6502 assembly-like language with an effect system and flow typing.

  1 thread
• Shakespeare ↗Languages & runtimes

  An esoteric programming language whose source code reads like a Shakespeare play.

  1 thread

Also in Languages & runtimes

• 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
• AtomVM

  A lightweight Erlang/Elixir virtual machine for microcontrollers.

  1 thread
• 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