DaiBenzhe's starred repositories

minidecaf-tutorial

The MiniDecaf tutorial documentation.

Language:ShellStargazers:94Issues:0Issues:0

patterns

This is an experimental library that has evolved to P2688

Language:C++License:BSL-1.0Stargazers:666Issues:0Issues:0

matchit.cpp

match(it): A lightweight single-header pattern-matching library for C++17 with macro-free APIs.

Language:C++License:Apache-2.0Stargazers:572Issues:0Issues:0

coq-art

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

Language:CoqLicense:MITStargazers:110Issues:0Issues:0

avante.nvim

Use your Neovim like using Cursor AI IDE!

Language:LuaLicense:Apache-2.0Stargazers:7091Issues:0Issues:0

workspace

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

Language:C++License:Apache-2.0Stargazers:1026Issues:0Issues:0

SuperPrompt

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

Stargazers:5395Issues:0Issues:0

Speech-Backbones

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

Language:Jupyter NotebookStargazers:564Issues:0Issues:0

cs652

University of San Francisco CS652 -- Programming Languages

Language:JavaLicense:BSD-3-ClauseStargazers:133Issues:0Issues:0

SEAL

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

Language:C++License:MITStargazers:3611Issues:0Issues:0

LBFGSpp

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

Language:C++License:MITStargazers:543Issues:0Issues:0
Language:TeXLicense:MITStargazers:229Issues:0Issues:0

most-common-american-idioms

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

Language:Jupyter NotebookStargazers:923Issues:0Issues:0

riscy-boi

Toy nmigen RISC V rv32i implementation

Language:PythonStargazers:23Issues:0Issues:0

cvfpu

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

Language:SystemVerilogLicense:Apache-2.0Stargazers:12Issues:0Issues:0

CS-Notes

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

Language:PythonStargazers:3831Issues:0Issues:0

stick

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

Language:PythonStargazers:136Issues:0Issues:0

PL-Compiler-Resource

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

License:CC-BY-SA-4.0Stargazers:2012Issues:0Issues:0

circle

The compiler is available for download. Get it!

Language:C++Stargazers:2404Issues:0Issues:0

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

License:GPL-2.0Stargazers:15412Issues:0Issues:0

LNLib

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

Language:C++License:GPL-3.0Stargazers:158Issues:0Issues:0

SF-zh

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

Language:HTMLStargazers:923Issues:0Issues:0

hpffp-resources

Haskell Programming From First Principles - Follow-up Resources

Language:HaskellStargazers:488Issues:0Issues:0

nes260

NES emulator for Xilinx KV260 FPGA board

Language:VerilogLicense:GPL-3.0Stargazers:44Issues:0Issues:0

surya

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

Language:PythonLicense:GPL-3.0Stargazers:14214Issues:0Issues:0

FinaEcon2019S

Homepages for Financial Economics 2019 Spring

Language:HTMLStargazers:13Issues:0Issues:0

HowToBeAProgrammer

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

Stargazers:15902Issues:0Issues:0

Quantum_Project

THUCST Topics in Quantum Computing Summer 2022 Project and Course Note

License:MITStargazers:23Issues:0Issues:0

cccl

CUDA Core Compute Libraries

Language:C++License:NOASSERTIONStargazers:1272Issues:0Issues:0