平台
编程语言
TypeScript
C++
C
Go
Rust
C#
Shell
Java
HTML
Lua
PHP
Jupyter Notebook
Ruby
Kotlin
Swift
CSS
Dart
Emacs Lisp
Vim Script
SCSS
Vue
Haskell
Makefile
Scala
Svelte
Perl
Clojure
Batchfile
Dockerfile
Objective-C
Nix
GDScript
Assembly
TeX
Common Lisp
R
Elixir
Solidity
Nim
Markdown
Zig
HCL
Logos
AutoHotkey
Jinja
Julia
Pascal
OCaml
Scheme
JavaScript
ZH
RU
DE
ZH
ES
PT
MS
FR
FA
KO
TR
PL
CS
SV
SK
BG
SL
DA
HR
AR
HU
NL
IND
IT
EL
VI
TH
HE
Home
用 Prolog 编写的库
open-source-rover
基于火星漫游车的自制 6 轮漫游车!
7.3k
Apache License 2.0
terminusdb
TerminusDB 是一个具有协作模型的分布式数据库。
2.4k
Apache License 2.0
stabilizer
稳定器:严格的性能评估。
523
Apache License 2.0
the-constitution-of-japan
423
logtalk3
Logtalk - 声明性面向对象逻辑编程语言。
359
Apache License 2.0
dumbpad
带旋转编码器的简单 4x4 数字键盘。由 QMK 通过 ATmega32u4 Pro Micro 提供支持。
299
GNU General Public License v3.0 only
BadUSB-Cable
基于 Attiny85 微控制器的 BadUSB 电缆..
274
Creative Commons Attribution 4.0
tar.pl
tar 创建器 + 提取器,大约 100 行序言。
248
elpi
可嵌入的 Lambda Prolog 解释器。
236
GNU Lesser General Public License v3.0 only
ciao
Ciao 是一个现代的 Prolog 实现,它构建于一个基于逻辑的简单内核,设计为可移植、可扩展和模块化。
214
GNU Lesser General Public License v3.0 only
metagol
Metagol - 归纳逻辑编程系统。
175
BSD 3-clause "New" or "Revised"
clpz
整数约束逻辑编程。
160
Gleemin
Magic: the Gathering™ 专家系统。
86
louise
多项式时间元解释学习。
77
GNU General Public License v3.0
RTEC
RTEC 是针对流推理而优化的事件演算实现。
71
GNU Lesser General Public License v3.0 only
nests-and-insects
一款 Roguelike 桌面角色扮演游戏。
50
GNU General Public License v3.0 only
sparqlprog
使用 SPARQL 进行逻辑编程。
42
aleph
阿莱夫港至 SWI-Prolog(由 friguzzi 提供)。
36
swipldcgtut
swi-Prolog 中的 DCG 教程。
29
PRESS
PROlog 方程求解系统。
28
MIT
packages-http
SWI-Prolog HTTP 服务器和客户端库。
22
precautionary
以患者为中心的肿瘤剂量递增试验安全诊断,根据 PKPD 个体间差异检查设计安全性。
20
GNU General Public License v3.0
Alpino
Alpino 荷兰语解析器和相关工具。
18
GNU Lesser General Public License v3.0 only
debug_adapter
SWI-Prolog 的调试适配器协议 (DAP) 实现。
18
MIT
Phenesthe
“Phenesthe”(原 φαίνεσθαι)是一个用于表示和处理瞬时和持续时间现象的系统。
18
GNU General Public License v3.0 only
data-logic
具有演绎查询和验证以自然语言表达的约束的专家系统。
14
djota
Prolog 中的 Djot 实现。
13
BSD 3-clause "New" or "Revised"
THELEMA
我的硕士论文:语法归纳系统。
12
GNU General Public License v3.0 only
dfs-tools
分布式形式语义 (DFS) 工具。
11
Apache License 2.0
advent-of-code-2020
Advent of Code 2020 的解决方案(作者:aarroyoc)。
9
The Unlicense
«
Previous
1
(current)
2
»
Next