Prela prela-lang.org ↗
A relational query language with simpler semantics than SQL.
OtherLanguages & runtimesquery-languagerelationalsemantics
Recommended in 1 thread
LLMs are making formal software verification feasible at a much larger scaleanthropic.com ·
Proposed as a more human-readable specification than SQL or Postgres code.
Similar tools
- March ↗Languages & runtimes1 thread
A new programming language with Claude skills for search, debugging and language rules.
- Catala Languages & runtimes1 thread
A programming language for translating legal statutes into executable code.
- 1 thread
- 2 threads
- SixtyPical ↗Languages & runtimes1 thread
A 6502 assembly-like language with an effect system and flow typing.
- Spinel ↗Languages & runtimes1 thread
Matz's ahead-of-time compiler for a statically typed Ruby subset using RBS.
- OCaml Languages & runtimes1 thread
A statically typed functional programming language with a garbage collector.
- 1 thread
Also in Languages & runtimes
- 2 threads
- 2 threads
- Lobster ↗2 threads
A high-level programming language by Wouter van Oortmerssen, focused on ease of use with good performance.
- Rust2 threads
A systems programming language with compile-time memory safety guarantees.
- Catala1 thread
A programming language for translating legal statutes into executable code.
- Coalton1 thread
A statically typed functional language embedded in Common Lisp.
- 1 thread
- Elixir1 thread
A functional language on the Erlang VM.
- F#1 thread
A functional-first programming language on .NET.
- F*1 thread
A proof-oriented functional programming language with dependent types.
- Fil-C1 thread
A memory-safe implementation of C/C++ that compiles existing code with runtime safety checks.
- 1 thread
Link from a commenter, not checked or endorsed by us: ↗ https://prela-lang.org/