Shadowgraph

584commits

2contributors

9languages

Tech stack & purpose

Bolt is a programming language designed to prevent data races in concurrent code through built-in language features and static analysis. The language supports traditional object-oriented constructs like inheritance, method overloading, and generics, while introducing capability annotations and a structured approach to concurrency via `finish` and `async` blocks that make thread lifetimes explicit. The compiler is written in OCaml and C++, using OCamllex and Menhir for lexing and parsing, and Bazel as the build system, with a pipeline that proceeds through parsing, typing, desugaring, data-race checking, and intermediate representation generation. The project was created by Mukul Rathi, who has accompanied it with compiler development tutorials covering both foundational and advanced language features.