[数值算法/人工智能] xcthulhu-Int_Logic-838502a.tar

说明：Intuitionistic Logic developed in Isabelle/HOL, using a shallow embedding of the lambda-calculus by way of the Curry-Howard isomorphism
<Matt> 在 2025-07-02 上传 | 大小：5kb | 下载：0

[单片机(51,AVR,MSP430等)] FT2232C-Proj03_JTAG_v11

说明：烧写开发FT2232C-Proj03_JTAG_v11.zip-Programming development FT2232C-Proj03_JTAG_v11.zip
<ty> 在 2025-07-02 上传 | 大小：457kb | 下载：0

[单片机(51,AVR,MSP430等)] C8051F060_UART0

说明：C8051F060 UART0通讯程序，已调试通过，只需修改发送数据和接收判断即可。-C8051F060 UART0 communication program has been debugged, simply modify the judge can send and receive data.
<郭万岭> 在 2025-07-02 上传 | 大小：2kb | 下载：0

[WEB源码] 111

说明：免费发短信的东西 非常好用免费发短信的东西 非常好用-Free stuff is very easy to use text messaging to send text messages for free stuff is very easy to use
<11111> 在 2025-07-02 上传 | 大小：1.37mb | 下载：0

[软件工程] Multidimensional-scaling_2edition

说明：Multidimensional scaling covers a variety of techniques, with its main development having rested in the hands of mathematical psychologists and the journal Psychometrika having championed the publication of articles in the subject. Multidimensi
<Azarm> 在 2025-07-02 上传 | 大小：9.42mb | 下载：0

[WEB源码] Xweibo_v2.0

说明：开源微薄一个系统开源微薄一个系开源微薄一个系-A system open source open source meager meager meager source of a system integration of a system
<11111> 在 2025-07-02 上传 | 大小：3.89mb | 下载：0

[其他小程序] math-signal

说明：单通道数据采集，适用于PCI818,为数据采集系统的部分子文件-Single-channel data acquisition for PCI818, part of the data acquisition system subfolders
<meng> 在 2025-07-02 上传 | 大小：13kb | 下载：0

[其他游戏] prisonerdilemma

说明：JADE application for prisoner dilemma game
<Ndirangu> 在 2025-07-02 上传 | 大小：16kb | 下载：0

[单片机(51,AVR,MSP430等)] LED

说明：能实现立体LED旋转字体效果，并能即时更新所要显示的字，是摇摇棒的升级产品-To achieve solid results LED rotating fonts, and can be instantly updated to display the word, is shaking his stick upgrade
<吴定为> 在 2025-07-02 上传 | 大小：805kb | 下载：0

[单片机(51,AVR,MSP430等)] AVR--blood-pressure--pulse-devices

说明：AVR单片机应用：利用AVR 设计出测试血压、脉搏的装置，具体介绍了电路的设计及思路；-AVR microcontroller applications: the use of AVR design a test of blood pressure, pulse devices, specifically designed and introduced the idea of ​ ​ the circuit
<lixiansheng> 在 2025-07-02 上传 | 大小：282kb | 下载：0

[matlab例程] psozq

说明：灰度图像的增强，效果相当可以，可以实现灰度图像的对比度增强-Gray-scale image enhancement, the effect can be considerable, can enhance the contrast of gray image
<王豆豆> 在 2025-07-02 上传 | 大小：30kb | 下载：0

[JSP源码/Java] test

说明：学生成绩系统，用户管理（增、修、删、查） ,JSP,JDBC-Student achievement system, user management (growth, repair, delete, search), JSP, JDBC ~ ~ ~
<jinhui> 在 2025-07-02 上传 | 大小：1.62mb | 下载：0