β32Aug 20, 2026Updated last month
Alternatives and similar repositories for hggc-samples
Users that are interested in hggc-samples are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Triton language and compiler for SAILβ79Updated this week
- πMy Collections of CUDA Kernels~β11Jun 25, 2024Updated 2 years ago
- β13Jan 7, 2025Updated last year
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskellβ19Oct 16, 2015Updated 10 years ago
- vscode-drawioε’εΌΊηοΌζδΎδ»£η 跳转εθ½β10Feb 20, 2025Updated last year
- End-to-end encrypted cloud storage - Proton Drive β’ AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- RISC-V instruction encoding/decodingβ12Mar 22, 2023Updated 3 years ago
- High Performance Grouped GEMM in PyTorchβ30May 10, 2022Updated 4 years ago
- Apple Silicon TSO Enabler for Linuxβ18Nov 11, 2025Updated 10 months ago
- Handle Fast Signal Traces (fst) in Pythonβ16Jun 11, 2025Updated last year
- SoC for CQU Dual Issue Machineβ12Sep 20, 2022Updated 4 years ago
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submissionβ12Jul 4, 2025Updated last year
- RISC-V Formal in Chiselβ13Apr 9, 2024Updated 2 years ago
- RISC-V Supervisor Binary Interface (RISC-V SBI) implementation in Rust; runs on M-mode; good support for embedded Rust ecosystemβ34Updated this week
- TensorRT encapsulation, learn, rewrite, practice.β32Oct 19, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- VCD Parser for Node.jsβ11Jan 7, 2023Updated 3 years ago
- pure c/cpp cnn implementation, with CUDA accelerated.β21Apr 30, 2021Updated 5 years ago
- A flexible utility for converting tensor precision in PyTorch models and safetensors files, enabling efficient deployment across various β¦β12Aug 24, 2023Updated 3 years ago
- Formal verification tools for Chisel and RISC-Vβ15Mar 29, 2026Updated 5 months ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Pythonβ10Jul 25, 2016Updated 10 years ago
- BOOM's Simulation Accelerator.β13Dec 16, 2021Updated 4 years ago
- Bα΄α΄Κ2MLIR: A Format and Toolchain for Hardware Verificationβ20Jul 8, 2026Updated 2 months ago
- A verifier that integrates LLMs into automated C program verificationβ17Apr 4, 2026Updated 5 months ago
- β11Oct 16, 2025Updated 11 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.
- Fuzzing for SpinalHDLβ17Oct 10, 2022Updated 3 years ago
- ICSE 2025: Fuzzing MLIR compilers with Custom Mutation Synthesisβ15Jul 22, 2025Updated last year
- NSCSCC 2020 - Yet Another MIPS Processorβ14Aug 7, 2021Updated 5 years ago
- Light musician is a tool to convert song to its light version. With Light Player, vocals in a song can be convert to other instruments usβ¦β11Aug 29, 2022Updated 4 years ago
- A demo of asynchronous generation of static html pages using Django 3.0 + Celery 4.4 + Redis 3.3.β15Jan 6, 2022Updated 4 years ago
- β15Dec 6, 2023Updated 2 years ago
- Automated Programming Frameworkβ16May 11, 2020Updated 6 years ago
- 第ε ε±ιΎθ―ζ―ζ··ε ε½’ζε€ͺζι¨ζιδ½εβ18May 15, 2022Updated 4 years ago
- A toy compiler that translates SysY (a subset of C language) into ARMv7a assembly.β12Sep 27, 2021Updated 5 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.
- Visualization of Haskell data structuresβ16Feb 13, 2024Updated 2 years ago
- "Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.β16Jun 8, 2025Updated last year
- Guides and reference material for the Workflow Description Language.β16Aug 28, 2026Updated 3 weeks ago
- β14May 7, 2025Updated last year
- A minimal example of the Idris C FFIβ14May 15, 2015Updated 11 years ago
- This repo conatains all the types of tutorials be it videos, pdfs, code snippets etc of every popular technologyβ11Aug 31, 2019Updated 7 years ago
- Asynchronous traffic simulation application using async-apiβ16Jul 28, 2025Updated last year