Highlights
- Pro
Lists (18)
Sort Name ascending (A-Z)
Stars
MotionStream: Real-Time Video Generation with Interactive Motion Controls
simple IPA Client Viewer to test vpr server functionality
The easy-to-use open source Business Intelligence and Embedded Analytics tool that lets everyone work with data 📊
[ICCV 2025] SDFit: 3D Object Pose and Shape by Fitting a Morphable SDF to a Single Image
An open-source implementation of the VADL processor description language.
Depix is a PoC for a technique to recover plaintext from pixelized screenshots.
Examples discussed in the book: "Advanced FPGA design: Architecture, Implementation, and Optimization" by Steve Kilts, in System Verilog.
OpenROAD's unified application implementing an RTL-to-GDS Flow. Documentation at https://openroad.readthedocs.io/en/latest/
LangChain-Compatible Wrapper for Any Private LLM APIs
Allo: A Programming Model for Composable Accelerator Design
Safety checker for Petri Nets (and monotonic extensions)
APALACHE: symbolic model checker for TLA+ and Quint
ABC: System for Sequential Logic Synthesis and Formal Verification
Instant, easy, and predictable development environments
This repo covers the different guardrail options available in the market
[EMNLP 2025 Demo] PDF scientific paper translation with preserved formats - 基于 AI 完整保留排版的 PDF 文档全文双语翻译,支持 Google/DeepL/Ollama/OpenAI 等服务,提供 CLI/GUI/MCP/Docker/Zotero
real time face swap and one-click video deepfake with only a single image
Open-source RTL logic simulator with CUDA acceleration
Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels
Experience Operating System (XOS) that unifies marketing, sales, operations, and support — run your core business seamlessly while replacing HubSpot, Zendesk, Linear, Wix and more.
Workshop on firmware reverse engineering
Limited python / cocotb interface to Xilinx/AMD Vivado simulator.