-
University of Washington
- https://homes.cs.washington.edu/~hmufti/
- @nothilalmufti
Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
- All languages
- ActionScript
- Agda
- Arc
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Emacs Lisp
- Go
- HTML
- Haskell
- HolyC
- Hy
- Java
- JavaScript
- Jupyter Notebook
- LLVM
- Lean
- Lua
- MLIR
- Markdown
- Nix
- OCaml
- Perl
- Python
- Racket
- Rocq Prover
- Ruby
- Rust
- Scala
- Scheme
- Slash
- Swift
- SystemVerilog
- TSQL
- TeX
- TypeScript
- Verilog
- hoon
Starred repositories
How to Make a Computer Operating System in C++
A curated list of data oriented design resources.
A Rust crate that implements "design by contract" via procedural macros
A minimal tensor processing unit (TPU), inspired by Google's TPU V2 and V1
Algorithm powering the For You feed on X
PyMC educational resources
Deezer source separation library including pretrained models.
A native, user-mode, multi-process, graphical debugger.
This tool provides an efficient implementation of the continuous bag-of-words and skip-gram architectures for computing vector representations of words. These representations can be subsequently us…
property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input
A playbook for systematically maximizing the performance of deep learning models.
Official codebase used to develop Vision Transformer, SigLIP, MLP-Mixer, LiT and more.
Python implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
k/simple is a bare minimum k interpreter for learning purposes by arthur whitney
A community-maintained Python framework for creating mathematical animations.
PyTorch implementation of Neural Combinatorial Optimization with Reinforcement Learning https://arxiv.org/abs/1611.09940