4 results found Sort:

sneeuwballen
zipperposition sneeuwballen
17
139
bsd-2-clause
11
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, claus...
cnf logic ocaml prover induction prototype rewriting saturation experimental polymorphism superposition symbolic-computation computer-science-algorithms
Created 2012-08-15
6,728 commits to master branch, last one 9 months ago
caphindsight
TrulyQuantumChess caphindsight
15
86
wtfpl
9
A game of truly quantum chess, with interference, entanglement, etc.
chess quantum entanglement interference superposition
Created 2017-02-15
74 commits to master branch, last one 3 years ago
Spooky-Manufacturing
QRNG Spooky-Manufacturing
14
75
gpl-3.0
8
Quantum Random Number Generator
qrng qubit arduino photons quantum superposition
Created 2019-10-11
9 commits to master branch, last one 3 years ago
UCLOrengoGroup
cath-tools UCLOrengoGroup
14
60
gpl-3.0
10
Protein structure comparison tools such as SSAP and SNAP
pdb ucl cath ssap orengo biology protein alignment structure superposition bioinformatics cath-resolve-hits
Created 2015-07-21
1,386 commits to main branch, last one about a year ago