daibenzhe

coq-art

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

avante.nvim

Use your Neovim like using Cursor AI IDE!

workspace

workspace是基于C++11的轻量级异步执行框架，支持：通用任务异步并发执行、优先级任务调度、自适应动态线程池、高效静态线程池、异常处理机制等。

SuperPrompt

SuperPrompt is an attempt to engineer prompts that might help us understand AI agents.

Speech-Backbones

This is the main repository of open-sourced speech technology by Huawei Noah's Ark Lab.

cs652

University of San Francisco CS652 -- Programming Languages

SEAL

Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.

LBFGSpp

A header-only C++ library for L-BFGS and L-BFGS-B algorithms

gp-structure-search

most-common-american-idioms

A book created by xiaolai with the help of ChatGPT and its TTS

riscy-boi

Toy nmigen RISC V rv32i implementation

cvfpu

Parametric floating-point unit with support for standard RISC-V formats and operations as well as transprecision formats.

CS-Notes

我的自学笔记，终身更新，当前专注System基础、MLSys。

stick

:innocent: A PyTorch-like deep learning framework. Just for fun.

PL-Compiler-Resource

程序语言与编译技术相关资料（持续更新中）

circle

The compiler is available for download. Get it!

Back-End-Developer-Interview-Questions

A list of back-end related questions you can be inspired from to interview potential candidates, test yourself or completely ignore

LNLib

A C++ NURBS Algorithms Open Source Library, match the NURBS Book

SF-zh

《软件基础》中译版 Software Foundations Chinese Translation

hpffp-resources

Haskell Programming From First Principles - Follow-up Resources

nes260

NES emulator for Xilinx KV260 FPGA board

surya

OCR, layout analysis, reading order, table recognition in 90+ languages

three-implementation-models-for-scheme

FinaEcon2019S

Homepages for Financial Economics 2019 Spring

HowToBeAProgrammer

A guide on how to be a Programmer - originally published by Robert L Read

Quantum_Project

THUCST Topics in Quantum Computing Summer 2022 Project and Course Note

cccl

CUDA Core Compute Libraries

cutlass

CUDA Templates for Linear Algebra Subroutines

Fuser

A Fusion Code Generator for NVIDIA GPUs (commonly known as "nvFuser")

nccl

Optimized primitives for collective multi-GPU communication