timetraveler314
Follow
Lists (2)
Stars
Python tensor library in CUDA with autodiff. PKU AI programming class project.
《Machine Learning Systems: Design and Implementation》- Chinese Version
Implementation of SYCL and C++ standard parallelism for CPUs and GPUs from all vendors: The independent, community-driven compiler for C++-based heterogeneous programming models. Lets applications …
ZJU Organization 2024 Fall Lab4 single cycle cpu
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
The Python tensor library in CUDA and Pybind11, PKU Programming in AI class project.
Course management service that enables auto-graded programming assignments.
所有题目的 Docker 容器资源限制、动态 flag、网页终端
PKU CS专业课作业。目前包括AI引论、代数结构与组合数学、信息论、数据库概论、数据结构与算法、数理逻辑、概率统计、算法设计与分析、编译原理、计算机网络、计算理论导论、随机过程引论、集合论与图论等。
Angular-based calculator for factory games like Factorio and Dyson Sphere Program
PKU Computer Network 2022Fall Course Labs
前沿计算实践II-Practice on topics of Frontier Computing II
Permanent Apple Intelligence + Xcode Predictive Code Completion for Chinese-market Mac computers
Library for specialized dense and sparse matrix operations, and deep learning primitives.
你管这破玩意叫操作系统源码 — 像小说一样品读 Linux 0.11 核心代码
The fastest knowledge base for growing teams. Beautiful, realtime collaborative, feature packed, and markdown compatible.
Tai-e assignments for static program analysis
A functional programming language based on algebraic effect handlers
南京大学计算机系 课程资料 作业 代码 实验报告 NJU-CS 课程分享计划 🍚
CSAPP 3e Solutions, migrated to github.io from gitbook.io which is being shut down.
NJU EMUlator, a full system x86/mips32/riscv32/riscv64 emulator for teaching