微型项目，“使用Verilog HDL的FPGA架构和编程”实验室研讨会，NIELIT，Calicut
Mini project, Lab Workshop on "FPGA Architecture and Programming using Verilog HDL", NIELIT, Calicut (2024-02-13, TeX, 0KB, 下载0次)
我论文的单间距版本，miniKanren中的关系编程：技术、应用和实现
Single-spaced version of my dissertation, Relational Programming in miniKanren: Techniques, Applications, and Implementations (2018-12-30, TeX, 0KB, 下载0次)
英特尔PIN工具，用于动态检测面向返回的编程攻击，
An Intel PIN tool for dynamic detection of Return Oriented Programming attacks, (2017-09-30, TeX, 0KB, 下载0次)
Coq.中编辑器端元编程的文档（TeX、幻灯片等）和代码。，
Documents (TeX, slides etc.) and code for the editor side metaprogramming in Coq., (2019-06-28, TeX, 0KB, 下载0次)
使用C和Java（PT-BR）进行并发编程的简单直接文档，
Easy and direct docs for initial foot inside concurrent programming using C and Java (PT-BR), (2019-08-25, TeX, 0KB, 下载0次)
并行编程难吗，如果难，你能做些什么——保罗·E·麦肯尼，
Is Parallel Programming Hard, And, If So, What Can You Do About It - Paul E. McKenney, (2023-02-19, TeX, 0KB, 下载0次)
在2019年夏季学期的编程练习中开发的解决方案和更多内容，
Solutions and some more stuff developed during Programmierung exercises of summer term 2019, (2020-05-03, TeX, 0KB, 下载0次)
介绍我们的答案集编程工具，重点是gringo、clinco和chip。，
An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp., (2023-07-13, TeX, 0KB, 下载0次)
关于为统计计算选择编程语言的语言方面的一篇短文，
A short paper about the linguistic aspects of choosing a programming language for statistical computing, (2017-07-03, TeX, 0KB, 下载0次)
TFP 2017年“带效果处理器的并发系统编程”论文回购，
TFP 2017 Paper Repo for "Concurrent System Programming with Effect Handlers", (2020-12-02, TeX, 0KB, 下载0次)
这些是四年制数学、物理和计算机编程课程的材料，
These are the materials for a four year course on math, physics, and computer programming, (2023-07-28, TeX, 0KB, 下载0次)
EPFL MATH 342（时间序列）课程R编程语言简介，2016年冬季
Introduction to the R programming language for the course MATH 342 (Time series) at EPFL, Winter 2016 (2019-02-26, TeX, 0KB, 下载0次)
在函数编程语言中使用图的一种简约、优雅和强大的方法
A minimalistic, elegant and powerful approach to working with graphs in a functional programming language (2021-09-20, TeX, 0KB, 下载0次)
伊利诺伊大学开源系统编程入门教科书
Open Source Introductory Systems Programming Textbook for the University of Illinois (2023-05-22, TeX, 0KB, 下载0次)
“Haskell函数编程简介”，格拉斯哥大学计算科学MOOC将在Fut...
"Introduction to Functional Programming in Haskell", a Glasgow University Computing Science MOOC to be hosted on FutureLearn in October 2016 (2016-11-07, TeX, 82880KB, 下载0次)
1门课程2学期考试问题的汇总。包括cpb、数学、编程和物理
Aggregation for 1 course 2 semester exam questions. Includes cpb, math, programming and physics (2023-02-05, TeX, 14243KB, 下载0次)
涵盖Python编程技能、使用数据集和有限差分方法的课程
Course covering Python programming skills, working with data sets, and finite difference methods (2017-04-19, TeX, 35229KB, 下载0次)
遗传编程算法在流行的RL基准上训练，使解更容易解释。
Genetic Programming algorithm trained on popular RL benchmarks to make solutions more interpretable. (2020-10-31, TeX, 1370KB, 下载0次)
具有自定义指令集、汇编程序和仿真器的16位微体系结构。
16-bit microarchitecture with a custom instruction set, assembler, and emulator. (2023-04-20, TeX, 487KB, 下载0次)
试图提供一种语言和编辑器无关的解决方案来进行识字编程。
An attempt to provide a language and editor agnostic solution for doing literate programming. (2016-01-08, TeX, 7KB, 下载0次)