Nix Engineer and Nix CUDA Maintainer. Interested in formal methods, Haskell, Lean, type & category theory, and computational photography!
- Costa Mesa, CA
-
03:43
(UTC -07:00)
Pinned Loading
-
ProgrammingInHaskell2ndEd
ProgrammingInHaskell2ndEd PublicSolutions to Graham Hutton's Programming in Haskell (2nd ed)
CSS 2
-
BSRT
BSRT PublicForked from Algolzw/BSRT
Pytorch code for "BSRT: Improving Burst Super-Resolution with Swin Transformer and Flow-Guided Deformable Alignment", CVPRW, 1st place in NTIRE 2022 BurstSR Challenge (real-world track).
Python 3
-
-
hypothesis_torch_utils
hypothesis_torch_utils PublicUtilities for generating PyTorch data with Hypothesis
Python
-
presentation
presentation Public templateForked from PHLAK/presentation
Presentation template using reveal.js Tailwind CSS
SCSS
-
tasty-json-to-markdown-action
tasty-json-to-markdown-action PublicGitHub action which takes JSON output by tasty-json and produces a markdown table with the results of the tests
TypeScript 2
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.