Using Large Language Models for Repo-wide Type Prediction
☆113Dec 10, 2023Updated 2 years ago
Alternatives and similar repositories for opentau
Users that are interested in opentau are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [Astronomical Journal 2024] Efficient Point-spread Function Modeling with ShOpt.jl: A PSF Benchmarking Study with JWST NIRCam Imaging☆25Oct 22, 2024Updated last year
- Erica will always know your context because she can see everything on your screen.☆15May 21, 2023Updated 2 years ago
- A hard gym for programming☆166Jul 7, 2024Updated last year
- [NeurIPS 2023] Reflexion: Language Agents with Verbal Reinforcement Learning☆3,122Jan 14, 2025Updated last year
- Clustered Compositional Embeddings☆12Oct 25, 2023Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆13Aug 29, 2023Updated 2 years ago
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 3 months ago
- Groq-powered MAD: The first work to explore Multi-Agent Debate with Large Language Models :D☆12Jul 5, 2024Updated last year
- Evaluation results of code generation LLMs☆31Sep 1, 2023Updated 2 years ago
- A multi-programming language benchmark for LLMs☆301Updated this week
- ☆14Mar 3, 2025Updated last year
- GPT-3 chatbot/scripting from the terminal command-line.☆10Nov 19, 2023Updated 2 years ago
- ☆40Mar 25, 2023Updated 3 years ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆22Nov 20, 2025Updated 4 months ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Gather directory contents into a single upload for ChatGPT☆22Sep 6, 2023Updated 2 years ago
- Incremental View Maintenance for Python backends☆21Jan 11, 2024Updated 2 years ago
- Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"☆39Dec 20, 2025Updated 3 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆30Aug 30, 2022Updated 3 years ago
- My custom modified theme Amber2 for Windows Terminal.☆24Jun 13, 2024Updated last year
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- Pack a local or remote Git Repository into a single XML file for LLM Consumption. Written in Rust.☆24Apr 8, 2026Updated last week
- ☆20Jun 16, 2023Updated 2 years ago
- ☆32Feb 1, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Some patterns I use while developing LiveView applications☆13Mar 4, 2023Updated 3 years ago
- The simple, fast, and scalable code generator that lives in your project.☆14Sep 3, 2025Updated 7 months ago
- Find awesome tooling built for Elixir's Livebook Interactive Notebooks☆12Sep 3, 2024Updated last year
- Click-to-component functionality for LiveView apps.☆13Oct 18, 2023Updated 2 years ago
- Monorepo blueprint for developer platform☆11Dec 22, 2025Updated 3 months ago
- Import Figma designs in React code☆12Jan 6, 2023Updated 3 years ago
- ☆54Aug 22, 2025Updated 7 months ago
- 👩💻 API generator that lets you write code as if you had serverside eval on the client☆16Oct 26, 2023Updated 2 years ago
- A Livebook Kino for learning how to use the kubereq Elixir library☆14Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 🦌 Deep Retention, Winner @ Calhacks ✨🌠☆10Oct 26, 2024Updated last year
- This repository contains a boilerplate for creating a custom GPT actions API using FastAPI.☆12Jan 13, 2024Updated 2 years ago
- ☆16Feb 27, 2026Updated last month
- The Open Telemetry integration for Ash Framework☆15Apr 2, 2026Updated 2 weeks ago
- Slidev theme to create LinkedIn carousels☆22Apr 8, 2026Updated last week
- 📦 Cerebro plugin for applications search and launch on windows and linux☆12Aug 27, 2022Updated 3 years ago
- JAX bindings for the flash-attention3 kernels☆22Jan 2, 2026Updated 3 months ago