Spiking neural network inference engine for 7-Series FPGAs
☆26Aug 31, 2025Updated 6 months ago
Alternatives and similar repositories for snn-fpga
Users that are interested in snn-fpga are comparing it to the libraries listed below
Sorting:
- Hardware go brrr bounded context suffix array construction algorithm☆19Nov 1, 2023Updated 2 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- A C11 compiler for the discrete logic computer☆21Apr 3, 2024Updated last year
- ☆11Nov 13, 2024Updated last year
- Resurrecting PP-BESM☆27Feb 23, 2026Updated 2 weeks ago
- A formal consistency proof of Quine's set theory New Foundations☆79Feb 25, 2026Updated last week
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆31May 29, 2021Updated 4 years ago
- [TPAMI 2022] Disentangling Light Fields for Super-Resolution and Disparity Estimation☆13Apr 2, 2024Updated last year
- This repository contains the source code for TCBee, a TCP flow analysis tool recording packet headers and kernel metrics at up to 1.4 Mpp…☆13Feb 10, 2026Updated 3 weeks ago
- Tax types and computations for Australia☆11Dec 8, 2025Updated 3 months ago
- Lightweight cryptography☆14Nov 7, 2022Updated 3 years ago
- Pong game written in the boot sector☆38Jan 26, 2026Updated last month
- Surface segregation using Deep Reinforcement Learning☆13Aug 30, 2021Updated 4 years ago
- A powerful airgapped CLI tool for executing Ethereum validator operations including consolidation, switching, and both partial and full w…☆13Jan 13, 2026Updated last month
- Symbian Utilities☆11Nov 7, 2016Updated 9 years ago
- An emulator for the Three Rivers Computer PERQ workstation☆12Jan 23, 2026Updated last month
- A small Perl module to eliminate boilerplate overhead when using the Zabbix API☆11Jan 31, 2025Updated last year
- Additional media and software for use with PERQemu☆11Jul 8, 2025Updated 8 months ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- Performant physics-focussed quantum circuit library built in Rust☆16Sep 4, 2025Updated 6 months ago
- Flight simulator demo for Arduboy☆11Aug 16, 2019Updated 6 years ago
- Updated SLIP/PPP via the venerable Slirp☆15Apr 20, 2025Updated 10 months ago
- Actively maintained fork of Peter Miller's UCSD P-System tools - Filesystem utilities☆13Nov 2, 2025Updated 4 months ago
- Implementing CIFS (SMB) protocol in Perl☆14Aug 30, 2018Updated 7 years ago
- Filesystem browser written in RapidApp☆11Oct 26, 2020Updated 5 years ago
- copy one disk or image file to an other☆11Dec 23, 2020Updated 5 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- Osmocom implementation of the 3GPP Serving GPRS Support Node (SGSN); mirrored from https://gitea.osmocom.org/cellular-infrastructure/osmo…☆14Feb 11, 2026Updated 3 weeks ago
- Small Incompatible Timesharing System☆12Nov 23, 2022Updated 3 years ago
- Solutions to math olympiad problems in Isabelle/HOL☆11May 29, 2021Updated 4 years ago
- Mission: Decentralize the Internet☆11Aug 24, 2023Updated 2 years ago
- Set of tools and data to compute all known invariants for simple connected graphs☆14Mar 6, 2018Updated 8 years ago
- minimalist class construction☆19Sep 4, 2020Updated 5 years ago
- The fractal land generator☆15Aug 3, 2019Updated 6 years ago
- A working and hopefully fast SUBLEQ emulator to run DawnOS☆11Sep 19, 2019Updated 6 years ago
- MARS_NWE NetWare Emulator☆13Oct 2, 2024Updated last year
- It's a CP/M 2.2 Emulator for Win32/64 and Linux☆11May 11, 2024Updated last year
- a clone of POCL that includes RISC-V newlib devices support and Vortex☆49Jan 14, 2026Updated last month