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 175 21

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 51 2

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

   Lean 15 1

4. hasktorch/hasktorch hasktorch/hasktorch Public

   Tensors and neural networks in Haskell

   Haskell 1.2k 127

5. louter louter Public

   Haskell 10 2

6. intelli-monad intelli-monad Public

   Haskell 5 5