使用html、CSS和JavaScript的简单科学计算器
A simple scientific calculator using html ,CSS and JavaScript (2024-05-16, Others, 0KB, 下载0次)
基于贝叶斯优化的NLP垃圾邮件检测器
NLP SpamDetector with BayesianOptimization (2024-04-05, Others, 0KB, 下载0次)
使用Python和SciPy库的FIR滤波器
FIR filter using Python with the SciPy library (2024-03-30, Others, 0KB, 下载0次)
CSVW验证器符合W3C建议CSV on Web
CSVW validator according to the W3C recommendations CSV on the Web (2024-03-28, Others, 0KB, 下载0次)
使用PyTorch的深度学习恶意软件检测器
Deep learning powered malware detector with PyTorch (2024-02-27, Others, 0KB, 下载0次)
打包跟踪复杂网络和服务器示例数字孪生，
packed traced complexed network and server exemple digital twins, (2023-09-20, Others, 0KB, 下载0次)
制造商棚大气气体探测器套件代码，
Code for the Maker Shed Atmospheric Gas Detector Kit, (2012-12-15, Others, 0KB, 下载0次)
这是使用小丑预配置的客户数据生成器。，
This is a pre-configured Customer Data Generator using Joker., (2023-08-23, Others, 0KB, 下载0次)
计算机体系结构和Orgazantion II类的缓存模拟器。，
Cache simulator for Computer Architecture and Orgazantion II class., (2023-08-21, Others, 0KB, 下载0次)
这是一个年龄计算器，是frontendmentor的挑战，
This is an age calculator that was a challenge from frontendmentor, (2023-08-14, Others, 0KB, 下载0次)
总结了音视频编解码器的技术栈，
Summarize the technology stack of audio and video codec, (2023-08-11, Others, 0KB, 下载1次)
TI计算器的比特币挖掘器（TI-83 Premium CE TI-84 Plus CE）完全用TI Basic编写。
A bitcoin miner for TI calculators (Ti-83 Premium CE TI-84 Plus CE) fully written in Ti-Basic. (2018-06-16, Others, 0KB, 下载0次)
快速、高精度和强大的跨平台桌面计算器。
A fast, high-precision and powerful cross-platform desktop calculator. (2015-09-05, Others, 0KB, 下载0次)
功率下降中航天器数据的自主分析
Autonomous analysis of spacecraft data in power descent (2020-11-20, Others, 903KB, 下载0次)
使用交互式定理证明器的形式逻辑和软件验证
Formal logic and software verification using interactive theorem provers (2018-04-20, Others, 9049KB, 下载0次)
与Lean定理证明器一起使用的突出Ctags模式。
Exuberant Ctags patterns for use with Lean Theorem Prover. (2021-05-06, Others, 0KB, 下载0次)
我的作品集包含一个lexer生成器、一个解析器生成器、我自己的λProlog解释器和几个关于...
My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional logic with their proofs written in Coq. (2023-02-07, Others, 1337KB, 下载0次)
本书深入系统地论述了各类智能机器人传感器的原理、结构、性能，以及信号处理和应用技术
This book deeply and systematically discusses the principle, structure, performance, signal processing and application technology of various intelligent robot sensors. (2019-05-29, Others, 15295KB, 下载2次)
伪随机数生成器,Implementation of the Quasi-Random Number generator c (2018-05-24, Others, 7KB, 下载0次)
http://www.pudn.com/Download/item/id/1527157436688644.html
Agar.io 的服务器，使用Node.js编写。
An open source Agar.io server implementation, written with Node.js. (2016-02-19, Others, 78KB, 下载5次)