Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: higher-inductive-types

spooky-codes/spooky-language

Next-wave quantum programming idiom

Language: Rust - Size: 17.6 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 1

Related Keywords
dependent-types 1 higher-inductive-types 1 homotopy-category 1 homotopy-type-theory 1 linear-dependent-types 1 quantum-circuit-synthesis 1 quantum-computing 1 quantum-program-verification 1 quantum-programming-language 1