Toucan github.com ↗

Recommended in 0 threads

Similar tools

• 
  Catala ↗Languages & runtimes

  A programming language for translating legal statutes into executable code.

  1 thread
• 
  Python ↗Languages & runtimes

  A general-purpose programming language with extensive data science libraries.

  1 thread
• 
  March ↗Languages & runtimes

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

  2 threads
• 
  Mech ↗Languages & runtimes

  A programming language project from a former Eve developer.

  0 threads
• 
  Go ↗Languages & runtimes

  A compiled, garbage-collected language from Google with goroutines.

  1 thread
• 
  Roc ↗Languages & runtimes

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

  1 thread
• 
  PyPy ↗Languages & runtimes

  An alternative Python implementation with a tracing JIT compiler.

  1 thread
• 
  TinyGo ↗Languages & runtimes

  A Go compiler aimed at microcontrollers and WebAssembly.

  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