Mirror of NetBSD sources useful with rump kernels
☆13Mar 23, 2017Updated 8 years ago
Alternatives and similar repositories for src-netbsd
Users that are interested in src-netbsd are comparing it to the libraries listed below
Sorting:
- ☆12May 21, 2024Updated last year
- ☆11Oct 10, 2018Updated 7 years ago
- ☆10Oct 23, 2016Updated 9 years ago
- ☆11Apr 3, 2017Updated 8 years ago
- Convergent Dispersal Deduplication Datastore☆10Jan 21, 2016Updated 10 years ago
- Sargon Chess for CP/M☆11May 12, 2021Updated 4 years ago
- Alpha64 R10000 Two-Way Superscalar Processor☆11May 6, 2019Updated 6 years ago
- A tool for modeling FSMs by VHDL or Verilog☆11Feb 19, 2026Updated last week
- Main repo of the OOP class☆11Oct 16, 2017Updated 8 years ago
- PyRex: A didactic polynomial-time regular expressions implementation in Python☆12Jul 29, 2014Updated 11 years ago
- Deprecated - This library has been replaced by OsvvmLibraries. The links to the submodules will not be updated to the new versions.☆10Jul 22, 2020Updated 5 years ago
- Stability Dashboard☆13Updated this week
- FFT algorithm coded in Verilog. Designed to run on a Xillinx Spartan 6 FPGA board.☆15Jul 19, 2012Updated 13 years ago
- Project to build an 8-bit arithmetic logic unit (ALU) consisting only of transistors☆11Jan 15, 2022Updated 4 years ago
- The Repository contains the code of various Digital Circuits☆12Aug 7, 2023Updated 2 years ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- Repository containing the DSP gateware cores☆14Feb 6, 2026Updated 3 weeks ago
- vhdl related contents☆11Apr 27, 2020Updated 5 years ago
- ☆12Aug 2, 2015Updated 10 years ago
- Static analysis for llvm☆20Mar 31, 2015Updated 10 years ago
- Network protocol libraries for VHDL test benches☆13Jan 11, 2026Updated last month
- Verilog SDR SDRAM controller for FPGA Xilinx and Lattice☆17Jan 3, 2021Updated 5 years ago
- Basic Circuits in Logisim☆11Jan 28, 2019Updated 7 years ago
- SATA sniffing☆15Jul 28, 2022Updated 3 years ago
- ☆11Mar 17, 2021Updated 4 years ago
- Experimental hostapd/wpa_supplicant that allows automatic MACsec channel establishment☆11Sep 5, 2017Updated 8 years ago
- VHDL ieee_proposed library, imported as is. See also https://github.com/FPHDL/fphdl☆12Aug 26, 2016Updated 9 years ago
- Audio libs for load and play some audio files☆10Jan 3, 2021Updated 5 years ago
- POV templates and compilation support for CGC binaries.☆10May 19, 2022Updated 3 years ago
- Xilinx CPLD replacement for the Commodore Amiga Amber custom chip☆14Oct 31, 2025Updated 3 months ago
- All switching software as well as control software for a physically and emulated capable network coding switch. FPGA Acceleration added .…☆10Nov 19, 2019Updated 6 years ago
- Source code for 'Software Exorcism' by Bill Blunden☆13Mar 30, 2017Updated 8 years ago
- Paje Next Generation - Data Analysis of Paje Files☆17Feb 11, 2026Updated 2 weeks ago
- Xilinx Platform cable USB and impact on linux without windrvr by Michael Gernoth☆11Apr 17, 2014Updated 11 years ago
- Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.☆12Sep 4, 2022Updated 3 years ago
- ☆12May 29, 2020Updated 5 years ago
- Dual-core 16-bit RISC processor☆12Jul 21, 2024Updated last year
- A netmap-based userspace network stack.☆10May 7, 2015Updated 10 years ago
- This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tol…☆18Nov 24, 2017Updated 8 years ago