Spiking neural network inference engine for 7-Series FPGAs
☆30Aug 31, 2025Updated 9 months ago
Alternatives and similar repositories for snn-fpga
Users that are interested in snn-fpga are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- Slip.py - A Slippi replay browser, search engine, and analyzer, built using Flask.☆19Aug 15, 2023Updated 2 years ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 4 years ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 10 years ago
- ☆11Jun 10, 2026Updated 2 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 9 years ago
- ☆13Jun 4, 2018Updated 8 years ago
- Interactive-diagrams☆39May 18, 2015Updated 11 years ago
- Tax types and computations for Australia☆11Updated this week
- A C11 compiler for the discrete logic computer☆21Apr 3, 2024Updated 2 years ago
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 years ago
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Apr 9, 2017Updated 9 years ago
- A hand-written streaming byte parser for OpenStreetMap Protobuf data.☆12Dec 8, 2021Updated 4 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆13Apr 30, 2026Updated last month
- Website for CSE230☆10Jan 29, 2016Updated 10 years ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated 5 months ago
- Verilog FPGA code : including experimental DSP audio processor☆13Dec 1, 2020Updated 5 years ago
- A formal consistency proof of Quine's set theory New Foundations☆84Feb 25, 2026Updated 4 months ago
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 8 years ago
- Pux TodoMVC☆13Aug 17, 2017Updated 8 years ago
- Code and notebooks for reproducing the method of "DIY hyperspectral imaging via polarization-induced spectral filters." Katherine Salesin…☆11Aug 1, 2022Updated 3 years ago
- A well-typed Directed Acyclic Graph in Haskell☆13Jan 25, 2015Updated 11 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Full spectrum sheaf neural network over arbitrary CW complexes.☆17Apr 1, 2026Updated 2 months ago
- ☆12Feb 12, 2026Updated 4 months ago
- ☆13May 31, 2024Updated 2 years ago
- ☆17Jan 19, 2018Updated 8 years ago
- Using Arrows to model parallel processes/computations.☆18Aug 1, 2020Updated 5 years ago
- Library code for upcoming RetroClash book☆10Jun 8, 2026Updated 2 weeks ago
- Arty FPGA board starter project☆12Sep 13, 2022Updated 3 years ago
- Firmware and Gateware for the DiVA platform.☆14Sep 8, 2025Updated 9 months ago
- A powerful airgapped CLI tool for executing Ethereum validator operations including consolidation, switching, and both partial and full w…☆13Jan 13, 2026Updated 5 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Polyphonic additive wheeltone synthesizer core☆18Oct 23, 2019Updated 6 years ago
- [ABANDONED] An attempt to port the concur library to PureScript.☆20Feb 21, 2018Updated 8 years ago
- Make a map of all georeferenced maps on routegadget☆14Aug 4, 2021Updated 4 years ago
- efficient and practical cryptohashing in haskell. DEPRECATED in favor of cryptonite☆30Jun 25, 2017Updated 9 years ago
- Rules for performing tasks related to FPGA development in Bazel.☆12Aug 12, 2021Updated 4 years ago
- A Csound based model of Yamaha TX81Z synthesizer☆13May 6, 2019Updated 7 years ago
- Slides for my Haskell Symposium 2015 lighting talk☆13Sep 4, 2015Updated 10 years ago