An Open Source Machine Learning Framework for Everyone

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

Caffe: a fast open framework for deep learning.

A library that provides an embeddable, persistent key-value store for fast storage.

MySQL Server, the world's most popular open source database, and MySQL Cluster, a real-time, open source transactional database.

《算法导论》第三版中算法的C++实现

A Toolkit for Industrial Topic Modeling

🐒LeetCode、剑指Offer刷题笔记（C/C++、Python3实现）

剖析 STL 是一种享受的过程！

Privacy-Preserving Computing Platform 由密码学专家团队打造的开源隐私计算平台，支持多方安全计算、联邦学习、隐私求交、匿踪查询等。

A minimalistic and high-performance SAT solver

A highly optimized LLM inference acceleration engine for Llama and its variants.

An advanced SAT solver

Caffe_Code_Analysis

Tiny STL based on SGI STL

SGI(Silicon Graphics Computer Systems, Inc.) implement STL(C++ Standard Libirary).

Simple program to learn CNN (LeNet-5) in pure C

🎨冒泡排序；直接插入排序；希尔排序；快速排序；堆排序；归并排序；基数排序

The Annotated SGI STL Sources

Solutions for "Thinking in C++, 2nd edition". [C++]

《剑指Offer》第二版源代码及相关学习笔记~

Quantum-inspired evolutionary algorithms for Optimization problems

A collection of utility programs in MATLAB for use on Complex Networks

Tensor Belief Propagation - algorithm for approximate inference in discrete graphical models

CGraph is a tool for translating CNF formulas in DIMACS format into variable incidence graphs in GraphML format.

modulAr tooL for fInding bAckdoors for Sat (ALIAS)

C++ Projects

Variations on Sum-Product algorithm from PhD research.

Simple Random 3-SAT solver in C++. 2015.