Bend bend-lang.com ↗
Bend is a high-level massively parallel programming language.
ToolLanguages & runtimesprogramming-languageparallelismparallel-programminginteraction-netsfunctional
Captured
Recommended in 3 threads
$30M Raised to Redo the CPUtendrils.co ·
Cited as sharing Vine's philosophy and as a possible target for such chips.
Formalizing CPythonbroyojo.com ·
One commenter claimed it already solves keeping code and properties together.
AI is forcing us to pay off 40 years of technical debtspectrum.ieee.org ·
Mentioned as interesting work in the provable/abstraction space.
Similar tools
- 0 threads
- 1 thread
- 4 threads
- 1 thread
- 0 threads
- Spinel ↗Languages & runtimes1 thread
Matz's ahead-of-time compiler for a statically typed Ruby subset using RBS.
- March ↗Languages & runtimes2 threads
A new programming language with Claude skills for search, debugging and language rules.
- Tiny C Compiler Languages & runtimes1 thread
A small, very fast C compiler originally written by Fabrice Bellard.
Also in Languages & runtimes
- 12 threads
- Fil-C ↗5 threads
A memory-safe implementation of C/C++ that compiles existing code with runtime safety checks.
- Ada ↗4 threads
A programming language designed for safety-critical systems, with the SPARK subset supporting formal proofs.
- Elixir4 threads
A functional language on the Erlang VM.
- Rust4 threads
A systems programming language with compile-time memory safety guarantees.
- 3 threads
- 3 threads
- 3 threads
- 2 threads
- 2 threads
- Lobster ↗2 threads
A high-level programming language by Wouter van Oortmerssen, focused on ease of use with good performance.
- 2 threads
Link from a commenter, not checked or endorsed by us: ↗ https://bend-lang.com/