Stars
A programming language for writing constraint-based integrated circuit layout generators
experiments with match types and type-level programming
work in progress, playing around with btor2 in rust
Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server
Allows to read Scaladoc at runtime by embedding as annotation by the compiler plugin.
🦀 No-nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl
Random instruction generator for RISC-V processor verification
CLI and Rust libraries for low-level manipulation of WebAssembly modules
⬛️ CLI tool and library for saving complete web pages as a single HTML file
A PULP SoC for education, easy to understand and extend with a full flow for a physical design.
wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.
A eDSL framework based on Scala and MLIR, focusing on the Hardware design.
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
A collection of out-of-tree LLVM passes for teaching and learning
Physical based rendering with Vulkan using glTF 2.0 models
The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
Multi-platform GPGPU computations with Scala, seamlessly 🚀
A configuration as code language with rich validation and tooling.
Neural network emulator for guitar amplifiers.
Modular, extensible and distro-agnostic Neovim configuration framework for Nix/NixOS