← 返回名录条目信息来自其公开主页与公开发布内容。按本站规范，页面不展示任何联系方式。 需要更正或删除？通过收录与更正通道提交，24 小时内处理。
K
Kestis
EE & Automation | Matrix-Free Computing | GPU | CUDA | Scientific Computing | 0% hand-written code, 100% AI-agent programming | NVIDIA-focused
- 公司
- —
- 位置
- Jinzhong, China
- Stars
- 0
- 粉丝 / 仓库
- 0
代表作品 / 项目
- webchan⭐ 0Proof-directed single-thread language with strong host-thread governance. For valid finite, yieldable programs with declared blocking effects, Webchan enforces a semantic-level zero-blocking contract: managed work cannot monopolize the host thread beyond its declared execution budget.
- whlang⭐ 0A general-purpose programming language with HPC and simulation as its primary focus.
- RamanujanSimulator⭐ 0
- MatrixFreeMicromouse⭐ 0
- JavaPorting⭐ 0