DawidvC/chapel-attic
Tracking research branches that are not under active development. This is a fork of chapel-lang/chapel.
C! programming language
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Tracking research branches that are not under active development. This is a fork of chapel-lang/chapel.
The Mythryl programming language
An ML-like language with a type system for program verification
The Frenetic Programming Language and Runtime System