AI-Driven Scientific and Algorithmic Discovery
☆369Mar 22, 2026Updated this week
Alternatives and similar repositories for skydiscover
Users that are interested in skydiscover are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ThetaEvolve: Test-time Learning on Open Problems, enabling RL training on AlphaEvolve/OpenEvolve and emphasizing scaling test-time comput…☆135Feb 27, 2026Updated last month
- Versatile framework for multi-party computation on the web. Based on the implementation of MP-SPDZ.☆16Aug 13, 2025Updated 7 months ago
- ☆511Feb 27, 2026Updated last month
- CS102 Project Bilkent Halisaha Repo☆10Mar 9, 2023Updated 3 years ago
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆55Updated this week
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A library for multi-agent learning that aims to accelerate the research.☆11Apr 27, 2024Updated last year
- A benchmark for evaluating LLMs on open-ended CS problems. Exploring the Next Frontier of Computer Science.☆167Mar 4, 2026Updated 3 weeks ago
- edX silicon photonics course☆12Mar 21, 2018Updated 8 years ago
- ☆11Jan 19, 2025Updated last year
- A toolkit for testing and improving named entity recognition [ESEC/FSE'23]☆11Aug 31, 2023Updated 2 years ago
- Cebinae: Scalable In-network Fairness Augmentation (SIGCOMM 2022)☆22Jul 2, 2022Updated 3 years ago
- ☆10Sep 7, 2023Updated 2 years ago
- ☆23Dec 25, 2025Updated 3 months ago
- Baselines for Model-Based Optimization installation fixes and compatible with newer AMPERE+ GPUs (e.g. 3090)☆11Apr 30, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Universal MCP server installer - install any MCP server to any AI agent with one command☆17Feb 14, 2026Updated last month
- Advancing the frontier of efficient AI☆56Mar 20, 2026Updated last week
- Code for the paper "Bounce: Reliable High-Dimensional Bayesian Optimization for Combinatorial and Mixed Spaces"☆15Apr 30, 2024Updated last year
- Web-based RISC-V superscalar simulator☆20Mar 23, 2025Updated last year
- The repo of "BugLens"☆39Nov 12, 2025Updated 4 months ago
- SCARIF is a tool to estimate the embodied carbon emissions of data center servers with accelerator hardware (GPUs, FPGAs, etc.)☆15Updated this week
- ☆13Jul 14, 2024Updated last year
- An agent for CUDA compute-communication kernel co-design☆33Updated this week
- 2D physics JavaScript demos using Matter.js.☆13Oct 1, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Automated GPU Kernel Generation via Co-Evolving Intrinsic World Model☆91Mar 2, 2026Updated 3 weeks ago
- ☆12Jun 1, 2024Updated last year
- Contrast is All You Need For High-Fidelity Text-to-Image Diffusion Models [CVPR 2024]☆26Oct 7, 2024Updated last year
- A WebUI for Side-by-Side Comparison of Media (Images/Videos) Across Multiple Folders☆26Feb 21, 2025Updated last year
- Code for "A survey and benchmark of high-dimensional Bayesian optimization of discrete sequences"☆16Feb 24, 2025Updated last year
- PeRL: Parameter-Efficient Reinforcement Learning☆73Mar 10, 2026Updated 2 weeks ago
- A simple SQL parser based on Apache Calcite.☆13Jan 17, 2026Updated 2 months ago
- A D4M module for Julia. D4M was developed in MATLAB by Dr Jeremy Kepner.☆12Sep 10, 2019Updated 6 years ago
- Run GEPA on your favorite non-python libraries.☆33Jan 22, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- An experimental open-source attempt to make GPT-4 fully autonomous.☆17Apr 3, 2023Updated 2 years ago
- A visual life management system. Map your personal life, see all your projects in one place, prioritize ruthlessly, and delegate the oper…☆32Mar 19, 2026Updated last week
- Recent research papers about Foundation Models for Combinatorial Optimization☆490Mar 15, 2026Updated last week
- The theory of mind module for the SWE agent☆92Jan 13, 2026Updated 2 months ago
- ☆33Jan 24, 2026Updated 2 months ago
- Official implementation of NeurIPS22 paper “Multi-agent Dynamic Algorithm Configuration”☆26Mar 6, 2023Updated 3 years ago
- Analyze and compare TCP Reno, TCP Westwood, and TCP Fack performance using NS3 simulator☆17Nov 4, 2019Updated 6 years ago