-
Georgia Tech
- Atlanta
- @hankein95
- All languages
- ActionScript
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- CodeQL
- Coq
- Cuda
- Dockerfile
- Emacs Lisp
- F#
- F*
- Fennel
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Markdown
- Mask
- Mathematica
- Mojo
- OCaml
- Objective-C
- Objective-C++
- PHP
- PostScript
- PowerShell
- Python
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- SMT
- Sage
- Scala
- Shell
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- Verilog
- Vim Script
- Vue
- WebAssembly
- Zig
Starred repositories
High-Performance Implementation of OpenAI's TikToken.
Compositional Differentiable Programming Library
这是一个简单的技术科普教程项目,主要聚焦于解释一些有趣的,前沿的技术概念和原理。每篇文章都力求在 5 分钟内阅读完成。
Hurl, run and test HTTP requests with plain text.
Real-time Claude Code usage monitor with predictions and warnings
Virtualize macOS 12 and later on Apple Silicon, VirtualBuddy is a virtual machine GUI for macOS M1, M2, M3, M4
利用AI大模型,一键生成高清短视频 Generate short videos with one click using AI LLM.
A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.
Get started with building Fullstack Agents using Gemini 2.5 and LangGraph
A gallery that showcases on-device ML/GenAI use cases and allows people to try and use models locally.
APM, Application Performance Monitoring System
Staging repo for development of native port of TypeScript
Kyanos is a networking analysis tool using eBPF. It can visualize the time packets spend in the kernel, capture requests/responses, makes troubleshooting more efficient.
The simplest, fastest repository for training/finetuning small-sized VLMs.
Open-source implementation of AlphaEvolve
A MCP server for symbolic manipulation of mathematical expressions
Fast, efficient, and robust memory reclamation for Rust.
🦀 Prevents outdated Rust code suggestions from AI assistants. This MCP server fetches current crate docs, uses embeddings/LLMs, and provides accurate context via a tool call.
A memory safe implementation of sudo and su.
A course of learning LLM inference serving on Apple Silicon for systems engineers.
An extremely fast Python linter and code formatter, written in Rust.
Code to automatically prove or verify estimates in analysis
🗂️A file list/WebDAV program that supports multiple storages, powered by Gin and Solidjs. / 一个支持多存储的文件列表/WebDAV程序,使用 Gin 和 Solidjs。