Damon Sicore's repositories
prolog.computer
A prototype Distributed Web Prolog implementation.
TypesAndProofs
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
awesome-space
🚀A list of awesome space-related packages and resources 🛰️
community-1
A place for everyone to collaborate and communicate: Agendas and meeting notes.
Damon-Sicore
This is Damon Sicore.
DeepRank
A first cut into exploring the use of dependency links for building Text Graphs, that, among other things, with help of a centrality algorithm like *PageRank*, can extract relevant keywords and summaries from text documents.
heavy.earth
A visually sublime Low-RPG dungeon crawler created by the https://monadic.us hacker co-op.
melonJS
a fresh & lightweight javascript game engine
multibase
Self identifying base encodings
multicodec
Compact self-describing codecs. Save space by using predefined multicodec tables.
prolog-ipfs
Placeholder project. Prolog implementation of IPFS client.
report-wfs
LIfe document describing the implementation of well founded semantics in SWI-Prolog
rust-playground
The Rust Playground
snarkOS
A Decentralized Operating System for Zero-Knowledge Applications
swi-web-prolog
A proof-of-concept SWI-Prolog implementation of Web Prolog
swipl-devel
Main development repository
traviso.js
Traviso is an open source JS engine that makes it easy to build isometric applications that run in a web browser.