Lists (15)
Starred repositories
cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…
slotd is a lightweight, Rust-based job scheduler inspired by Slurm, designed for single-node, single-user workloads.
SystemVerilog compiler and language services
DN_SuperBook_PDF_Converter - スキャン書籍 PDF をデジタル書籍並みに大変クリアに読みやすくする AI PDF 高品質化・各種調整ツール
OpenROAD's unified application implementing an RTL-to-GDS Flow. Documentation at https://openroad.readthedocs.io/en/latest/
A curated list of awesome Rust checkers
Programming books don’t have to be boring. Or polite.
A Model Context Protocol (MCP) server that provides access to the Protein Data Bank (PDB) - the worldwide repository of information about the 3D structures of proteins, nucleic acids, and complex a…
A set of ready to use Agent Skills for research, science, engineering, analysis, finance and writing.
Low Level Graphics Library (LLGL) is a thin abstraction layer for the modern graphics APIs OpenGL, Direct3D, Vulkan, and Metal
A terminal application that simulates installing things but doesn't actually install anything
VPSim is a digital architecture design environment used to speed up design space exploration (DSE) through simulation and rapid validation. https://list.cea.fr/en/page/vpsim-explore-simulate-and-va…
Open-source RTL logic simulator with CUDA acceleration
3D fluid simulation experiments in Rust, using WebGPU-rs (WIP)
A web-based collaborative LaTeX editor
DSPy: The framework for programming—not prompting—language models
A next-generation C++ language server for modern C++, focused on high performance and deep code intelligence
Provides dot visualizations of chisel/firrtl circuits
Paper list for equivariant neural network
Reasoning LLMs optimized for Chisel code generation
A fast static site generator in a single binary with everything built-in. https://www.getzola.org
An open-source AI agent that brings the power of Gemini directly into your terminal.
An MCP (Model Context Protocol) server that allows AI assistants to ask questions to humans via Discord.
Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.