Mailing list style code reviews for github

Full Text Search Engine written in Go

Helps run tests in virtual machines

[ICML 2021] DouZero: Mastering DouDizhu with Self-Play Deep Reinforcement Learning | 斗地主AI

Verification of BPF JIT compilers

Woboq CodeBrowser

simples 是一个使用 Apple Notes 构建的blog小工具，我使用PyQt + Golang 构建

SystemVerilog frontend for Yosys

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

OpenSCAD - The Programmers Solid 3D CAD Modeller

A document color language server.

Static Analyser for C

High-level tracing language for Linux

A set of scripts to build LLVM and binutils

Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

Yosys Open SYnthesis Suite

SRI Yices SMT Solver

Multi-platform nightly builds of open source digital design and verification tools

A community-maintained Python framework for creating mathematical animations.

🌊 Digital timing diagram rendering engine

A smithy for rusty wayland compositors

🔍 Tiny, full-text search engine for static websites built with Rust and Wasm

Build and host decentralized blogs and websites on your Mac

PostgreSQL tokenizer extension for full-text search

A Postgres DestReceiver implementation that renders query results in a box format, inspired by DuckDB's box renderer. It is meant to be used under the single-user mode as it writes to stdout.

A Tiny Linux-Compatible Kernel

syzkaller is an unsupervised coverage-guided kernel fuzzer

The native Clojure dialect hosted on LLVM with seamless C++ interop.