Brando Miranda's starred repositories

AutoGPT

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

Language:PythonLicense:MITStargazers:166694Issues:1554Issues:2653

nanoGPT

The simplest, fastest repository for training/finetuning medium-sized GPTs.

Language:PythonLicense:MITStargazers:36287Issues:368Issues:315

stanford_alpaca

Code and documentation to train Stanford's Alpaca models, and generate the data.

Language:PythonLicense:Apache-2.0Stargazers:29361Issues:339Issues:267

LLMs-from-scratch

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

Language:Jupyter NotebookLicense:NOASSERTIONStargazers:27127Issues:299Issues:86

marker

Convert PDF to markdown quickly with high accuracy

Language:PythonLicense:GPL-3.0Stargazers:16517Issues:73Issues:221

ivy

Convert Machine Learning Code Between Frameworks

Language:PythonLicense:NOASSERTIONStargazers:14021Issues:70Issues:16886

language-server-protocol

Defines a common protocol for language servers.

Language:HTMLLicense:CC-BY-4.0Stargazers:11117Issues:262Issues:1113

nougat

Implementation of Nougat Neural Optical Understanding for Academic Documents

Language:PythonLicense:MITStargazers:8771Issues:63Issues:209

open_llama

OpenLLaMA, a permissively licensed open source reproduction of Meta AI’s LLaMA 7B trained on the RedPajama dataset

x-transformers

A concise but complete full-attention transformer with a set of promising experimental features from various papers

Language:PythonLicense:MITStargazers:4587Issues:51Issues:210

rift

Rift: an AI-native language server for your personal AI software engineer

Language:PythonLicense:Apache-2.0Stargazers:3076Issues:29Issues:87

direct-preference-optimization

Reference implementation for DPO (Direct Preference Optimization)

Language:PythonLicense:Apache-2.0Stargazers:2032Issues:19Issues:80

mup

maximal update parametrization (µP)

Language:Jupyter NotebookLicense:MITStargazers:1340Issues:29Issues:61

evalplus

Rigourous evaluation of LLM-synthesized code - NeurIPS 2023

Language:PythonLicense:Apache-2.0Stargazers:1152Issues:7Issues:176

alpaca_farm

A simulation framework for RLHF and alternatives. Develop your RLHF method without collecting human data.

Language:PythonLicense:Apache-2.0Stargazers:762Issues:8Issues:42

LeanDojo

Tool for data extraction and interacting with Lean programmatically.

Language:PythonLicense:MITStargazers:541Issues:13Issues:61

parsel

Code for Parsel 🐍 - generate complex programs with language models

SciLean

Scientific computing in Lean 4

Language:LeanLicense:Apache-2.0Stargazers:298Issues:17Issues:33

yatima

A zero-knowledge Lean4 compiler and kernel

Language:LeanLicense:MITStargazers:114Issues:9Issues:115

Portal-to-ISAbelle

https://albertqjiang.github.io/Portal-to-ISAbelle/

Language:PythonLicense:BSD-3-ClauseStargazers:50Issues:4Issues:6

tacheles

a lightweight, open-source blueprint for building powerful and scalable LLM chat applications

Language:JavaScriptLicense:Apache-2.0Stargazers:30Issues:3Issues:0
Language:LeanLicense:Apache-2.0Stargazers:26Issues:0Issues:0

lm-evaluation-harness

A framework for few-shot evaluation of autoregressive language models.

Language:PythonLicense:MITStargazers:23Issues:2Issues:0

ultimate-anatome

Ἀνατομή is a PyTorch library to analyze representation of neural networks

Language:PythonLicense:MITStargazers:11Issues:3Issues:8

ultimate-utils

Brando's utils

Language:PythonLicense:MITStargazers:11Issues:6Issues:11
Language:PythonLicense:Apache-2.0Stargazers:9Issues:0Issues:0

UnicodeSkipListTable

A library to create and use Unicode tables based on the skip list data structure.

Language:LeanLicense:Apache-2.0Stargazers:6Issues:0Issues:0

UnicodeSkipListTableExample

A library that shows how to use the Unicode skip list tables generation tool to create a table to test if a codepoint is numeric.

Language:LeanLicense:Apache-2.0Stargazers:6Issues:0Issues:0

Why-Has-Predicting-Downstream-Capabilities-Remained-Elusive

Code for Preprint: Why Has Predicting Downstream Capabilities of Frontier AI Models with Scale Remained Elusive?

Language:PythonStargazers:3Issues:1Issues:0
Language:LeanLicense:Apache-2.0Stargazers:1Issues:2Issues:0