Popular repositories Loading

1. xlog xlog Public

   XLOG is a GPU-native logic programming language for unified symbolic reasoning. GPU-accelerated Datalog engine with probabilistic inference, inductive logic programmimg, and neural-symbolic integra…

   Rust 3

2. desk desk Public

   Agent-first from the ground up: a terminal multiplexer for whole agent fleets, an IDE/CDE with LSPs visible to agents out of the box, and Slack-style inter-agent chat — plus git, notes, and more.

   TypeScript 2

3. mistaber mistaber Public

   Formal symbolic reasoning system for computational halacha using Kripke semantics and Answer Set Programming

   Python 1

4. atch atch Public

   Forked from mobydeck/atch

   atch lets you attach and detach terminal sessions

   C