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 रनटाइम का लाभ उठाने के लिए डिज़ाइन किया गया एक ट्रांसपाइलर है, जो बीजगणितीय डेटा प्रकारों (algebraic data types) और परिणाम-आधारित त्रुटि प्रबंधन पर केंद्रित एक टाइप सिस्टम पेश करता है। यह भाषा 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