AI-Driven Scientific and Algorithmic Discovery
☆577Jun 14, 2026Updated last month
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…☆169Feb 27, 2026Updated 4 months ago
- Code to reproduce the experiments of the ICLR24-paper: "Sparse Model Soups: A Recipe for Improved Pruning via Model Averaging"☆12Oct 14, 2025Updated 9 months ago
- ☆81Apr 16, 2026Updated 2 months ago
- Mine-tuning is a methodology for synchronizing human and AI attention.☆21Jun 16, 2024Updated 2 years ago
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Compile programs directly into transformer weights. Includes a 2D convex-hull KV cache with O(log n) inference.☆211Jun 1, 2026Updated last month
- ☆23Apr 23, 2026Updated 2 months ago
- DSPY Experiments☆15May 2, 2024Updated 2 years ago
- ☆48Jan 27, 2026Updated 5 months ago
- An open-source online generative dictionary☆13May 29, 2022Updated 4 years ago
- ☆602May 24, 2026Updated last month
- Method for Long Context RLMs using verifiable Lambda Calculus☆302Apr 24, 2026Updated 2 months ago
- ☆12Jan 25, 2026Updated 5 months ago
- Demo code for "The Agent Is a Workflow That Writes Itself"☆22May 14, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Code for ACL 2022 paper 'Towards Making the Most of Cross-Lingual Transfer for Zero-Shot Neural Machine Translation'☆12Jun 7, 2024Updated 2 years ago
- A CLI for managing AI skill packages☆27Jan 18, 2026Updated 5 months ago
- A Python 3D modelling API for generating OpenSCAD source code as well as STL files directly. This library simplifies the creating of 3D m…☆17May 26, 2026Updated last month
- Official Implementation for Quality-Similar Diversity via Population Based Reinforcement Learning☆19Dec 26, 2025Updated 6 months ago
- Jupyter notebooks outlining theory and calculations for hot polaron cooling in halide perovskite solar cells☆11Feb 23, 2018Updated 8 years ago
- Recursive Language Model patterns for Claude Code — handle massive contexts (10M+ tokens) by treating them as external variables☆50Apr 21, 2026Updated 2 months ago
- ☆13Apr 9, 2025Updated last year
- ☆66Feb 14, 2026Updated 5 months ago
- Node-RED nodes to read data from spreadsheet (Excel, ODS, etc.) file☆12Jul 14, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The FPTE package is a collection of tools for finite pressure temperature elastic constants calculation. Features include, but are not l…☆17Jan 19, 2025Updated last year
- EuroSys '24: "Trinity: A Fast Compressed Multi-attribute Data Store"☆18Mar 8, 2025Updated last year
- Vizualisation of Atomic Contributions to Phonon Modes☆13Nov 6, 2024Updated last year
- ☆11Jan 19, 2025Updated last year
- ☆17Jan 30, 2024Updated 2 years ago
- A C++11 simulator for a variety of CDN caching policies.☆52Dec 3, 2020Updated 5 years ago
- Official implementation of NeurIPS'24 Spotlight paper "Monte Carlo Tree Search based Space Transfer for Black-box Optimization".☆13Nov 28, 2024Updated last year
- Extensible Booga AGI☆18May 26, 2023Updated 3 years ago
- LaTeX Thesis Template for Beijing Language and Culture University☆18Apr 10, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Efficient non-uniform quantization with GPTQ for GGUF☆64Sep 17, 2025Updated 9 months ago
- Repository for TRACE: Capability-Targeted Agentic Training☆86Updated this week
- Visualizations☆14Jan 10, 2022Updated 4 years ago
- 🧜♀️ Pi extension that renders Mermaid diagrams as ASCII in the TUI, with width-aware output and safe handling for larger diagrams.☆68Feb 23, 2026Updated 4 months ago
- ☆30Apr 7, 2026Updated 3 months ago
- 3,722 AI × Biology papers from ICLR / ICML / NeurIPS (2010–2026) — browsable by venue & year☆15Jul 7, 2026Updated last week
- A System for Evaluating Reasoning Agents such as OpenClaw☆21Apr 3, 2026Updated 3 months ago