Rust

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

OtherLanguages & runtimesmemory-safetysystems-programming

Recommended in 2 threads

The result of the C++26 DIS ballot
train-it.eu · 8 hours ago
Suggested as a modern alternative with editions and a proper build model, usable on ARM and RISC-V microcontrollers.
PHP2Shell: AI uncovers critical RCE in PHP
wiz.io · 5 days ago
Suggested as a safer replacement for C in interpreters and kernel networking code.

pyxis ↗Dev tools
A compiler that generates Rust types matching C++ memory layouts.
1 thread
March ↗Languages & runtimes
A new programming language with Claude skills for search, debugging and language rules.
1 thread
Spinel ↗Languages & runtimes
Matz's ahead-of-time compiler for a statically typed Ruby subset using RBS.
1 thread
Fil-C Languages & runtimes
A memory-safe implementation of C/C++ that compiles existing code with runtime safety checks.
1 thread
zlib-rs ↗Frameworks & libraries
A Rust implementation of zlib.
1 thread
Odin Languages & runtimes
A systems programming language with configurable allocators such as bump and scratch allocators.
1 thread
Catala Languages & runtimes
A programming language for translating legal statutes into executable code.
1 thread
Elixir Languages & runtimes
A functional language on the Erlang VM.
1 thread

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
Catala
A programming language for translating legal statutes into executable code.
1 thread
Coalton
A statically typed functional language embedded in Common Lisp.
1 thread
Djot ↗
A light markup syntax by John MacFarlane derived from CommonMark with simpler parsing.
1 thread
Elixir
A functional language on the Erlang VM.
1 thread
F#
A functional-first programming language on .NET.
1 thread
F*
A proof-oriented functional programming language with dependent types.
1 thread
Fil-C
A memory-safe implementation of C/C++ that compiles existing code with runtime safety checks.
1 thread
Futhark ↗
A purely functional, data-parallel array language that compiles to GPU and CPU code.
1 thread
Go
A compiled, garbage-collected language from Google with goroutines.
1 thread