Pinned Loading

1. Law-Maker Law-Maker Public

   Zack-like game centered around logic programming.

   Python 1

2. Pocket-Inferer Pocket-Inferer Public

   A desktop application implementing Attempto Controlled English for logical reasoning.

   Python 9

3. MLTorrent MLTorrent Public

   BitTorrent for machine learning. Implementation of https://dl.acm.org/doi/full/10.1145/3703790.3703813 for general machine learning (not just IoT setting)

   JavaScript 1

4. MyceliumWebServer MyceliumWebServer Public

   Federated learning based on ActivityPub (a federated social networking protocol).

   Python 15 3

5. Seamantic Seamantic Public

   Semantic-web-bridging Mastodon client - introduces a "semantic feed", with which you can communicate with knowledge bases and AI agents on the Fediverse.

   TypeScript 5

6. ActivityROS ActivityROS Public

   Bridge between the Fediverse and ROS workers (ROS = robot operating system). For interacting with robots over the Fediverse.

   C++ 4