Research mathematician turned coder and data scientist.
- Los Angeles, California
- math.mattfeller.com
Block or Report
Block or report mattfeller
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
Democracy
Democracy PublicElection-based consensus algorithm for a distributed system in the Isabelle theorem prover.
Isabelle
-
Knight
Knight PublicFinds a knight's tour on a small board, or returns nil if none are possible.
Common Lisp
-
crossword
crossword PublicHackerrank challenge: https://www.hackerrank.com/challenges/crosswords-101/submissions/code/342530520
Haskell
-
-
-
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.