Popular repositories Loading

1. bismuth bismuth Public

   A session-typed programming language designed to make it easier to write safe distributed & concurrent programs.

   C++ 7

2. bismuth-vsc-plugin bismuth-vsc-plugin Public

   Forked from ahfriedman/bismuth-vsc-plugin

   Visual studio code extension for bismuth syntax highlighting

3. bismuth-docs bismuth-docs Public

   Documentation for the bismuth programming language

   CSS

4. bismuth-website bismuth-website Public

   The website for the bismuth programming language

   JavaScript

5. bismuth-dev-docker bismuth-dev-docker Public

   Forked from ahfriedman/cs544-cs4533-docker

   Docker image for dev, testing, etc of the Bismuth programming language

   C++