bolt
Concurrency language
A language that automatically prevents data races in concurrent code
Bolt is a language with in-built data-race freedom!
581 stars
11 watching
54 forks
Language: OCaml
last commit: almost 3 years agoLinked from 1 awesome list
compilersconcurrencydata-race-freedomlanguagestatic-analysistypes
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 aliceml/aliceml | A functional programming language with support for concurrent and distributed computing, extending Standard ML with various features. | 212 |
 branchtaken/hemlock | A systems programming language focused on reliable high performance parallel computation | 31 |
 safareli/free | A library for combining parallel and sequential computations while maintaining the flexibility of a monadic programming paradigm. | 58 |
 pikatchu/linearml | A programming language designed to write efficient parallel programs using functional principles. | 432 |
 typelift/concurrent | A library providing functional concurrency primitives inspired by concurrent programming languages. | 209 |
 marcoonroad/sporadic | A set of abstractions for concurrency and asynchronous programming in JavaScript | 18 |
 mpusz/coroutines | A library for writing concurrent code using cooperative multitasking | 0 |
 jberryman/unagi-chan | A high-performance concurrent queue implementation using atomic counters and the x86 fetch-and-add instruction | 127 |
 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 |
 mchakravarty/language-c-inline | A Haskell library that allows inline C and Objective-C code in Haskell programs | 146 |
 sustrik/libdill | Structured concurrency primitives for C to manage concurrent tasks efficiently | 1,692 |
 awkward-squad/ki | A lightweight library for structured concurrency in Haskell, providing a simple and efficient way to manage concurrent operations. | 83 |
 rhysd/gocaml | An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch. | 749 |
 senegallang/senegal | A dynamically-typed, concurrent programming language with modern syntax and fast single-pass compiler | 130 |
 marusama/cyclicbarrier | A synchronizer allowing multiple goroutines to wait at a common point, ensuring all parties have completed before proceeding. | 148 |