The Agda standard library
A full-featured, hackable tiling window manager written in Python
Toolkit for conversational AI
Code for Cicero, an AI agent that plays the game of Diplomacy
State-of-the-art Image & Video CLIP, Multimodal Large Language Models
Browse the web, directly from Cursor etc.
Train a 26M-parameter GPT from scratch in just 2h
Witness the aha moment of VLM with less than $3
Interact with your SQL database, Natural Language to SQL using LLMs
Evaluation suite designed to assess the performance of LLMs
Implementation of RLHF (Reinforcement Learning with Human Feedback)
File Parser optimised for LLM Ingestion with no loss
Building applications with LLMs through composability
State-of-the-art Parameter-Efficient Fine-Tuning
User toolkit for analyzing and interfacing with Large Language Models
Pythonic Smart Contract Language for the EVM
Interactive Nim shell / REPL / Playground
Non-Pydantic, Non-JSON Schema, efficient AutoPrompting
Complete Kotlin-stack (Backend + Android) application
A Julia framework for invertible neural networks
Julia bindings for various mathematical libraries (including flint2)
Utility library for working with CSV and other delimited files
A fast Go implementation of the Jekyll blogging engine
YiYiYa
A coding-free framework built on PyTorch