Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.
A browser and wallet for LBRY, the decentralized, user-controlled content marketplace.
A fully decentralized network for distributing data
A simple python code which reduces the Sudoku to SAT and solves it using minisat SAT solver.
A simple python code which reduces the Graph Colourablity Problem to Boolean Satisfiability Problem.
A simple python code which reduces the N Queen Problem to Boolean Satisfiability Problem.
Forked from lbryio/lbry-desktop
The LBRY app built using electron
in the last year
is_channel returns true iff the uri contains just the c…
Press h to open a hovercard with more details.