Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Isabelle_marries_dirac

A certified library of quantum computing using the proof assistant Isabelle
Stars
6
License
No license specified
Open Issues
1
Most Recent Commit
4 years ago
Programming Language
Isabelle
Categories
Repo
Alternatives To Isabelle_marries_dirac
Select To Compare
Quantum ⭐ 3,854
Microsoft Quantum Development Kit Samples
dependent packages 2total releases 30most recent commit 5 months agonuget Microsoft.Quantum.Canon} Downloads
Quantum Core ⭐ 2,213
:watch: Cron-like job scheduler for Elixir
dependent packages 13total releases 63most recent commit 5 months agohex quantum} Downloads


Suggest An Alternative To Isabelle_marries_Dirac
Popular Hardware Categories
Arduino
Raspberry Pi
Camera
Sensor
Gpu
Firmware
Usb
Keyboard
Cpu
Arm

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Quantum
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.