Parse, inspect, transform, and serialize content with syntax trees

tagInternet官网地址

LLMs as Copilots for Theorem Proving in Lean

Conversational RPA SDK for Chatbot Makers. Join our Discord: https://discord.gg/7q8NBZbQzt

Awesome machine learning for combinatorial optimization papers.

A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4 and more

Render LaTeX and TikZ diagrams in your notes

A modern commutative diagram editor for the web.

Animation engine for explanatory math videos

A C++ header-only HTTP/HTTPS server and client library

JSON for Modern C++

BS::thread_pool: a fast, lightweight, modern, and easy-to-use C++17 / C++20 / C++23 thread pool library

Encoder-decoder based generative networks for static and transient thermal analysis

Must-read papers on Graph Neural Networks (GNNs) for Integrated Circuits (ICs) design, security and reliability.

長い道のりがある

redis-cpp is a header-only library in C++17 for Redis (and C++11 backport)

♟️ Deploy a AI five-in-a-row game. Including front-end, back-end & deep RL code. 基于 vue3 与 flask 部署的强化学习五子棋 AlphaGo 实践。

Reverb is an efficient and easy-to-use data storage and transport system designed for machine learning research

Deep Reinforcement Learning with Python, Second Edition, published by Packt

METIS - Serial Graph Partitioning and Fill-reducing Matrix Ordering

Macro Placement - benchmarks, evaluators, and reproducible results from leading methods in open source

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

SD-Trainer. LoRA & Dreambooth training scripts & GUI use kohya-ss's trainer, for diffusion model.

The hacker's browser.

A free standard cell library for SDDS-NCL circuits

Innovus backend scripts

Cardinal NIC and Chip Multiprocessor

reference block design for the ASAP7nm library in Cadence Innovus