Polarity

Pinned Repositories

.github
Configuration of the GitHub organization
00
artwork
Logos and mascots for polarity
00
codespan
Fork of the codespan libary
Language:Rust00
oopsla24
Demo for OOPSLA24
Language:Rust00
polarity
A Language with Dependent Data and Codata Types
Language:Rust47 2 900
polarity-lang.github.io
Website for polarity-lang
Language:HTML00
vscode
VSCode extension for the polarity programming language
Language:TypeScript00

Polarity's Repositories

polarity-lang/polarity
A Language with Dependent Data and Codata Types
Language:Rust47 2 900
polarity-lang/.github
Configuration of the GitHub organization
00
polarity-lang/artwork
Logos and mascots for polarity
00
polarity-lang/codespan
Fork of the codespan libary
Language:Rust00
polarity-lang/oopsla24
Demo for OOPSLA24
Language:Rust00
polarity-lang/polarity-lang.github.io
Website for polarity-lang
Language:HTML00
polarity-lang/vscode
VSCode extension for the polarity programming language
Language:TypeScript00