Insan AI

Popular repositories Loading

1. zenfmt zenfmt Public

   Universal document conversion in Zig with a typed Python API

   Zig 8

2. paxos-zig paxos-zig Public

   A bounded, deterministic Paxos and Multi-Paxos library for Zig. No I/O, no threads, no clocks.

   Zig 4

3. zaxonlite zaxonlite Public

   SQLite that several machines keep identical. Embedded replicated SQLite on paxos-zig, with the zaxon CLI.

   Zig 2

4. zaxon-cli-ui zaxon-cli-ui Public

   The terminal parts of a database shell, with the database removed. Shared Zig terminal UI on libvaxis.

   Zig 1

5. zxdocs zxdocs Public

   Books and ZDS design records (Zaxon Discussions) for paxos-zig and zaxonlite, in the RFC/RFD tradition.

   Typst

6. paxos-odin paxos-odin Public

   Bounded Paxos and Multi-Paxos in idiomatic Odin, with the paxodin Python SDK, CLI, and illustrated book

   Odin