This is your work, valued
Nix Engineer and Nix CUDA Maintainer. Interested in formal methods, Haskell, Lean, type & category theory, and computational photography!
cuda-packages. A playground for Nix and CUDA
21nixos-configs. Nix
7cuda-redist-find-features. Finds the features (bin, lib, static, supported capabilities, etc.) associated with CUDA redistributables for Nixpkgs
5mojo-nix. Nix
5nix-cuda-test. Python
5benchmarking-nix-eval. 🤷♂️
4BSRT. 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).
3mojo_rt. Mojo ray tracer experiment
3tasty-json-to-markdown-action. GitHub action which takes JSON output by tasty-json and produces a markdown table with the results of the tests
2CS367_Lectures. C
2ghc_hyperopt. Using hyper parameter optimization to select optimal GHC compilation and runtime system options based on the performance of a Tasty benchmark suite
2CS321_Lectures. GMU Fall 2019 CS 321 Lecture notes
2mfsr_utils. Utilities for multi-frame super-resolution
2nanothread. nanothread — Minimal thread pool for task parallelism
1nix-nixpkgs-review. Nix
1nix-eval-graph. Experiments with Nix evaluation and graph databases
12025-planet-nix. Typst
1nix-eval-jobs-python. Like `nix-eval-jobs`, but worse
1nix-filter-copy. Nix
1theorem-proving-in-lean4. JavaScript
1nix-cuda-baseline. Size of different PyTorch CUDA offerings
1pdt-cuda-work-numbers. Flake to generate numbers for improvement in closure sizes between work start and stop
1jetpack-nixos. NixOS module for NVIDIA Jetson devices
1aws-glue-scala-etl-flake. A Nix Flake which provides an environment with AWS Glue 3.0, Java 8, and Scala 2.12
1HaskellRT. A ray-tracer written in Haskell meant to explore the relationship between different floating-point implementations and image quality
1CS310_Lectures. Notes on GMU's Data Structures Course (CS310, Spring 2019)
1lambda-cloud. Interact with the Lambda Cloud API using Python
1