verona
Concurrency lang
A research programming language designed to explore concurrency and ownership in C++
Research programming language for concurrent ownership
4k stars
109 watching
166 forks
Language: C++
last commit: 5 months ago
Linked from 1 awesome list
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 ocsigen/lwt | Concurrent programming library for OCaml | 723 |
 yairhalberstadt/fluentlang | An experimental programming language designed to explore the intersection of structural typing, object-oriented programming, and functional programming. | 11 |
 aliceml/aliceml | A functional programming language with support for concurrent and distributed computing, extending Standard ML with various features. | 212 |
 tchajed/iris-simp-lang | Instantiates a simple programming language with Iris to verify concurrent separation logic programs | 49 |
 marcopennekamp/lore | A general-purpose programming language with multi-functions, structs, traits, and a static type system for functional and imperative programming. | 18 |
 niconex/tau | A dynamically-typed concurrent programming language with minimalistic design and support for first-class functions, concurrency, error handling, and implicit return values. | 59 |
 iu-parfunc/lvars | Provides a data structure and framework for monotonically-growing concurrent programs | 80 |
 coq-concurrency/pluto | A Coq-based web server written in a functional programming language | 86 |
 revsic/cpp-concurrency | A C++ concurrency implementation inspired by Golang's style | 15 |
 jondgoodwin/cone | A systems programming language with features such as memory management and concurrency support. | 529 |
 marcoonroad/sporadic | A set of abstractions for concurrency and asynchronous programming in JavaScript | 18 |
 agronholm/anyio | A high-level asynchronous networking and concurrency framework that provides structured concurrency on top of asyncio or trio. | 1,848 |
 safareli/free | A library for combining parallel and sequential computations while maintaining the flexibility of a monadic programming paradigm. | 58 |
 dashbitco/broadway | A concurrent and multi-stage data ingestion and processing framework in Elixir | 2,447 |
 uber-research/pplm | An implementation of a plug-and-play language model that allows users to steer the topic and attributes of large language models. | 1,132 |