Pinned Loading

1. Verilean/sparkle Verilean/sparkle Public

   A type-safe, formally verifiable HDL compiler in Lean 4. Inspired by Clash, built for high-assurance hardware synthesis.

   Lean 60 8

2. Verilean/hesper Verilean/hesper Public

   Verified GPU programming framework for Lean 4. Write type-safe WebGPU shaders with formal verification, hardware-accelerated matrix ops, and cross-platform support (Metal/Vulkan/D3D12). Build prova…

   Lean 22 1

3. Verilean/xeus-lean Verilean/xeus-lean Public

   Lean 8 1

4. hasktorch/hasktorch hasktorch/hasktorch Public

   Tensors and neural networks in Haskell

   Haskell 1.2k 121

5. louter louter Public

   Haskell 4 1

6. intelli-monad intelli-monad Public

   Haskell 3 3