Using Large Language Models for Repo-wide Type Prediction
☆117Dec 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:
- Erica will always know your context because she can see everything on your screen.☆17May 21, 2023Updated 3 years ago
- Reflexion: an autonomous agent with dynamic memory and self-reflection☆389Nov 26, 2023Updated 2 years ago
- A hard gym for programming☆172Jul 7, 2024Updated 2 years ago
- Ami is desktop AI coding environment☆26Feb 25, 2026Updated 6 months ago
- Clustered Compositional Embeddings☆13Oct 25, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆13Aug 29, 2023Updated 3 years ago
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 8 months ago
- Groq-powered MAD: The first work to explore Multi-Agent Debate with Large Language Models :D☆12Jul 5, 2024Updated 2 years ago
- A multi-programming language benchmark for LLMs☆314Apr 12, 2026Updated 4 months ago
- ☆14Mar 3, 2025Updated last year
- ☆40Mar 25, 2023Updated 3 years ago
- ☆12Feb 7, 2025Updated last year
- Time travel in JuliaLang. (Useful for testing what code did before your changes)☆17Sep 3, 2023Updated 3 years ago
- Search your api through types, with speed 🥽☆19Dec 12, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Incremental Build Verification☆17Apr 21, 2024Updated 2 years ago
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆15Jun 6, 2026Updated 3 months ago
- Program Synthesis☆14May 17, 2021Updated 5 years ago
- Binary analysis. Capstone+Keystone+Unicorn = static and dynamic binary analysis☆12Oct 11, 2019Updated 6 years ago
- Label shift estimation for transfer difficulty with Familiarity.☆10Feb 4, 2025Updated last year
- ☆20Jun 16, 2023Updated 3 years ago
- SecretHandshake secure connections in C++, with Cap'n Proto support☆15Jan 11, 2026Updated 7 months ago
- ☆19Mar 25, 2025Updated last year
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆31Aug 30, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Fast, permanent and flexible patterns for sharing and computing on texts with metadata using Apache Arrow.☆15Mar 1, 2022Updated 4 years ago
- Experimental pathtracing 3D renderer written in Ink☆14Jul 22, 2020Updated 6 years ago
- The Energy Transformer block, in JAX☆68Dec 14, 2023Updated 2 years ago
- How to read Lean☆28Jan 30, 2025Updated last year
- The most recent documentation of OpenReview☆34Aug 31, 2026Updated last week
- ☆11Nov 14, 2018Updated 7 years ago
- ☆22Feb 29, 2024Updated 2 years ago
- The official repository for the paper Multilingual Mathematical Autoformalization☆39May 20, 2024Updated 2 years ago
- 📦 Cerebro plugin for applications search and launch on windows and linux☆12Aug 27, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Official Implementation of Graph Mixer Networks☆19Dec 5, 2023Updated 2 years ago
- A modular, easy to extend GFlowNet library☆315Aug 22, 2026Updated 2 weeks ago
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆22Jun 21, 2024Updated 2 years ago
- Mixin classes and traits dynamically☆10Sep 4, 2017Updated 9 years ago
- A userscript to insert citations from Zotero into ShareLaTeX as you write☆11Feb 26, 2024Updated 2 years ago
- 🦌 Deep Retention, Winner @ Calhacks ✨🌠☆11Oct 26, 2024Updated last year
- Mindect is a learning place for everyone to learn about AI, ML and Deep Learning along with Mathematics.☆13Updated this week