Pictorus-Labs / pictorus-rsLinks
Pictorus Rust libraries
☆18Updated last week
Alternatives and similar repositories for pictorus-rs
Users that are interested in pictorus-rs are comparing it to the libraries listed below
Sorting:
- Analog Circuit Simulator☆21Updated 11 months ago
- Unofficial clang WebAssembly packages☆17Updated last year
- Retargetable ML compilers for the twenty-first century!☆13Updated 3 months ago
- The Basil pipeline for concurrent information flow analysis in AArch64 binaries.☆13Updated this week
- Blazingly fast, modern C++ API using coroutines for efficient RTL verification and co-simulation via the VPI interface☆12Updated 4 months ago
- ☆12Updated this week
- ☆12Updated 3 months ago
- Prototype for a SPIR-V assembler and dissasembler. It provides a composable Java interface for generating SPIR-V code at runtime.☆14Updated last year
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆85Updated this week
- Repository for the HARDENS project☆25Updated 8 months ago
- A julia package to either fit the parameters of a specified equivalent electrical circuit to electrochemical impedance data, or to sugges…☆26Updated 6 months ago
- Top level CedarEDA integration package☆27Updated 9 months ago
- A tool for formally verifying constant-time software against hardware 🕰️☆12Updated 6 months ago
- high abstraction synthesis☆12Updated last year
- MLIR tools and dialect for GraphBLAS☆18Updated 3 years ago
- Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"☆16Updated 2 months ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆71Updated last week
- Julia library to manipulate MLIR dialects.☆61Updated 6 months ago
- Lorenz attraction app in Julia compiled to WebAssembly☆20Updated 2 years ago
- Sail code model of the CHERIoT ISA☆41Updated 3 weeks ago
- A new Hardware Design Language that keeps you in the driver's seat☆114Updated last week
- ☆23Updated last week
- Julia implementation of LULESH with MPI + X.☆13Updated 3 years ago
- Fork of Enzyme to work on Reverse-Mode Differentiation at the MLIR-level.☆11Updated 2 years ago
- An MLIR-based source-to-source automatic differentiation system.☆14Updated 2 years ago
- Julia scripting OpenModelica interface☆41Updated 11 months ago
- A Julia interface to ADIOS2☆15Updated last month
- ☆23Updated 2 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Updated 4 months ago
- IP prototyping in FPGA hardware☆18Updated 6 years ago