Minispec Hardware Description Language
☆23Feb 11, 2024Updated 2 years ago
Alternatives and similar repositories for minispec
Users that are interested in minispec are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Jan 27, 2025Updated last year
- An open-sourced PyTorch library for developing energy efficient multiplication-less models and applications.☆14Feb 3, 2025Updated last year
- This is a C version of the SCF code found in Appendix B of Modern Quantum Chemistry, An Introduction to Electronic Structure Theory by A.…☆10Jan 1, 2019Updated 7 years ago
- Racket utilities for manipulating C source code.☆12Mar 15, 2017Updated 9 years ago
- Benchmarking the accelerated generation quality of OneDiff.☆13Oct 21, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- CamelForth in C for RP2040 Raspberry Pi Pico. A Forth by Dr Brad Rodriguez - ported to RP2040 by wa1tnr - Forth interpreter is on the RP2…☆12Oct 27, 2021Updated 5 years ago
- VCML integration of Nvidia's NVDLA SystemC model☆14Apr 13, 2021Updated 5 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- Building blocks for Time Series Database (TSDB) in Go☆10Jul 8, 2020Updated 6 years ago
- Sharing source codes with the others.☆10Aug 16, 2024Updated 2 years ago
- UNIX based x86_32bit light weight OS build from Scratch in c and c++ .☆10Jun 27, 2021Updated 5 years ago
- The example of MQTT microservices based system build on top of Node.js, Go (Golang), Java, gRPC and Apache Kafka☆11Feb 3, 2018Updated 8 years ago
- An example TLA+ specification for a simple "raft style" leader election protocol☆10Oct 7, 2022Updated 4 years ago
- Auto-detect AMD GPUs on Windows/Linux and instantly get the correct HSA_OVERRIDE_GFX_VERSION for local AI (ROCm/HIP).☆17Sep 23, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Explore the behavior SystemC kernel event-driven simulator (aka "the engine")☆12Jan 17, 2024Updated 2 years ago
- Task scheduler with high availability.☆12Jul 26, 2021Updated 5 years ago
- ☆20Oct 2, 2026Updated 3 weeks ago
- Torch Hammer: Strike while the GPU is hot☆17Oct 19, 2026Updated last week
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆47Feb 17, 2020Updated 6 years ago
- Constrained random stimuli generation for C++ and SystemC☆11Nov 1, 2016Updated 9 years ago
- CircuitPython module for the MCP4725 12-bit digital to analog converter.☆11Apr 23, 2026Updated 6 months ago
- Mobile C Examples☆12Jul 11, 2018Updated 8 years ago
- Nim wrapper for the nats.c - without JetStream and without KV yet☆12May 24, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- This Repo contains SystemC for testBench for AMBA® 3 AHB-Lite Protocol☆14Jul 11, 2018Updated 8 years ago
- USB Type-C serial adapter powered by WCH/FTDI chips☆11Jul 7, 2019Updated 7 years ago
- source codes of ez3 kernel☆15Apr 10, 2018Updated 8 years ago
- Code for paper: Narrowing the Gap Between Serverless and its State with Storage Functions☆12Jul 10, 2020Updated 6 years ago
- kernel driver source code☆15Apr 19, 2020Updated 6 years ago
- A RISC-V VP with SUBLEQ microcode☆13Sep 29, 2022Updated 4 years ago
- ☆18Mar 11, 2026Updated 7 months ago
- SystemC-WMS (Wave Mixed Signal Simulator) is a class library that extends the standard SystemC kernel to allow modeling and simulation of…☆11Jul 19, 2018Updated 8 years ago
- A Simulator for 8085 programs,☆13Jan 31, 2026Updated 9 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Set of useful tools for Development. Enabling you to pull down multiple organizational source code repositories by generating clone and…☆18May 6, 2019Updated 7 years ago
- An open-source, JEDEC JESD270-4A-compliant HBM4 memory subsystem (controller + PHY-shim + DFT + RAS + security wrapper) tightly coupled t…☆27Jun 14, 2026Updated 4 months ago
- Go + HTMX + Templ + Tailwindcss and Alpinejs (PinesUI) template (aka updated version of https://github.com/anthdm/gothstarter [which @ant…☆10Jan 1, 2025Updated last year
- ☆14Apr 22, 2024Updated 2 years ago
- Li-Fi technology is an efficient data communication mechanism involving visible light as a medium of transmission. The main ideology behi…☆13Mar 30, 2019Updated 7 years ago
- WiringPi / WiringOP libary for the Orange Pi Zero with 26 pin GPIO header☆11May 3, 2018Updated 8 years ago
- A RISC-V system simulator with VGA, UART, memory, and JTAG debugging, interconnected with SystemC/TLM, designed with operating systems an…☆16Apr 21, 2020Updated 6 years ago