powergiant

CoLLiE

Collaborative Training of Large Language Models in an Efficient Way

courses

This repository is a curated collection of links to various courses and resources about Artificial Intelligence (AI)

Paddle

PArallel Distributed Deep LEarning: Machine Learning Framework from Industrial Practice （『飞桨』核心框架，深度学习&机器学习高性能单机、分布式训练和跨平台部署）

zulip

Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

awesome-instruction-dataset

A collection of open-source dataset to train instruction-following LLMs (ChatGPT,LLaMA,Alpaca)

paxml

Pax is a Jax-based machine learning framework for training large scale models. Pax allows for advanced and fully configurable experimentation and parallelization, and has demonstrated industry leading model flop utilization rates.

differentiable-idris

dependent types meets deep learning

tensorflow-haskell-deptyped

Reexporting TensorFlow Haskell with dependent typed functions

MegEngine

MegEngine 是一个快速、可拓展、易于使用且支持自动求导的深度学习框架

Baichuan-13B

A 13B large language model developed by Baichuan Intelligent Technology

Baichuan-7B

A large-scale 7B pretraining language model developed by BaiChuan-Inc.

Baichuan2

A series of large language models developed by Baichuan Intelligent Technology

neuronika

Tensors and dynamic neural networks in pure Rust.

tch-rs

Rust bindings for the C++ api of PyTorch.

graphcast

dfa-torch

Training neural networks with back-prop, feedback-alignment and direct feedback-alignment

dropexp

This repo is to drop my experiment results.

HackCV-Translate

HackCV网站文章翻译

practical-nlp-code

Official Repository for Code associated with 'Practical Natural Language Processing' book by O'Reilly Media

PulsarRPA

Automate webpages at scale, scrape web data completely and accurately with high performance, distributed AI-RPA.

typst

A new markup-based typesetting system that is powerful and easy to learn.

generative_agents

Generative Agents: Interactive Simulacra of Human Behavior

symbolicai

Compositional Differentiable Programming Library

Finetune_LLAMA

简单易懂的LLaMA微调指南。

lean-gptf

Interactive neural theorem proving in Lean

BrouwerFixedPoint

normalization-bench

Lambda normalization and conversion checking benchmarks for various implementations

normalization-bench

Benchmarking various normalization algorithms for the lambda calculus

pruning-tutor

a tutorial implementation on an elaborator of a dependently typed language with pruning

LeanDojo

Tool for data extraction and interacting with Lean programmatically.