Static Analysis & Formal Methods Software Engineer.
Block or Report
Block or report duckki
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
-
simple-sat-solver-mojo
simple-sat-solver-mojo PublicA simple SAT solver implemented in Mojo compared to Python and C++ counterparts
Python 3
-
-
field-fft-mojo
field-fft-mojo PublicFast Fourier Transform (FFT) over Finite Field implementation in Python and Mojo
-
-
WebWindowServer
WebWindowServer PublicProof-of-Concept implementation of Web Window Server
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.