具有一般可变引用的渐进安全类型编程语言的Agda机械化。
The Agda mechanization of a gradual security-typed programming language with general mutable references. (2024-04-09, Agda, 0KB, 下载0次)
编程黑客马拉松页面,您可以展示您的项目,并找到其他小组参与。
Programming hackathon page where you can present your project and find other groups to participate with. (2024-03-31, TypeScript, 0KB, 下载0次)
一个javascript NES黑客框架,模拟类似于DOM的东西,用于实时以编程方式编辑NES游戏。
A javascript NES hacking framework that emulates something similar to the DOM for programmatically editing NES games in real time. (2015-10-30, JavaScript, 0KB, 下载0次)
一种面向网络安全的解释性编程语言,旨在让您体验网络安全(攻击性和防御性)...,
A cyber security oriented interpreted programming language designed to make your experience with cyber security (offensive and defensive) better in every way (2023-05-09, GO, 0KB, 下载0次)
这是一本经典的入门教程,适合各个阶段的人员参考
this is a book for classic book. I love this one for long time (2021-01-15, C/C++, 64526KB, 下载1次)
大学期间密码学课程设计内容,共5个编程题目,包设计报告。
Course design content of cryptography in University (2020-04-09, C/C++, 2554KB, 下载6次)
Socket编程的TCP服务器例子,主要完成服务器与客户端收发文件,
Socket programming TCP server example, mainly completes the server and the client to send and receive files, (2019-05-25, matlab, 4KB, 下载0次)
smtp编程程序 值得研究的一个系统,我不太懂,望优势能够看懂
Smtp programming is worth studying a system, I do not quite understand, I hope the advantages can understand (2019-05-25, C++, 15KB, 下载0次)
C#编程如何获取进程主窗口以及创建进程的执行程序
How to get the main window of the process and how to create the executor of the process by C # programming (2019-05-23, matlab, 6KB, 下载0次)
俄罗斯方块的源代码,一个很经典的游戏哦,可以用来学习VC编程,
Tetris source code, a very classic game oh, can be used to learn VC programming, (2018-11-29, Visual C++, 25KB, 下载0次)
这是一个关于的路径算法,采用A 算法进行编程的源代码及执行文件,
This is about the path algorithm, A algorithm for programming the source code and execution files, (2018-11-22, Dev C++, 14KB, 下载0次)
pku online judge的一些题目的代码,全部AC的,适合编程初学者以及爱好者
Code for some pku online judge topics, all AC, for beginners and enthusiasts (2018-11-09, Others, 10KB, 下载0次)
很好的像EXCEL界面的TabView,是VC编程者的不错的选择,来看看吧!
A good TabView, with a EXCEL interface is a good choice for VC programmers. Let's see! (2018-10-26, C++, 1KB, 下载0次)
五子棋的可视化程序,用以了解最基本的界面编程各个方面很有帮助
Gobang visual procedures to understand the most basic interface programming aspects are very helpful (2018-10-21, Visual C++, 42KB, 下载0次)
windows 系统请勿上传和编程无关的文件
要求上传您自己觉得好的资料
Windows systemDo not upload files unrelated to programming
Ask to upload the information you feel good about yourself (2018-05-26, C/C++, 9299KB, 下载0次)
一个简单的反向后门代码列子,对于初学网络编程的朋友可能会有些帮助.
A simple reverse backdoor the code Liezi for the beginner of network programming of friends may be helpful. (2012-06-13, Visual C++, 1KB, 下载4次)
《网络安全开发包详解》刘文涛编著,是学习winpcap,libnids,网络编程必备书籍
" Detailed development of network security package" Liu Wentao compiled an essential book for learning winpcap, libnids, network programming (2012-05-24, Visual C++, 16872KB, 下载32次)
安全编程培训,常见软件漏洞以及防范方法,安全误区,人员安全意识培训
Secure programming training, common software vulnerabilities, as well as prevention methods, misunderstanding of security, personnel security awareness training (2012-02-17, PDF, 1315KB, 下载7次)
:一个命令行的SQL注入工具源码,对于想学习网络安全编程的人来说有参考价值。
-A command-line source of SQL injection tool, for want to learn programming, network security for a valuable reference. (2012-01-17, Visual C++, 5KB, 下载14次)
实验 c/s网络编程:聊天程序,使用c++实现的,相当于一个简单的聊天室。
Experimental c/s network programming: chat program, the use of c++ Achieved, which is equivalent to a simple chat room. (2008-11-25, Visual C++, 2977KB, 下载14次)