mukul-rathi/bolt

Bolt is a language with in-built data-race freedom!

OCamlC++Standard MLShellStarlarkAssemblyOtherlanguagetypesstatic-analysisconcurrencycompilersdata-race-freedom
This is stars and forks stats for /mukul-rathi/bolt repository. As of 28 Apr, 2024 this repository has 484 stars and 48 forks.

Bolt - Data-Race Freedom Baked In What, another programming language? Yep, this one prevents data races! Concurrent code is hard to get right, so let the language take care of it for you! The best part is that you get more fine-grained concurrency than Rust and this language doesn't get in the way when you want to write single-threaded code. Want to write Rusty ownership-style code - yep, you can do that in Bolt too! For a description of the theory, check out the accompanying dissertation. Alright...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
lorint/AdventureWorks-for-PostgresPLpgSQLRubyOther286+1148-1
Louisvdw/dbus-serialbatteryPythonQMLShell39801170
numpy/numpyPythonCC++24.7k08.6k0
BoiseState/CS321-resourcesJavaShell80420
justinhoward/cutoffRubyShell153030
rouge-ruby/rougeRubysedTypeScript3.2k+17360
parcel-bundler/lightningcssRustJavaScriptHTML4.9k01390
zu1k/good-mitmRustShellMakefile7040990
open-contracting/deploySaltStackShellPython2030
agkozak/zsh-zShell1.7k0730