Lists (32)
ai/llm/crazy stuff
40 repositories
bookmark
33 repositories
cybersec
82 repositories
editor
17 repositories
Elastic Search
Ethereum Change Requests
1 repository
evm
4 repositories
Fullstack Framework
fungoid
9 repositories
games
13 repositories
IPA
Stuff for my IPAlanguages
80 repositories
Layer-1 Chains
4 repositories
Layer-2 Chains
7 repositories
liquid staking / yield
3 repositories
lispy
13 repositories
LLM Training
6 repositories
maths
3 repositories
os
9 repositories
pascal/delphi/family
6 repositories
quantum-tech/AQI
3 repositories
SaaS / Micro SaaS
45 repositories
stuxnet/duqu-wdk
1 repository
stuxnet/flame
1 repository
sushiswap essentials
12 repositories
tacit programming
15 repositories
templeOS/Shrine
6 repositories
text-adventure
11 repositories
unicode esolangs
7 repositories
vim plugins
must have vim plugings2 repositories
web3 security
2 repositories
zk-tech
15 repositories
Starred repositories
2
results
for source starred repositories
written in Prolog
Clear filter
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Prolog Package Manager (PPM): A package manager for Prolog.