Using Large Language Models for Repo-wide Type Prediction
☆120Dec 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:
- A hard gym for programming☆173Jul 7, 2024Updated 2 years ago
- Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions☆51Sep 13, 2025Updated last year
- [NeurIPS 2023] Reflexion: Language Agents with Verbal Reinforcement Learning☆3,285Jan 14, 2025Updated last year
- Evaluation results of code generation LLMs☆32Sep 1, 2023Updated 3 years ago
- ☆12May 20, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Clustered Compositional Embeddings☆13Oct 25, 2023Updated 2 years ago
- ☆13Aug 29, 2023Updated 3 years ago
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 8 months ago
- Output high level Pcode (PcodeAST) in Ghidra☆18Apr 7, 2023Updated 3 years ago
- ☆12Feb 7, 2025Updated last year
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆22Nov 20, 2025Updated 10 months ago
- Celo Light Client (IBC compatible)☆16Feb 4, 2022Updated 4 years ago
- Gather directory contents into a single upload for ChatGPT☆22Sep 6, 2023Updated 3 years ago
- Distributed multi-agent framework for event-driven, graph-based computation. Elixir/Python, NATS event streaming, modular operator/XCS ar…☆14Mar 25, 2026Updated 6 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Discord integration for Livebook☆17Jan 20, 2023Updated 3 years ago
- ☆22Jun 3, 2019Updated 7 years ago
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆16Jun 6, 2026Updated 3 months ago
- Official MegEngine Implementation of Real-Time Intermediate Flow Estimation for Video Frame Interpolation☆30Jul 14, 2022Updated 4 years ago
- Some patterns I use while developing LiveView applications☆13Mar 4, 2023Updated 3 years ago
- ☆20Jun 16, 2023Updated 3 years ago
- Smart reproducible analytical pipeline inspection☆21Feb 13, 2026Updated 7 months ago
- ☆19Mar 25, 2025Updated last year
- Collection of Curated Tools for Creators, Entrepreneurs, and Indie Hackers, to get to market faster and take your business to the next le…☆15Nov 8, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆32Aug 30, 2022Updated 4 years ago
- Click-to-component functionality for LiveView apps.☆13Oct 18, 2023Updated 2 years ago
- This implements the python subprocess.communicate tool for rust☆13Nov 14, 2016Updated 9 years ago
- A Livebook Kino for learning how to use the kubereq Elixir library☆14Updated this week
- Python client for Google Kaniko☆11Jul 19, 2022Updated 4 years ago
- ☆23Aug 1, 2025Updated last year
- How to read Lean☆28Jan 30, 2025Updated last year
- This repository contains a boilerplate for creating a custom GPT actions API using FastAPI.☆12Jan 13, 2024Updated 2 years ago
- ☆11Nov 14, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆22Feb 29, 2024Updated 2 years ago
- The official repository for the paper Multilingual Mathematical Autoformalization☆39May 20, 2024Updated 2 years ago
- Auto generate decoders for OCaml☆10Dec 19, 2024Updated last year
- 📦 Cerebro plugin for applications search and launch on windows and linux☆12Aug 27, 2022Updated 4 years ago
- ☆15Mar 29, 2023Updated 3 years ago
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆21Jun 21, 2024Updated 2 years ago
- ☆17Jun 9, 2025Updated last year