418-teapot's Stars
ducalex/retro-go
Retro emulation for the ODROID-GO and other ESP32 devices
triton-lang/triton
Development repository for the Triton language and compiler
HigherOrderCO/Bend
A massively parallel, high-level programming language
deltabeard/Peanut-GB
A Game Boy (DMG) emulator single header library written in C99. Performance is prioritised over accuracy.
mierau/gamekid
Play Game Boy games on your Playdate.
risolvipro/PlayGB
A Game Boy emulator for Playdate, based on Peanut-GB.
Cambricon/triton-linalg
Development repository for the Triton-Linalg conversion
leanprover-community/mathlib4
The math library of Lean 4
emilk/egui
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
jidicula/clang-format-action
GitHub Action for clang-format checking
sharkdp/hyperfine
A command-line benchmarking tool
ModelTC/lightllm
LightLLM is a Python-based LLM (Large Language Model) inference and serving framework, notable for its lightweight design, easy scalability, and high-speed performance.
vllm-project/vllm
A high-throughput and memory-efficient inference and serving engine for LLMs
ggerganov/llama.cpp
LLM inference in C/C++
xmake-io/xmake
🔥 A cross-platform build utility based on Lua
openhwgroup/cva6
The CORE-V CVA6 is an Application class 6-stage RISC-V CPU capable of booting Linux
iree-org/iree
A retargetable MLIR-based machine learning compiler and runtime toolkit.
bytedance/byteir
A model compilation solution for various hardware
black-parrot/black-parrot
A Linux-capable RISC-V multicore for and by the world
vortexgpgpu/vortex
mit-pdos/xv6-riscv
Xv6 for RISC-V
astral-sh/ruff
An extremely fast Python linter and code formatter, written in Rust.
gfngfn/SATySFi
A statically-typed, functional typesetting system
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
binary-husky/gpt_academic
为GPT/GLM等LLM大语言模型提供实用化交互接口,特别优化论文阅读/润色/写作体验,模块化设计,支持自定义快捷按钮&函数插件,支持Python和C++等项目剖析&自译解功能,PDF/LaTex论文翻译&总结功能,支持并行问询多种LLM模型,支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, moss等。
MartinThoma/LaTeX-examples
Examples for the usage of LaTeX
ibraheemdev/modern-unix
A collection of modern/faster/saner alternatives to common unix commands.
halide/Halide
a language for fast, portable data-parallel computation
bondhugula/pluto
Pluto: An automatic polyhedral parallelizer and locality optimizer
fengberd/MagesTools
Mages visual novel engine toolset