wingsreal Goto Github PK

alphamed.github.io

book

A textbook on informal homotopy type theory

catalyst

A JIT compiler for hybrid quantum programs in PennyLane

chromium

The official GitHub mirror of the Chromium source

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

graph-of-thoughts

Based on the tree of thoughts paper

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

mars.ingenuity

megatron-lm

Ongoing research training transformer models at scale

pennylane

PennyLane is a cross-platform Python library for differentiable programming of quantum computers. Train a quantum computer the same way as a neural network.

qlib

Qlib is an AI-oriented quantitative investment platform that aims to realize the potential, empower research, and create value using AI technologies in quantitative investment, from exploring ideas to implementing productions. Qlib supports diverse machine learning modeling paradigms. including supervised learning, market dynamics modeling, and RL.

tree-of-thought-llm

Official Implementation of "Tree of Thoughts: Deliberate Problem Solving with Large Language Models"

triton

Development repository for the Triton language and compiler