A selection of classic Blue Note album sleeves recreated in the browser, all layouts and type are responsive.

snops is a suite of tools that can be used to maintain Aleo network environments. The environments are defined in a manner similar to infrastructure-as-code, which means you can create repeatable i…

Zero-knowledge template library

A Rust-based implementation of the Coinbase Rosetta SDK

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

The Washington Post is compiling a database of every fatal shooting in the United States by a police officer in the line of duty since 2015.

Library for go move generation and go ruling.

Public scripts to launch NEAR Protocol betanet and testnet node

Core of VM compiled to WebAssembly for unit tests with as-pect

🔑🔥📈 Next Level PGP

A frontend for an IPFS Kubo and IPFS Desktop

Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.

PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.

An open source Prolog interpreter in JavaScript

Curated list of Prolog packages and resources

This is an adaptation of the Ninety-Nine Prolog Problems written by Werner Hett.

Prolog Tutorials and Information

LIfe document describing the implementation of well founded semantics in SWI-Prolog

Prolog interpreter in Go

Prolog interpreter in and for Erlang

A pure Ruby gem implemention of a Prolog-like DSL for AI and logical programming.

Erlang Pengine, Erlang client to prolog pengine server.

A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.

A comprehensive set of fairness metrics for datasets and machine learning models, explanations for these metrics, and algorithms to mitigate bias in datasets and models.

Electron + Create React App + Electron Builder

📝 Online editor providing collaborative editing in really real-time using CRDTs and IPFS.

Self identifying base encodings