damons
CEO MONADIC.US. Ex-VPE, Aleo.org @AleoHQ. Ex-VPE of Mozilla, Wikimedia Foundation, and Edmodo, and NEAR Protocol.
@monadicus Waxahachie, TX
Pinned Repositories
amon
Monitor shell script for snarkOS
foxnews
A website that mimics Fox News.
goban
Library for go move generation and go ruling.
nos3
pigpio
Fast GPIO, PWM, servo control, state change notification and interrupt handling with Node.js on the Raspberry Pi
prolog.computer
A prototype Distributed Web Prolog implementation.
TypesAndProofs
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
mentat
A Rust-based implementation of the Coinbase Rosetta SDK
snarkd
damons's Repositories
damons/amon
Monitor shell script for snarkOS
damons/goban
Library for go move generation and go ruling.
damons/nos3
damons/prolog.computer
A prototype Distributed Web Prolog implementation.
damons/TypesAndProofs
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
damons/wasm-micro-runtime
damons/awesome-space
🚀A list of awesome space-related packages and resources 🛰️
damons/cid
Self-describing content-addressed identifiers for distributed systems
damons/community
Coordination repository of Near Community
damons/community-1
A place for everyone to collaborate and communicate: Agendas and meeting notes.
damons/Damon-Sicore
This is Damon Sicore.
damons/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.
damons/faker
An experimental peer-to-peer Web browser
damons/heavy.earth
A visually sublime Low-RPG dungeon crawler created by the https://monadic.us hacker co-op.
damons/kubos-1
An open source platform for satellites
damons/melonJS
a fresh & lightweight javascript game engine
damons/multibase
Self identifying base encodings
damons/multicodec
Compact self-describing codecs. Save space by using predefined multicodec tables.
damons/nearcore
Reference NEAR Protocol client.
damons/NEPs
The Near Enhancement Proposals repository
damons/prolog-ipfs
Placeholder project. Prolog implementation of IPFS client.
damons/report-wfs
LIfe document describing the implementation of well founded semantics in SWI-Prolog
damons/rust-playground
The Rust Playground
damons/snarkOS
A Decentralized Operating System for Zero-Knowledge Applications
damons/snarkVM
A Virtual Machine for Zero-Knowledge Executions
damons/swi-web-prolog
A proof-of-concept SWI-Prolog implementation of Web Prolog
damons/swipl-devel
Main development repository
damons/traviso.js
Traviso is an open source JS engine that makes it easy to build isometric applications that run in a web browser.
damons/trilium
Build your personal knowledge base with Trilium Notes
damons/welcome
Welcome to Aleo. Where Applications Become Zero-Knowledge