A Testing Framework for Lean

The math library of Lean 4

Lean 4 programming language and theorem prover

Visualise column or measure values as HTML in your Power BI reports. Intended as a spiritual successor to the OG HTML Viewer custom visual, with some extra stuff thrown in.

Wiseflow is an agile information mining tool that extracts concise messages from various sources such as websites, WeChat official accounts, social platforms, etc. It automatically categorizes and …

The most powerful and modular diffusion model GUI, api and backend with a graph/nodes interface.

A new data structure for accurate on-line accumulation of rank-based statistics such as quantiles and trimmed means

Personal finance manager

Generate Excalidraw diagrams from Mermaid

Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

Create Customized Software using Natural Language Idea (through LLM-powered Multi-Agent Collaboration)

A tool to help analyse and review your game of go (weiqi, baduk) using strong bots.

GTP engine and self-play learning in Go

A curated list of awesome GPTs in the GPT Store

The entrance repository of Markdown presentation ecosystem

Go engine with no human-provided knowledge, modeled after the AlphaGo Zero paper.

A modular graph-based Retrieval-Augmented Generation (RAG) system

TypeChat is a library that makes it easy to build natural language interfaces using types.

GenAIOps with Prompt Flow is a "GenAIOps template and guidance" to help you build LLM-infused apps using Prompt Flow. It offers a range of features including Centralized Code Hosting, Lifecycle Man…

SciPy library main repository

Python API for Deequ

Obsidian Weread Plugin is a plugin to sync Weread(微信读书) hightlights and annotations into your Obsidian Vault.

A code-first agent framework for seamlessly planning and executing data analytics tasks.

A Gradio web UI for Large Language Models.

Create LLM agents with long-term memory and custom tools 📚🦙

Robust Speech Recognition via Large-Scale Weak Supervision

Build and share delightful machine learning apps, all in Python. 🌟 Star to support our work!

Markdown Abstract Syntax Tree format

Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc.

Build high-quality LLM apps - from prototyping, testing to production deployment and monitoring.