quantumish
Student interested in computer systems, functional programming, and more.
Carnegie Mellon University
quantumish's Stars
NVlabs/instant-ngp
Instant neural graphics primitives: lightning fast NeRF and more
bloomberg/memray
Memray is a memory profiler for Python
boltgolt/howdy
🛡️ Windows Hello™ style facial authentication for Linux
janestreet/magic-trace
magic-trace collects and displays high-resolution traces of what a process is doing
NVlabs/tiny-cuda-nn
Lightning fast C++/CUDA neural network framework
NASA-SW-VnV/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
berdav/CVE-2021-4034
CVE-2021-4034 1day
parasyte/pixels
A tiny hardware-accelerated pixel frame buffer. 🦀
TartanLlama/expected
C++11/14/17 std::expected with functional-style extensions
coalton-lang/coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
life4/deal
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
Wilfred/deadgrep
fast, friendly searching with ripgrep and Emacs
CZ-NIC/pz
Easily handle day to day CLI operation via Python instead of regular Bash programs. 🇺🇦 #supporting
emacs-elsa/Elsa
Emacs Lisp Static Analyzer and gradual type system.
radian-software/apheleia
🌷 Run code formatter on buffer contents without moving point, using RCS patches and dynamic programming.
oconnor663/sha256_project
The SHA-256 Project, developed for NYU Tandon's Applied Cryptography course
emacs-citar/citar
Emacs package to quickly find and act on bibliographic references, and edit org, markdown, and latex academic documents.
AmaiKinono/puni
Structured editing (soft deletion, expression navigating & manipulating) that supports many major modes out of the box.
progfolio/doct
DOCT: Declarative Org Capture Templates for Emacs
lightdock/lightdock
Protein-protein, protein-peptide and protein-DNA docking framework based on the GSO algorithm
mikeroyal/LLVM-Guide
LLVM (Low Level Virtual Machine) Guide. Learn all about the compiler infrastructure, which is designed for compile-time, link-time, run-time, and "idle-time" optimization of programs. Originally implemented for C/C++ , though, has a variety of front-ends, including Java, Python, etc.
HazyResearch/blocking-tutorial
otavioschwanck/harpoon.el
Harpoon for emacs
DifferentiableUniverseInitiative/flowpm
Particle Mesh simulation in TensorFlow
trevorpogue/topspace
Recenter line 1 with scrollable upper margin/padding in Emacs
radian628/lispsmos
A LISP-y language that compiles to Desmos expressions.
amno1/org-view-mode
An attempt to create a markup-free read-only view mode for org-mode files in Emacs.
jrosdahl/iflipb
iflipb.el - interactively flip between recently visited buffers
somethingstamo/iuth.github.io
richardfeynmanrocks/train-hopping
🚆 Code to find an optimal path through all Caltrain stations.