Legacy GLIBC builds for OpenCode
☆17Sep 14, 2026Updated this week
Alternatives and similar repositories for opencode-legacy-glibc
Users that are interested in opencode-legacy-glibc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Jul 21, 2026Updated last month
- This is a project created and completed by team BOOM(Beihang OO masters).This is a superscalar processor with a 13-stage out-of-order dua…☆18Sep 29, 2024Updated last year
- RV64emu is a riscv64 emulator written in rust,can run linux !☆23Oct 5, 2024Updated last year
- A Zero Cost Abstruction of FSM(Finite State Machine) circuits based on chisel3.☆13Oct 8, 2021Updated 4 years ago
- [mirror] An OS tuning engine based on AI.☆24Sep 9, 2026Updated last week
- 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.
- The official implementation of paper "Disentangled Parameter-Efficient Linear Model for Long-Term Time Series Forecasting" (DASFAA 2026)☆17Apr 21, 2026Updated 4 months ago
- "Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.☆16Jun 8, 2025Updated last year
- ☆12Dec 29, 2022Updated 3 years ago
- Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.☆32Nov 8, 2024Updated last year
- ☆20Mar 18, 2022Updated 4 years ago
- ☆13Jul 31, 2018Updated 8 years ago
- RWA WDM Simulator: A Python simulator for the routing and wavelength assignment problem in WDM transparent networks with static traffic☆22Jun 8, 2023Updated 3 years ago
- 一生一芯项目☆19Oct 28, 2023Updated 2 years ago
- ☆22Nov 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.
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆28Aug 28, 2026Updated 3 weeks ago
- Write yourself a simply-typed lambda calculus using Rust in a week!☆13May 13, 2024Updated 2 years ago
- AE-solver and Skolemizer☆17Jul 12, 2026Updated 2 months ago
- First formal security scanner for AI agent skills & plugins. Static analysis, supply chain verification, SBOM generation. 22 frameworks s…☆33Aug 5, 2026Updated last month
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Jun 8, 2020Updated 6 years ago
- davfs2 is a Linux tool for connecting to WebDAV shares as though they were local disks.☆40Sep 28, 2018Updated 7 years ago
- RISC-V Specific Device Tree Documentation☆44Jul 9, 2024Updated 2 years ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆35Dec 9, 2023Updated 2 years ago
- ✔️ Port of RISCOF to check NEORV32 for RISC-V ISA compatibility.☆38Feb 22, 2026Updated 6 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.
- like gron, but generalised on indentation☆18Aug 15, 2026Updated last month
- A lightweight C++ framework for task scheduling and recursive multitasking across all system levels and the core of Fractal Programming☆14Aug 11, 2026Updated last month
- Super-simple pastebin☆13Nov 4, 2025Updated 10 months ago
- [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)☆14Oct 8, 2020Updated 5 years ago
- A SyGuS Solver☆30May 18, 2025Updated last year
- Academic papers and works related to SWE-bench and SWE-agents☆17Dec 8, 2025Updated 9 months ago
- Modern note taking plugin with markdown focus☆13Sep 12, 2026Updated last week
- benchmarking e-graph extraction☆53Feb 2, 2026Updated 7 months ago
- The Audited Context Generation (ACG) Protocol prevents AI hallucinations with a dual-layer system. The UGVP layer links every fact to a p…☆17Jun 13, 2026Updated 3 months 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.
- What if everything is a io_uring?☆17Nov 10, 2022Updated 3 years ago
- High-level digital waveform analysis in Python.☆45Updated this week
- 在RISC-V处理器上实现一个轻量级的Hypervisor。☆12Dec 25, 2020Updated 5 years ago
- The all in one platform that you can quick view and search your turns in coding agent history.☆16Jul 26, 2026Updated last month
- Quality Shapes Extraction from very large Knowledge Graphs☆15Nov 15, 2025Updated 10 months ago
- Central HiveMind hub server: connects satellite devices and AI agents to an OVOS instance over an encrypted mesh protocol☆17Updated this week
- Configuration MinIO with Nginx on Docker☆14Oct 30, 2023Updated 2 years ago