monadicus Goto Github PK

adventure

an advanced text adventure engine with a web interface, written in prolog

aleo-python-sdk

aleph

Port of Aleph to SWI-Prolog

ansi-diff

A module that diffs an input buffer with the previous one provided to it and outputs the diff as ANSI

arcs

Aleo Request for Comments (ARCs)

are-you-around

See if people are around

awesome-prolog

⚡️ Curated list of Prolog packages and resources

basic-attention-token-crowdsale

Basic Attention Token

bat-balance

Find the balance associated with a BAT wallet.

bat-client

An example of client code for the BAT.

bat-ledger

A BAT-based micropayments system for users and publishers

bat-publisher

Routines to identify publishers for the BAT.

beakerify

beakerify a website

blog-core

Blogging/CMS framework for SWI-Prolog.

brave-payments-tools

Tools for Brave Payments

brave-payments-verification

A plugin that enables "Well-Known URIs" support for WordPress (RFC 5785: http://tools.ietf.org/html/rfc5785).

cabal

p2p chatsoft in the terminal

cabal-node

Node.js library for cabal.

carbon

Carbon is one of the components of Graphite, and is responsible for receiving metrics over the network and writing them down to disk using a storage backend.

chalk

A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler

char-rnn

Multi-layer Recurrent Neural Networks (LSTM, GRU, RNN) for character-level language models in Torch

chatmesh

p2p chat using hyperdb

choo-devtools

💼 - Expose a choo instance on the window

client

Keybase Go Library, Client, Service, OS X, iOS, Android, Electron

clpfd

Constraint Logic Programming over Finite Domains

collenchyma

Extendable HPC-Framework for CUDA, OpenCL and common CPU

colonizers-desktop

Based on "The Settlers of Catan" by Klaus Teuber.

computer

A Prolog shell hack for a trust-based computer.

computer-deps

Configuration targets for Computer. Experimental fork of Marelle.

crypto-socket

Basic NPM package, cryptocurrency ticker supporting public API calls to multiple exchanges and currencies with websockets where available.