A lightweight reimplementation of the OpenCyc ontology system. This project aims to replicate most of OpenCyc's functionality and data while remaining reasonably simple to use, efficient, and with …

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

Formal Reasoning About Programs

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 develo…

Implement a ChatGPT-like LLM in PyTorch from scratch, step by step

Hamilton helps data scientists and engineers define testable, modular, self-documenting dataflows, that encode lineage/tracing and metadata. Runs and scales everywhere python does.

A framework for few-shot evaluation of language models.

Home of StarCoder2!

Home of StarCoder: fine-tuning & inference!

Large Language Model Text Generation Inference

Fast and memory-efficient exact attention

Supervised instruction finetuning for LLM with HF trainer and Deepspeed

Supercharge Your LLM Application Evaluations 🚀

Fast, streaming indexing, query, and agentic LLM applications in Rust

3D Visualization of an GPT-style LLM

BertViz: Visualize Attention in NLP Models (BERT, GPT2, BART, etc.)

Hands-On Graph Neural Networks Using Python, published by Packt

Curated list of datasets and tools for post-training.

Inference Llama 2 in one file of pure C

Visual analysis and diagnostic tools to facilitate machine learning model selection.

Resources for working with time series and sequence data

A professionally curated list of awesome resources (paper, code, data, etc.) on transformers in time series.

This curated list contains python packages for time series analysis

Time Series Forecasting Best Practices & Examples

Lightning ⚡️ fast forecasting with statistical and econometric models.

Gathers machine learning and deep learning models for Stock forecasting including trading bots and simulations