-
Zhejiang University
Highlights
- Pro
Stars
An annotation extension based on pdf.js viewer. supporting embedding annotations for PDF printing and downloading.
💎 Amber the programming language compiled to Bash
A cloud-based code editing environment with an AI copilot and real-time collaboration
A framework for formally verifying distributed systems implementations in Coq
Count heading numbers in Obsidian
Javascript library for creating annotations in PDF documents
Wrapper for PDF JS to add annotations
DPI module for Ethernet-based interaction with Verilator simulations
Fast, collaborative live terminal sharing over the web
PDK installer for open-source EDA tools and toolchains. Distributed with setups for the SkyWater 130nm and Global Foundries 180nm open processes.
你管这破玩意叫操作系统源码 — 像小说一样品读 Linux 0.11 核心代码
DMA attacks over PCI Express based on Xilinx Zynq-7000 series SoC
In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer Authentication
RISC-V Guide. Learn all about the RISC-V computer architecture along with the Development Tools and Operating Systems to develop on RISC-V hardware.
RetDec is a retargetable machine-code decompiler based on LLVM.
All the tools you need to reproduce the CellIFT paper experiments
A new markup-based typesetting system that is powerful and easy to learn.