Inform 7 ganelson.github.io ↗

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

ToolLanguages & runtimesinteractive-fictionnatural-languagetext-adventuresdslnatural-language-syntax

Recommended in 2 threads

The foolishness of "natural language programming" (1978)
cs.utexas.edu · 3 days ago
Cited as the most elegant attempt to blend natural language and programming, though some found its loose syntax hard to master.
LLMs are making formal software verification feasible at a much larger scale
anthropic.com · 3 days ago
Cited as proof that English-like declarative languages can generate real code without AI.

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
Lean ↗Languages & runtimes
An interactive theorem prover and programming language used to formalize mathematical proofs.
2 threads
TruffleRuby Languages & runtimes
A high-performance Ruby implementation built on GraalVM.
1 thread
Rust Languages & runtimes
A systems programming language with compile-time memory safety guarantees.
2 threads
Elixir Languages & runtimes
A functional language on the Erlang VM.
1 thread
Spinel ↗Languages & runtimes
Matz's ahead-of-time compiler for a statically typed Ruby subset using RBS.
1 thread
F# Languages & runtimes
A functional-first programming language on .NET.
1 thread

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

Link from a commenter, not checked or endorsed by us: ↗ https://ganelson.github.io/inform-website/