Starred repositories
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…
《动手学大模型Dive into LLMs》系列编程实践教程
Code2Inv: Learning Loop Invariants for Program Verification
A standalone local search solver for general mixed integer programming
RISC-V Supervisor Binary Interface (RISC-V SBI) library in Rust; runs on M or HS mode; good support for embedded Rust ecosystem. For binary download see prototyper folder.
Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024
iic-jku / IIC-OSIC-TOOLS
Forked from efabless/foss-asic-toolsIIC-OSIC-TOOLS is an all-in-one Docker image for SKY130/GF180/IHP130-based analog and digital chip design. AMD64 and ARM64 are natively supported.
SmoothE: Differentiable E-Graph Extraction (ASPLOS'25 Best Paper)
Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server
An open-source AI agent that brings the power of Gemini directly into your terminal.
📚LeetCUDA: Modern CUDA Learn Notes with PyTorch for Beginners🐑, 200+ CUDA Kernels, Tensor Cores, HGEMM, FA-2 MMA.🎉
A verification tool for ensuring parallelization equivalence in distributed model training.
A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.
Dafny is a verification-aware programming language
SWE-agent takes a GitHub issue and tries to automatically fix it, using your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges. [NeurIPS 2024]
Cost-efficient and pluggable Infrastructure components for GenAI inference
2025 SAT Competition Main Track and Satisfiability Track Double Champion
For EDA xiakedao competition 2024 (https://xiakedao.eda2.com/competitions/268885b5-7419-4378-8404-006c0817e6c6/rule)