The Platform for Self-Improving Code. Ideal for GPU kernels, ML model development, feature engineering, prompt engineering, and other optimizable code.
☆30Updated this week
Alternatives and similar repositories for weco-cli
Users that are interested in weco-cli are comparing it to the libraries listed below
Sorting:
- ☆133Oct 16, 2025Updated 4 months ago
- Python client to interact with the lean4 language server.☆39Jan 12, 2026Updated last month
- Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop☆13Feb 14, 2025Updated last year
- Clover: Closed-Loop Verifiable Code Generation☆42May 12, 2025Updated 9 months ago
- [NeurIPS '25] GSO: Challenging Software Optimization Tasks for Evaluating SWE-Agents☆66Feb 17, 2026Updated last week
- Infrastructure Bot for your organization☆10Jun 9, 2025Updated 8 months ago
- npm module for flickr api☆14Jun 24, 2015Updated 10 years ago
- ☆12Jun 7, 2024Updated last year
- ☆11Feb 14, 2025Updated last year
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- Attempts to keep your device locked. There are numerous existing polished apps that accomplish this far better.☆16Aug 28, 2025Updated 6 months ago
- Easy Particle Emitter 🎊☆12Aug 3, 2018Updated 7 years ago
- Graph-based neural tactic prediction models for Coq.☆15Sep 17, 2025Updated 5 months ago
- Run Claude Code (and codex) to generate a project plan, then run them in a loop for days until they're done☆14Jan 18, 2026Updated last month
- Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and s…☆16Nov 6, 2024Updated last year
- ☆17Jul 20, 2025Updated 7 months ago
- PyTorch implementation of satellite image pose estimation using ResNet model architecture.☆10Dec 8, 2023Updated 2 years ago
- First pass at a thin wrapper around the Monarch API and ChatGPT plugin☆12Mar 21, 2025Updated 11 months ago
- ☆10Aug 8, 2024Updated last year
- mkdev's collection of custom Claude Skills☆26Feb 1, 2026Updated last month
- Exit an iOS app from Titanium. Quick & dirty.☆10Apr 9, 2018Updated 7 years ago
- An interactive environment for exploring, refining, and visualizing mathematical proofs with AI assistance.☆31Feb 18, 2026Updated last week
- Neural Programmer-Interpreter Implementation (Reed, de Freitas: https://arxiv.org/abs/1511.06279), in Tensorflow☆42Nov 17, 2018Updated 7 years ago
- ☆10Nov 5, 2016Updated 9 years ago
- Automatically quantifying radiographic knee osteoarthritis severity☆10May 18, 2017Updated 8 years ago
- A basic GUI for interacting with the Stability AI API for Stable Diffusion 3☆15Apr 22, 2024Updated last year
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 2 weeks ago
- zip module for appcelerators titanium mobile☆25Apr 7, 2016Updated 9 years ago
- For unmanned missions into GPT returning structured data☆12May 16, 2023Updated 2 years ago
- Sleep EEG Event Detector (SEED) model, a deep learning-based detector of sleep spindles and K-complexes☆14Jun 24, 2024Updated last year
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆16Feb 20, 2026Updated last week
- Code accompanying the paper "TiZero: Mastering Multi-Agent Football with Curriculum Learning and Self-Play" (AAMAS 2023) 足球游戏智能体☆14May 25, 2023Updated 2 years ago
- ☆10Oct 24, 2024Updated last year
- A formally verified bug finder☆14Nov 25, 2024Updated last year
- Generate License List that Project depends on.☆12Dec 1, 2025Updated 3 months ago
- This repository contains source code for my senior thesis, titled "Automated Kantian Ethics" and advised by Professor Nada Amin and Dr. W…☆16Jul 27, 2022Updated 3 years ago
- Transformer with constraints on Bach chorales☆11Aug 14, 2020Updated 5 years ago
- Turn your Claude Code subscription to an OpenAI API compatible provider☆27Feb 20, 2026Updated last week
- Benchmarking Goal-Oriented Software Engineering☆114Jan 7, 2026Updated last month