我正在学习如何编程。
I m learning how to program. (2024-01-04, Scheme, 0KB, 下载0次)
Lisp中的逻辑编程。该项目移至Gitlab
Programming in Logic in Lisp. This project moved to Gitlab (2018-01-07, Scheme, 0KB, 下载0次)
我对Extempore编程环境的自定义扩展
My custom extensions to the Extempore programming environment (2023-11-13, Scheme, 0KB, 下载0次)
Lisp语言家族的可编程IDE。
Programmable IDE for the Lisp family of languages. (2023-11-08, Scheme, 0KB, 下载0次)
Kraken编程语言,
The Kraken Programming Language, (2023-10-22, Scheme, 0KB, 下载0次)
基于alphaProlog.的miniKanren标称逻辑编程扩展。,
Nominal logic programming extensions to miniKanren, based on alphaProlog., (2014-01-19, Scheme, 0KB, 下载0次)
面向反射的编程,
reflection-oriented programming, (2021-02-09, Scheme, 0KB, 下载0次)
编程暗语,
A programming argot, (2023-08-06, Scheme, 0KB, 下载0次)
函数编程库,
Functional Programming library, (2023-07-23, Scheme, 0KB, 下载0次)
|Neovim的Kind编程语言插件,
| Kind programming language plugin for Neovim, (2023-04-14, Scheme, 0KB, 下载0次)
Scheme编程语言的编译时多任务支持,
Compile-time multitasking support for the Scheme programming language, (2015-01-01, Scheme, 0KB, 下载0次)
《推理方案》一书中的所有逻辑编程代码示例,
All the logic programming code examples from the book "The Reasoned Schemer", (2010-03-28, Scheme, 0KB, 下载0次)
它包括由几种编程语言构成的一些作品。目的是提高编程语言结构的知识...,
It includes some works constituted by several programming languages. The aim is improving knowledge of structure of programming languages and understanding origin of them. (2020-12-07, Scheme, 0KB, 下载0次)
miniKanren中的随机逻辑程序(SLP)式概率逻辑编程,
Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren, (2013-02-03, Scheme, 0KB, 下载0次)
用于ICFP 2008编程挑战的Rover版本2,
Version 2 of the Rover for the ICFP 2008 Programming challenge, (2008-09-21, Scheme, 0KB, 下载0次)
minikanren mips汇编程序反汇编程序,
minikanren mips assembler disassembler, (2015-03-28, Scheme, 0KB, 下载0次)
Asai的反射式编程语言Black
Kenichi Asai s reflective programming language Black (2022-04-11, Scheme, 0KB, 下载0次)
轻量级关系编程语言microKanren的实现
The implementation of microKanren, a featherweight relational programming language (2014-06-12, Scheme, 0KB, 下载0次)
计算机科学二年级函数编程课程知识库
Repository for Functional Programming course for 2nd year Computer Science (2015-10-05, Scheme, 0KB, 下载0次)
将Scheme编程语言转换为每种人类语言。
Translating the Scheme programming language to every human language. (2020-10-07, Scheme, 19KB, 下载0次)