Qimaera
Idris libraries for type safe (variational) quantum programming
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Quipper Language | 54 | 9 years ago | 3 | other | Haskell | |||||
| Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork) | ||||||||||
| Funqy | 23 | 3 years ago | Rust | |||||||
| FunQy - A high-level hybrid quantum programming language | ||||||||||
| Qimaera | 9 | a year ago | 1 | mit | Idris | |||||
| Idris libraries for type safe (variational) quantum programming | ||||||||||
| Dynamic Stateless Computer | 9 | a year ago | ||||||||
| I propose a new form of logic; dynamic connections, or dynamic geometric logic, or logic through the changing shape of geometry, like a truth table that the truths change and is essentially functional programming, but is logic without mathematics, where the changing shape is the only information. | ||||||||||
Alternatives To QimaeraSelect To Compare
Alternative Project Comparisons
Popular Quantum Computing Projects
Popular Functional Programming Projects
Popular Hardware Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Functional Programming
Programming Language
Quantum Computing