kirajun's Stars
sourcegraph/sourcegraph-public-snapshot
Code AI platform with Code Search & Cody
open-traffic-generator/ixia-c
Ixia-c Traffic Generator
riscv-software-src/riscv-isa-sim
Spike, a RISC-V ISA Simulator
chipsalliance/VeeR-ISS
mattermost-community/mattermost-plugin-agenda
Mattermost plugin to handle meeting agendas
qinyuhang/ShadowsocksX-NG-R
Next Generation of ShadowsocksX
bigdongdongCLUB/hello-world
firecracker-microvm/firecracker
Secure and fast microVMs for serverless computing.
rare-freertr/RARE-bmv2
RARE for P4Lang bmv2 dataplane target
googleinterns/p4-symbolic
dragosdmtrsc/bf4
nplang/NPL-Tutorials
NPL Language tutorials
jgraph/drawio
draw.io is a JavaScript, client-side editor for general diagramming.
p4lang/behavioral-model
The reference P4 software switch
openai/gym
A toolkit for developing and comparing reinforcement learning algorithms.
p4lang/p4c
P4_16 reference compiler
andrei8055/p4-compiler-fuzzer
P4 compiler fuzzer
tektoncd/pipeline
A cloud-native Pipeline resource.
ccfos/nightingale
An all-in-one observability solution which aims to combine the advantages of Prometheus and Grafana. It manages alert rules and visualizes metrics, logs, traces in a beautiful web UI.
exacity/deeplearningbook-chinese
Deep Learning Book Chinese Translation
google/sanitizers
AddressSanitizer, ThreadSanitizer, MemorySanitizer
GNS3/gns3-server
GNS3 server
alibaba/p3c
Alibaba Java Coding Guidelines pmd implements and IDE plugin
goplus/gop
The Go+ programming language is designed for engineering, STEM education, and data science. Our vision is to enable everyone to become a builder of the digital world.
LucasMFreire/assert-p4
apache/superset
Apache Superset is a Data Visualization and Data Exploration Platform
michaelbrewerdavis/gerrit-mobile
Web view of gerrit code review optimized for smartphones.
Z3Prover/z3
The Z3 Theorem Prover
stratum/testvectors
Collection of TestVectors test cases
stratum/testvectors-runner
Runner for TestVectors test cases