☆22May 10, 2022Updated 4 years ago
Alternatives and similar repositories for SOL-s-Verilog-Cheatsheet-for-Not-So-Beginners
Users that are interested in SOL-s-Verilog-Cheatsheet-for-Not-So-Beginners are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 入墨答Rumbda, the Chinese expression of lambda calculus☆64Jun 20, 2023Updated 3 years ago
- ☆14Jun 30, 2022Updated 4 years ago
- ☆12Aug 26, 2022Updated 4 years ago
- A Verilator based SoC simulator that allows you to define AXI Slave interface in software.☆54Mar 31, 2026Updated 7 months ago
- A modern functional programming language with effect system.☆18Apr 21, 2024Updated 2 years 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.
- Vivado in GitLab-Runner for GitLab CI/CD☆10Oct 27, 2022Updated 4 years ago
- A classic five stage pipelined processor☆13Mar 13, 2024Updated 2 years ago
- Gemini 30F2 (30F3 variant 00) MIPS Processor for NSCSCC2022☆11Sep 21, 2022Updated 4 years ago
- Partial evaluator for Arm's Architecture Specification Language (ASL)☆21Jun 12, 2026Updated 4 months ago
- CV32E40X Design-Verification environment☆19Jun 2, 2026Updated 4 months ago
- rust binding for lean4☆11Jul 1, 2023Updated 3 years ago
- Knowledge Graph of FPGA☆14Aug 21, 2021Updated 5 years ago
- 豫言☆28Updated this week
- ☆14Nov 23, 2020Updated 5 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.
- A Simple Lisp Interpreter☆10Feb 21, 2022Updated 4 years ago
- 使用 VSCode 舒适地开发 Verilog☆36Aug 11, 2020Updated 6 years ago
- Solving the Advent of Code 2023 using nothing but Materialize, SQL and our bare hands. 🎄☆20Aug 12, 2024Updated 2 years ago
- Distributed timing databases☆12May 11, 2025Updated last year
- Faster, easier and more powerful lua coroutine library☆11May 25, 2015Updated 11 years ago
- ☆17Jul 23, 2025Updated last year
- Theorems that rule this multiverse☆11Oct 6, 2018Updated 8 years ago
- ☆11Oct 13, 2026Updated 2 weeks ago
- An AI agent operating your phone to be your assitant.☆16Oct 17, 2026Updated 2 weeks 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.
- ☆24Jul 20, 2023Updated 3 years ago
- A lightweight implementation of Zig's std.mem.Allocator interface that wraps around Microsoft's mimalloc.☆11Dec 7, 2025Updated 10 months ago
- Superscalar RISC-V processor written in Clash.☆35Aug 23, 2022Updated 4 years ago
- k theorem prover☆11Aug 16, 2022Updated 4 years ago
- Usage samples for the VC-LTL.☆14Jun 29, 2019Updated 7 years ago
- Data Types a la carte from PureScript -> JavaScript☆13Apr 19, 2017Updated 9 years ago
- 用PCB板作为骨架的微型四轴无人机☆10Sep 4, 2017Updated 9 years ago
- WTR 电控培训资料☆12Nov 10, 2022Updated 3 years ago
- ☆14Mar 29, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- JDK main-line development☆11Oct 23, 2026Updated last week
- A RISC-V core running Debian (and a LoongArch core running Linux).☆24Nov 24, 2025Updated 11 months ago
- The Simple 5-staged pipeline RISC-V written in chisel3 for intel FPGA.☆45Apr 11, 2021Updated 5 years ago
- An easy way to switch your font in the Unity Editor☆11Sep 2, 2020Updated 6 years ago
- A low level, expressive language☆14Dec 12, 2024Updated last year
- fuck CSDN☆24Mar 1, 2026Updated 8 months ago
- NATMI: Network Analysis Toolkit for the Multicellular Interactions☆19Dec 19, 2024Updated last year