Yan (炎) is a high-performance CUDA operator library designed for learning purposes while emphasizing clean code and maximum performance.
☆18Jul 21, 2025Updated 7 months ago
Alternatives and similar repositories for yan
Users that are interested in yan are comparing it to the libraries listed below
Sorting:
- A TUI application used to create and modify assets for games written in Rust☆15Mar 23, 2025Updated 11 months ago
- Projects from the Succinct ZK Residency☆20Oct 23, 2024Updated last year
- An API compatible port of the Stone prover.☆19Nov 4, 2024Updated last year
- zkvot - World's first fully live anonymous voting application!☆23Mar 23, 2025Updated 11 months ago
- Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'☆21Jan 15, 2026Updated last month
- MNIST image classification neural network implemented entirely on the EVM☆29Mar 8, 2025Updated 11 months ago
- Enclave is an open-source protocol for Encrypted Execution Environments (E3).☆46Updated this week
- Extracting the semantics of Noir to Lean for formal verification☆36Updated this week
- Core infrastructure for confidential computing AI inference☆35Dec 1, 2025Updated 3 months ago
- Oblivious key-value store based on Circuit ORAM☆36Mar 22, 2025Updated 11 months ago
- ☆37Nov 7, 2023Updated 2 years ago
- Audit reports can be found at https://docs.lighter.xyz/security/security-audits☆60Feb 20, 2026Updated last week
- client side proving☆39Mar 12, 2025Updated 11 months ago
- (Mirror) A Machine-to-Machine Interaction System for Lean 4☆52Feb 24, 2026Updated last week
- Rust binary responsible for signups on the orb☆40Jan 6, 2026Updated last month
- C# 基于.NET5开发的WPF串口助手☆13Mar 21, 2022Updated 3 years ago
- semaphore-mtb repository☆50Dec 16, 2025Updated 2 months ago
- An object detection model for NMNIST larger video frame☆12Feb 24, 2022Updated 4 years ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated last week
- [Qt5开发及实例（第3版）][陆文周][程序源代码]☆10May 23, 2018Updated 7 years ago
- Stat-gram is microservice tool for Business and Influencers on Instagram platform that uses AI to help with Marketing and Management.☆11Jan 4, 2023Updated 3 years ago
- Decentralized, transparent, verifiable and anonymous voting app☆12Feb 20, 2023Updated 3 years ago
- Digital SuperTwin: digital twin of supercomputers☆13Nov 24, 2024Updated last year
- Deploy Yolo series algorithms on Hisilicon platform hi3516, including yolov3, yolov5, yolox, etc☆11Mar 25, 2022Updated 3 years ago
- 2024维护(复刻)版本的yolov5+deepsort目标检测和追踪，能显示目标类别，能训练自己数据集.包含了一部分测试视频供常识,提供了txt和json两种格式的识别输出方式.可用于识别项目,路面识别,智能交通,毕设等各种.☆10Feb 28, 2024Updated 2 years ago
- Internet Censorship Course☆12Dec 2, 2025Updated 3 months ago
- Building Zero Knowledge Proof from Scratch in Rust☆50Nov 10, 2025Updated 3 months ago
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- Plonky2 implementation of Ed25519☆11Apr 5, 2024Updated last year
- Noir support for Zed☆11May 3, 2024Updated last year
- linear algebra package. like gonum/mat, but small. lets say gonum-lite☆12Jul 8, 2023Updated 2 years ago
- Primodium developer docs and plugin examples. Contributions welcome!☆14Feb 10, 2025Updated last year
- YoloV6 for a bare Raspberry Pi using ncnn.☆11Jun 12, 2024Updated last year
- Camouflage YOLO - (CAMOLO) trains adversarial patches to confuse the YOLO family of object detectors.☆12Oct 20, 2022Updated 3 years ago
- Suite of tools for game developers building on MUD☆12Mar 13, 2024Updated last year
- ☆12Mar 24, 2021Updated 4 years ago
- ♻️ A curated list of awesome carbon projects in the web3 space, podcasts, and other various resources☆10Nov 19, 2023Updated 2 years ago
- A Lean implementation of Interaction Trees☆15Jan 13, 2025Updated last year
- Step by step implementation of FRI☆13Feb 9, 2025Updated last year