Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".
-
A side effect-free language inspired by mathematical notation.
-
The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifecycle.
-
Factorio Standard Library Project
-
In-game text to speech; preview, global chat and speaker blueprint generation modes.
-
The samak compiler and editor
-
The not-really-a-programming-language of the future! :)
-
GraphQL implementation in pure Clojure
-
An emacs plugin for Flow
-
Adds static typing to JavaScript to improve developer productivity and code quality.