Generative Agents: Interactive Simulacra of Human Behavior

WHAT IF characters playing soccer in Changing Planes?

Theorem proving in Lean

A homework assignment for Georgia Tech's NLP Online Course

Dear Jasmine: Wish you always joy and happiness in your dream.

Code to accompany "A Method for Animating Children's Drawings of the Human Figure"

Using emoji programming language and babyGPT to make an emojiPT

It's time for Hyperion Reloaded

Fast and simple OCR library written in Swift

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.

"Magic mirror, magic mirror, Meow"

Nightly builds

Resource gathering + programming game

a truly censorship-resistant alternative to Twitter that has a chance of working

using lean and llvm to compile any script language to native code

[NeurIPS'22] Cross Aggregation Transformer for Image Restoration

Lean 4 programming language and theorem prover

Lean's LinkSDK for iOS

AI for landlord, using lean

Code for Cicero, an AI agent that plays the game of Diplomacy with open-domain natural language negotiation.

「桃李春风一杯酒，江湖夜雨十年灯」

Lean 3's obsolete mathematical components library: please use mathlib4

IMO Grand Challenge for Artificial Intelligence

Stable Diffusion with Core ML on Apple Silicon

The Official PyTorch Implementation for Face2Face^ρ (ECCV2022)

Your self-hosted, globally interconnected microblogging community

Javascript/WebGL lightweight face tracking library designed for augmented reality webcam filters. Features : multiple faces detection, rotation, mouth opening. Various integration examples are prov…

Official repo of Text-Free Learning of a Natural Language Interface for Pretrained Face Generators

Efficient face emotion recognition in photos and videos