-
-
-
-
-
-
-
-
-
nexus-zkvm Public
Forked from nexus-xyz/nexus-zkvmThe Nexus zkVM: The zero-knowledge virtual machine
Rust Other UpdatedMay 23, 2025 -
-
POTW1390 Public
Solution of Problem of the Week 1390
GNU General Public License v3.0 UpdatedMar 10, 2025 -
-
-
-
sparse_grid Public
Use Max Sat to find the optimal set of points on a grid to realize all possible distances
Python UpdatedNov 13, 2024 -
-
homomorphism Public
Finding labeled graph homomorphisms using SAT solving
Python UpdatedMar 5, 2024 -
-
palindrome Public
Solve the base b palindrome problem: A+B=C, with A||B||C a palindrome
Python UpdatedNov 20, 2023 -
birth_death Public
Explore the behavior of an evolving class of binary trees
Python UpdatedSep 15, 2023 -
-
-
-
-
raw-ipa Public
Forked from private-attribution/ipaA raw implementation of Interoperable Private Attribution
Rust MIT License UpdatedAug 31, 2022 -
-
lftcm2020 Public
Forked from leanprover-community/lftcm2020Lean for the Curious Mathematician 2020
Lean UpdatedJul 28, 2022 -
pysat Public
Forked from pysathq/pysatA toolkit for SAT-based prototyping in Python
Python MIT License UpdatedJul 28, 2022
{{ message }}