par-team/par-lang
View on GitHub ↗ ★ 821 Rust
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
4 mentions on Hacker News by 4 people: 2 stories, 2 comments · first 2025-02-01 · latest 2025-11-20
20082026
-
https://github.com/faiface/par-lang https://faiface.github.io/par-lang/introduction.html
comment by DecoPerson · 2025-11-20 · in Par programming language (exploring linear types, guaranteed progress, more) -
Do you know about the Par language? They try to integrate Par into a usable syntax https://github.com/faiface/par-lang
comment by marvinborner · 2025-08-03 · in Linear Types for Programmers (2023)