JetBrains Mono – the free and open-source typeface for developers

🐠 Beats - Lightweight shippers for Elasticsearch & Logstash

The memory layer for Personalized AI

Project Repo for the Simulator Independent Coverage Research

A fuzzing framework for SMT solvers

An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.

syzkaller is an unsupervised coverage-guided kernel fuzzer

Feldera Continuous Analytics Platform

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

The latest source code of the tool Flow*

Solving differential equations in Python using DifferentialEquations.jl and the SciML Scientific Machine Learning organization

Vagrant is a tool for building and distributing development environments.

The Art, Science, and Engineering of Fuzzing: A Survey

Open Source Chip Project by University (OSCPU) - Zhoushan Core

Xilinx Vivado block designs for FPGA RISC-V SoC running Debian Linux distro

Docmost is an open-source collaborative wiki and documentation software. It is an open-source alternative to Confluence and Notion.

educational microarchitectures for risc-v isa

🌌️Fuzz4All: Universal Fuzzing with Large Language Models

educational microarchitectures for risc-v isa

Open-source simulator for autonomous driving research.

use gpt for code analyzing

Traffic scenario definition and execution engine

Split large FIRRTL into separated modules for incremental compilation.

The efficient SMT-based context-bounded model checker (ESBMC)

Improve your Bilibili homepage by redesigning it, adding more features, and personalizing it to match your preferences. (English | 简体中文 | 正體中文 | 廣東話)