RISC-V Formal Verification Framework

Building script for tree-sitter language definitions

On the fly syntax checking for GNU Emacs

Helps run tests in virtual machines

The LLVM Compiler Infrastructure

BPF CI

Yosys Open SYnthesis Suite

AKShare is an elegant and simple financial data interface library for Python, built for human beings! 开源财经数据接口库

USB utilities for Linux, including lsusb

DocumentDB is the open-source engine powering vCore-based Azure Cosmos DB for MongoDB. It offers a native implementation of document-oriented NoSQL database, enabling seamless CRUD operations on BS…

🔮 A refreshing functional take on deep learning, compatible with your favorite libraries

Small footprint and configurable embedded FPGA logic analyzer

Build your hardware, easily!

🖥️ A small, customizable and extensible MCU-class 32-bit RISC-V soft-core CPU and microcontroller-like SoC written in platform-independent VHDL.

An adaptation of the PostgreSQL DBT adapter for Tanzu Greenplum

Python module containing data files for picolibc software (for use with LiteX).

Source of BLAS and LAPACK via OpenBLAS

Build Postgres Extensions with Rust!

PostgreSQL database adapter for the Python programming language

Low-latency machine code generation

glrnvim wraps nvim with your favourite terminal into a standalone, non-fancy but daily-usable neovim GUI.

Open-source vector similarity search for Postgres