[其他小程序] 判断输入是否为命题公式

说明：本程序可以实现：判断输入得公式是否为命题公式(This procedure can determine whether the input is propositional formula)
<mlnnf518 > 在 2025-07-20 上传 | 大小：1kb | 下载：0

[其他小程序] 判断两命题公式是否蕴含

说明：本程序可实现：判断两个输入的命题公式是否蕴含(This document can determine whether or not the two propositional formulas contain)
<mlnnf518 > 在 2025-07-20 上传 | 大小：2kb | 下载：0

[其他小程序] 变声器

说明：通过ADC采样获得语音信号，存储在SRAM中，进行频谱搬移实现变声，用DAC输出(Through ADC sampling to obtain the voice signal, stored in the SRAM, frequency shift to achieve sound, DAC output)
<dddsss > 在 2025-07-20 上传 | 大小：5.35mb | 下载：0

[其他小程序] mysin

说明：本程序代码包含读入dat文件，以及存储数据为dat文件的函数，便于读者理解dat文件的读取(This program code contains read into the dat file, as well as storage data for the dat file function)
<mlnnf518 > 在 2025-07-20 上传 | 大小：111kb | 下载：0

[绘图程序] circuiw_virtuwl

说明：使用CPascal汇编写的bmp图形旋转,缩放的程序 不错的源码(Written using CPascal assembly BMP graphics rotation, scaling the program source code)
<苏玄婷0 > 在 2025-07-20 上传 | 大小：145kb | 下载：0

[Internet/网络编程] diting_java

说明：一个看视频的网页设计,能在线观看，留言，发弹幕等.(A video page design, can watch online, message, send a barrage and so on)
<嘘嘘嘘xx > 在 2025-07-20 上传 | 大小：7.65mb | 下载：0

[Windows编程] Snake

说明：使用windowsAPI实现贪吃蛇小游戏(A snake game finished by C.)
<左左左一 > 在 2025-07-20 上传 | 大小：19.63mb | 下载：0

[图片显示浏览] vbrz24

说明：为编程初学者设计的一个小型图像处理软件 很好的(Programming for beginners of a small image processing software is very good)
<檀雨钊987 > 在 2025-07-20 上传 | 大小：61kb | 下载：0

[游戏] lolskintool

说明：League of Legends 模型、骨骼、动画、导出工具(League of Legends model, bones, animation, export tool)
<shaen > 在 2025-07-20 上传 | 大小：4.76mb | 下载：0

[Linux/Unix编程] sdram

说明：sdram设置程序，主要是申嵌视频源码sdram修改后的sdram设置方法。包含led.c,Makefile,head.S。(sdram set up programs)
<朱金龙 > 在 2025-07-20 上传 | 大小：1kb | 下载：0

[绘图程序] agtkibutelibrariesattribute

说明：使用Win32中的API库的图形函数,绘制一个简单的具有透明属性的动画,(Using Win32 API in the libraries of graphics functions to draw, a simple animation with transparent attribute,)
<田慧0123 > 在 2025-07-20 上传 | 大小：315kb | 下载：0

[嵌入式Linux] 新建文件夹

说明：ADC应用程序，可以根据设备文件的名字改一下文件名再用，改一下分辨率再用。(A small analog-to-digital conversion application)
<yutangxuanma > 在 2025-07-20 上传 | 大小：29kb | 下载：0