-
Massachusetts Institute of Technology
- Cambridge, MA
- https://www.danielz.ch/
- @danielz2333
- in/danielz02
Highlights
- Pro
Lists (17)
Sort Name ascending (A-Z)
- All languages
- Assembly
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- D
- DIGITAL Command Language
- Dart
- Dockerfile
- Emacs Lisp
- Fortran
- GLSL
- Go
- Go Template
- HCL
- HTML
- Haskell
- Java
- JavaScript
- Jinja
- Jsonnet
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Liquid
- Lua
- MATLAB
- MLIR
- Makefile
- Mathematica
- NASL
- Objective-C
- PHP
- Perl
- PostScript
- PowerShell
- Python
- R
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Standard ML
- Starlark
- Svelte
- Swift
- SystemVerilog
- TLA
- TeX
- TypeScript
- VHDL
- Vala
- Vim Script
- Vue
- Zig
Starred repositories
WeChat 4.0 database decryptor - extract keys from memory, decrypt SQLCipher 4 databases, real-time message monitor
GPU Cluster Monitoring (GCM): Large-Scale AI Research Cluster Monitoring
reading the undocumented mems accelerometer + gyroscope on apple silicon macbooks via iokit hid
omo; the best agent harness - previously oh-my-opencode
Official Project Page for Deep Delta Learning (https://huggingface.co/papers/2601.00417)
An IOS app for taking survey data of underwater caves.
The python based pyGRACE contains functions for pre processing of CSR GRACE and GRACE-FO for Google Earth Engine (GEE) ingestion. Subsequently, application module will be added for applications lik…
A library for accelerating Transformer models on NVIDIA GPUs, including using 8-bit and 4-bit floating point (FP8 and FP4) precision on Hopper, Ada and Blackwell GPUs, to provide better performance…
Dora is an experiment management framework. It expresses grid searches as pure python files as part of your repo. It identifies experiments with a unique hash signature. Scale up to hundreds of exp…
A compact implementation of SGLang, designed to demystify the complexities of modern LLM serving systems.
🚀 MassGen is an open-source multi-agent scaling system that runs in your terminal, autonomously orchestrating frontier models and agents to collaborate, reason, and produce high-quality results. | …
Optimize Julia Functions With MLIR and XLA for High-Performance Execution on CPU, GPU, TPU and more.
Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels
A comprehensive JAX/NNX library for diffusion and flow matching generative algorithms, featuring DiT (Diffusion Transformer) and its variants as the primary backbone with support for ImageNet train…
A Python package designed for research in diffusion-based generative modeling
This repository contains companion software for the Colfax Research paper "Categorical Foundations for CuTe Layouts".