nkaretnikov
Math, machine learning, functional programming, compilers, demoscene. I love meeting new people, email me and introduce yourself!
QuansightGermany
Pinned Repositories
CS410-17
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
ghc-latency-threads-and-more
nixos-installer
OOHaskell
pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
titlecase
no longer maintained. see https://hackage.haskell.org/package/titlecase for the current maintainer
pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
nkaretnikov's Repositories
nkaretnikov/device-path-rs
nkaretnikov/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
nkaretnikov/scipy
SciPy library main repository
nkaretnikov/argo-jupyter-scheduler
Extending Jupyter-Scheduler to use Argo-Workflows as a backend.
nkaretnikov/conda-store
Data science environments, for collaboration. ✨
nkaretnikov/conda-store-ui
conda-store-ui is a frontend for conda-store powered by react
nkaretnikov/dex-lang
Research language for array processing in the Haskell/ML family
nkaretnikov/flax
Flax is a neural network library for JAX that is designed for flexibility.
nkaretnikov/ghstack
Submit stacked diffs to GitHub on the command line
nkaretnikov/hugo-theme-noteworthy
A minimalist Hugo theme for writers and bloggers
nkaretnikov/jax
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
nkaretnikov/jupyter-scheduler
Run Jupyter notebooks as jobs
nkaretnikov/jupyterlab-conda-store
The official Jupyterlab extension for conda-store
nkaretnikov/lf-class
Logical Frameworks Class (Spoiler: see the `solutions` branch for my solutions and notes)
nkaretnikov/loom
Concurrency permutation testing tool for Rust.
nkaretnikov/manticore
Symbolic execution tool
nkaretnikov/md5-cryptol
nkaretnikov/mlflow
Open source platform for the machine learning lifecycle
nkaretnikov/nebari-docker-images
📦 Ready to use Docker images maintained by the Nebari team
nkaretnikov/nebari-docs
📖 Documentation for Nebari
nkaretnikov/NetNewsWire
RSS reader for macOS and iOS.
nkaretnikov/nix
Nix, the purely functional package manager
nkaretnikov/presto
The official home of the Presto distributed SQL query engine for big data
nkaretnikov/resnet-flowers
nkaretnikov/rfcs
PyTorch RFCs (experimental)
nkaretnikov/rust
Empowering everyone to build reliable and efficient software.
nkaretnikov/shadertoy-examples
nkaretnikov/tinyraytracer-hs
nkaretnikov/uefi-rs
Rust wrapper for UEFI.
nkaretnikov/xla
Enabling PyTorch on Google TPU