Awesome GitHub RepositoriesConcurrent Programming Languages

Bend is a high-level parallel programming language and compiler designed to execute code across multi-core CPUs and GPUs automatically. By translating functional source code into a graph-based intermediate representation, it enables massive parallel execution without requiring manual management of threads, locks, or atomic operations. The runtime operates as an interaction net engine, where computations are represented as networks of nodes that reduce through local rewriting rules. This model utilizes a work-stealing scheduler to distribute tasks across thousands of hardware threads, ensuring

Borgo 是一种静态类型语言和编译器，可将高级语法转换为 Go 源代码。它作为转译器，旨在利用 Go 运行时，同时引入以代数数据类型和基于结果的错误处理为核心的类型系统。 该语言的特色在于用 Result 和 Option 类型替换了 Go 的多返回值，并使用专用运算符进行简洁的错误传播。它实现了具有穷尽模式匹配的求和类型，并提供了一个为现有 Go 包生成绑定的工具，自动将多值返回转换为这些更安全的类型包装器。 该系统包含用于并发编程的原语，利用类型化通道和后台任务来协调异步进程。其类型系统进一步支持结构化接口实现、自动集合类型推断以及用于在结构体上组织方法的实现块。

Verona is a research programming language designed to prevent data races through a system of concurrent ownership and deep immutability. It utilizes a deeply immutable memory model to ensure that complex objects cannot be mutated, allowing data to be shared across concurrent threads without synchronization locks. The project features a deterministic parallel execution engine that ensures reproducible outputs regardless of thread timing. It employs a region-based memory manager to assign memory regions to specific threads or processes, reducing contention in producer-consumer workloads. The s

ISPC is a vectorizing compiler and SIMD parallel programming language that implements a single program multiple data model. It serves as a toolchain for translating C-based code with parallel extensions into optimized machine code for various CPU and GPU architectures using an LLVM backend. The compiler is designed for cross-platform SIMD toolchain support, generating specialized instruction sets for x86 SSE/AVX, ARM NEON, and Intel GPU from a single source. It features a runtime dispatch mechanism that selects the most efficient hardware-specific implementation for the current system during