tribbloid / shapesafe

SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory

tribbloid/shapesafe Stargazers

Ayaka
ayaka14732
behzad-amini
冰糖酱
BillZhou233
breandan
breandan
Bruno Costa - Garu
brunohenrique
Gianluca Aguzzi
cric96
daofaziran1
Davo
davoclavo
Dmytro Mitin
DmytroMitin
ebigram
ebigram
Eλijah
ElijahLaMoon
Alex Merritt
EmergentOrder
hmf
110416
i10416
P. Oscar Boykin
johnynek
Matt Langsenkamp
MattLangsenkamp
Marco Z
ocramz
Pierre Nodet
pierrenodet
Saul Shanabrook
saulshanabrook
SemanticBeeng
SemanticBeeng
spamegg
spamegg1
Sean Vieira
svieira
timothy
timothyklim
Peng Cheng
tribbloid

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.