GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.

Port of OpenAI's Whisper model in C/C++

DuckDB is an analytical in-process SQL database management system

Distribute and run LLMs with a single file.

MLX: An array framework for Apple silicon

Tensor library for machine learning

The Z3 Theorem Prover

TensorRT-LLM provides users with an easy-to-use Python API to define Large Language Models (LLMs) and build TensorRT engines that contain state-of-the-art optimizations to perform inference efficie…

Algorithm and data structure articles for https://cp-algorithms.com (based on http://e-maxx.ru)

High-speed Large Language Model Serving for Local Deployment

a lighter, faster browser kernel of blink to integrate HTML UI in your app. 一个小巧、轻量的浏览器内核，用来取代wke和libcef

Turbopilot is an open source large-language-model based code completion engine that runs locally on CPU

A basic introduction to coding in modern C++.

A DuckDB extension to read data directly from databases supporting the ODBC interface

A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop

General purpose aggregator using recursive composition of SNARKs: https://arxiv.org/abs/2008.05958