googyouhua's repositories
3DUNDERWORLD-SLS-GPU_CPU
A structured light scanner
aNavigation
单纯就是一个导航。
Booth_Multipliers
Parameterized Booth Multiplier in Verilog 2001
Brent-Kung-Adder
Python code for genrating Brent Kung Adder in verilog(.v)
camkes
Component Architecture test suite and example apps.
camkes-manifest
Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.
camkes-tool
The main CAmkES tool
camkes-vm
Virtual Machine build as a CAmkES component.
DPFS
DPU-Powered File System Virtualization over virtio-fs
editor.md
The open source embeddable online markdown editor (component).
geeknav
网址导航，具备很酷的界面和完备的管理功能
isabelle
git mirror of the Munich isabelle hg repository
kubeasz
使用Ansible脚本安装K8S集群，介绍组件交互原理，方便直接，不受国内网络环境影响
l4v
seL4 specification and proofs
open-rdma
RoCE v2 hardware implementation using Spinal HDL
pspin
PsPIN: A RISC-V in-network accelerator for flexible high-performance low-power packet processing
seL4
The seL4 microkernel
sel4bench
sel4 benchmarking applications and support library.
sel4bench-manifest
Manifest of the seL4bench project, which contains microbenchmarks for seL4.
sel4test
Test suite for seL4.
sel4test-manifest
Project to build and test seL4 for many different platforms
sha3
SHA3 (KECCAK)
verification-manifest
Manifests for the collection of verification repositories
wavebpf
High-performance eBPF implementation in hardware.
wbpf-zynq-build
wBPF software build pipelines for Zynq-7000.