Lists (32)
algorithms
5 repositories
caches
1 repository
cloudflare
1 repository
codeql
2 repositories
CRDTs
1 repository
Data analysis
3 repositories
devsecops
64 repositories
eBPF
8 repositories
effect-ts
1 repository
formal
3 repositories
FP
5 repositories
graph
5 repositories
haskell-fp
2 repositories
homelab
3 repositories
Learn Rust
9 repositories
microbiology
3 repositories
ml
31 repositories
mojo
3 repositories
Parsers
1 repository
radio
1 repository
rag
3 repositories
replist
1 repository
sbom
1 repository
siem
77 repositories
sonarcube
1 repository
tauri
1 repository
tools
22 repositories
ui
4 repositories
viz
4 repositories
zfs
3 repositories
zio
1 repository
zulip
1 repository
Stars
5
stars
written in Prolog
Clear filter
TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.
OpenType Unicode fonts for Scientific, Technical, and Mathematical texts
Some simple examples for new Prolog programmers
A toy SWI-Prolog context-free grammar (CFG) parser, that extracts knowledge (facts) from text.