fieldstrength / xquant

Dependently-typed structures for quantum physics in Idris

fieldstrength/xquant Stargazers

Alex Gryzlov
clayrat
Diwank Singh Tomer
creatorrr
Ethan Soutar-Rau
ethansr
Franklin Pezzuti Dyer
franklindyer
John Connor
jackolantern
jmitchell
Kristian Sällberg
ksallberg
Arets Paeglis
mindbound
ndcroos
Olivier Verdier
olivierverdier
Aistis Raulinaitis
sheganinans
Serhii Khoma
srghma
wyn
wyn

Links

ProductDiscover

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

Contact Site Admin: Giters.