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 Loading
-
-
simple-sat-solver-mojo
simple-sat-solver-mojo PublicA simple SAT solver implemented in Mojo compared to Python and C++ counterparts
Python 3
-
-
WebWindowServer
WebWindowServer PublicProof-of-Concept implementation of Web Window Server
-
field-fft-mojo
field-fft-mojo PublicFast Fourier Transform (FFT) over Finite Field implementation in Python and Mojo
-
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.