diff --git a/src/lib/Header.svelte b/src/lib/Header.svelte index d9bff8e..47c3a35 100644 --- a/src/lib/Header.svelte +++ b/src/lib/Header.svelte @@ -39,6 +39,11 @@ class="py-2 px-2 rounded text-neutral-300 font-semibold hover:text-neutral-500 hover:bg-neutral-800 transition duration-300" >Proof + Code @@ -94,6 +99,13 @@ >Proof +
Open source
++ Every part of the dau software stack is on GitHub under the Apache 2.0 license: the operator + tiles and their golden models, the build system, the simulator, the host driver, the + scheduler, and the Polars integration. You can read how a query becomes a design, build the + same bitstreams we run, and add your own tiles in your own package. +
++ Install straight from the repositories. The Polars package pulls in the rest. +
+pip install git+https://github.com/dau-dev/dau-polars
+ dau-polars
++ Capture a Polars plan, compile it onto tiles, run it on the device, the CPU, or split + between them. +
+ + +dau-core
++ The operator tiles: SystemVerilog, bit-exact golden models, capability contracts, and the + registry. +
+ + +dau-driver
++ Host I/O over XDMA on Linux and macOS: discovery, registers, DMA, and job execution. +
+ + +dau-scheduler
++ Decides how much of a query the device takes, from measured costs. +
+ + +dau-build
++ Declarative build specs through synthesis, programming, and smoke tests, with Vivado or + yosys. +
+ + +dau-sim
++ Cycle-accurate simulation for Amaranth, SystemVerilog, and hand-built IR, with a cocotb + backend. +
+ + + All repositories on GitHub + +