desi-ivanov

llama.cpp

LLM inference in C/C++

segment-anything

The repository provides code for running inference with the SegmentAnything Model (SAM), links for downloading the trained model checkpoints, and example notebooks that show how to use the model.

DragGAN

Official Code for DragGAN (SIGGRAPH 2023)

fairseq

Facebook AI Research Sequence-to-Sequence Toolkit written in Python.

OpenVoice

Instant voice cloning by MIT and MyShell.

tinygrad

You like pytorch? You like micrograd? You love tinygrad! ❤️

ChatDev

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

generative-models

Generative Models by Stability AI

llm.c

LLM training in simple, raw C/CUDA

audiocraft

Audiocraft is a library for audio processing and generation with deep learning. It features the state-of-the-art EnCodec audio compressor / tokenizer, along with MusicGen, a simple and controllable music generation LM with textual and melodic conditioning.

llama2.c

Inference Llama 2 in one file of pure C

StableLM

StableLM: Stability AI Language Models

candle

Minimalist ML framework for Rust

SWE-agent

SWE-agent takes a GitHub issue and tries to automatically fix it, using GPT-4, or your LM of choice. It solves 12.47% of bugs in the SWE-bench evaluation set and takes just 1 minute to run.

the-algorithm-ml

Source code for Twitter's Recommendation Algorithm

latent-consistency-model

Latent Consistency Models: Synthesizing High-Resolution Images with Few-Step Inference

Text2Video-Zero

[ICCV 2023 Oral] Text-to-Image Diffusion Models are Zero-Shot Video Generators

hotscript

A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already know.

gigagan-pytorch

Implementation of GigaGAN, new SOTA GAN out of Adobe. Culmination of nearly a decade of research into GANs

TokenFlow

Official Pytorch Implementation for "TokenFlow: Consistent Diffusion Features for Consistent Video Editing" presenting "TokenFlow" (ICLR 2024)

mathlib4

The math library of Lean 4

keras-core

A multi-backend implementation of the Keras API, with support for TensorFlow, JAX, and PyTorch.

hidet

An open-source efficient deep learning framework/compiler, written in python.

autobound

AutoBound automatically computes upper and lower bounds on functions.

perfusion-pytorch

Implementation of Key-Locked Rank One Editing, from Nvidia AI

med-seg-diff-pytorch

Implementation of MedSegDiff in Pytorch - SOTA medical segmentation using DDPM and filtering of features in fourier space

rzk

An experimental proof assistant based on a type theory for synthetic ∞-categories.

litter

algebraic-temporal-logics

Semantics of counterpart-based quantified (linear) temporal logics in Agda

programming-in-ct

Lecture notes for the lab sessions of the "Category Theory and its Applications" course 2024 @ Tallinn University of Technology