A fork of Anthropic Computer Use that you can run on Mac computers to give Claude and other AI models autonomous access to your computer.

📃 A better UX for chat, writing content, and coding with LLMs.

o1-engineer is a command-line tool designed to assist developers in managing and interacting with their projects efficiently. Leveraging the power of OpenAI's API, this tool provides functionalitie…

High accuracy RAG for answering questions from scientific documents with citations

Helper toolkit for creating your own Lean 4 UserWidgets

A pandoc LaTeX template to convert markdown files to PDF or LaTeX.

MemFree - Hybrid AI Search Engine & AI Page Generator

LlamaIndex is a data framework for your LLM applications

The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery 🧑‍🔬

A series of math-specific large language models of our Qwen2 series.

Open Source research tool to search, browse, analyze and explore large document collections by Semantic Search Engine and Open Source Text Mining & Text Analytics platform (Integrates ETL for docum…

Lean documentation authoring tool

An AI personal tutor built with Llama 3.1

Collection of leaked system prompts

LLM101n: Let's build a Storyteller

plasTeX plugin to build formalization blueprints.

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

An introduction to theorem proving in Lean for the impatient.

Code and data of We-Math

Perplexica is an AI-powered search engine. It is an Open source alternative to Perplexity AI

State-of-the-art bilingual open-sourced Math reasoning LLMs.

Lean theorem proving interface which feels like pen-and-paper proofs.

Language model alignment-focused deep learning curriculum

An AI search engine inspired by Perplexity

Build a Perplexity-Inspired Answer Engine Using Next.js, Groq, Llama-3, Langchain, OpenAI, Upstash, Brave & Serper