Skip to content
View Andful's full-sized avatar
🦀
Being memory safe
🦀
Being memory safe
Block or Report

Block or report Andful

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results
C++ 2 8 Updated Jul 10, 2024

A high performance Python graph library implemented in Rust.

Rust 972 141 Updated Jul 11, 2024

KaHIP -- Karlsruhe HIGH Quality Partitioning.

C++ 378 94 Updated Jul 1, 2024

library implementing interaction with various linear programming solvers

Rust 17 9 Updated Mar 19, 2024

Lp modeler written in Rust

Rust 96 29 Updated Mar 1, 2021

Collection of Various 3D Resources for Radxa SBCs

2 Updated Sep 28, 2021

Generate TypeScript bindings from Rust types

Rust 997 99 Updated Jul 5, 2024

Project Apicula 🐝: bitstream documentation for Gowin FPGAs

Verilog 445 63 Updated Jul 6, 2024

The Git repository for the mCRL2 toolset.

C++ 87 36 Updated Jul 10, 2024

Kiter is an iterative algorithm based on K-periodic scheduling to compute the throughput of a CSDFG.

C++ 8 4 Updated Mar 12, 2024

oneAPI Deep Neural Network Library (oneDNN)

C++ 3,521 971 Updated Jul 11, 2024

Rust library bindings to the Gurobi optimiser.

Rust 17 7 Updated Jun 20, 2024

Analyze the inference of Large Language Models (LLMs). Analyze aspects like computation, storage, transmission, and hardware roofline model in a user-friendly interface.

Python 226 25 Updated Jun 23, 2024

OpenSCAD module for an RJ45 keystone receiver / socket

OpenSCAD 15 7 Updated Mar 20, 2024
Astro 1 Updated Jun 11, 2024

A library for generating TypeScript definitions from rust code.

Rust 294 39 Updated Feb 2, 2024

An open-source static random access memory (SRAM) compiler.

Python 782 198 Updated Jul 1, 2024
Rust 1 Updated May 22, 2024
C++ 15 3 Updated Mar 29, 2024

Icarus Verilog

C++ 2,729 515 Updated Jul 9, 2024

The distributed financial transactions database designed for mission critical safety and performance.

Zig 8,856 455 Updated Jul 11, 2024

RTL, Cmodel, and testbench for NVDLA

Verilog 1,674 561 Updated Mar 2, 2022

On-device Neural Engine

C++ 413 144 Updated Jul 11, 2024

Version manager (and builder) for the Google sky130 and gf180mcu open-source PDKs

Python 58 8 Updated Jul 7, 2024

TileFlow is a performance analysis tool based on Timeloop for fusion dataflows

C++ 51 5 Updated Apr 12, 2024
C++ 1 7 Updated Jul 9, 2024

Official implementation of Generating Datasets of 3D Garments with Sewing Patterns

Python 148 22 Updated Jun 14, 2024

Library of open source Process Design Kits (PDKs)

SourcePawn 20 3 Updated Jul 9, 2024

CMSIS-DSP embedded compute library for Cortex-M and Cortex-A

C 457 122 Updated Jul 9, 2024

List of awesome semiconductor startups

Python 373 58 Updated Jul 10, 2024
Next