Pinned Loading

1. lean-misc-math lean-misc-math Public

   Miscellaneous classical and other mathematical results, formalised in Lean 4 on top of Mathlib

   Lean 1

2. NeuraLUT NeuraLUT Public

   Forked from MartaAndronic/NeuraLUT

   NeuraLUT-Assemble

   Python

3. PolyLUT PolyLUT Public

   Forked from MartaAndronic/PolyLUT

   PolyLUT is the first quantized neural network training methodology that maps a neuron to a LUT while using multivariate polynomial function learning to exploit the flexibility of the FPGA soft logic.

   Python