Legacy GLIBC builds for OpenCode
☆17Oct 6, 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 2 months ago
- 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 2 years ago
- RV64emu is a riscv64 emulator written in rust,can run linux !☆23Oct 5, 2024Updated 2 years ago
- 广州大学研究生学位论文非官方模板☆21Mar 19, 2025Updated last year
- ☆20Mar 18, 2022Updated 4 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.
- ☆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
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆28Aug 28, 2026Updated last month
- ☆22Nov 25, 2023Updated 2 years ago
- Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python☆22Oct 1, 2026Updated last week
- Write yourself a simply-typed lambda calculus using Rust in a week!☆13May 13, 2024Updated 2 years ago
- First formal security scanner for AI agent skills & plugins. Static analysis, supply chain verification, SBOM generation. 22 frameworks s…☆36Oct 2, 2026Updated last week
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Jun 8, 2020Updated 6 years ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆33Dec 29, 2024Updated last year
- 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.
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆36Dec 9, 2023Updated 2 years ago
- ✔️ Port of RISCOF to check NEORV32 for RISC-V ISA compatibility.☆38Feb 22, 2026Updated 7 months ago
- like gron, but generalised on indentation☆18Aug 15, 2026Updated last month
- Hardware Formal Verification Tool☆121Updated this week
- A course for Mao Yisheng College of SWJTU☆11Mar 28, 2020Updated 6 years ago
- [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)☆14Oct 8, 2020Updated 6 years ago
- ☆18Oct 11, 2024Updated last year
- Modern note taking plugin with markdown focus☆13Sep 12, 2026Updated 3 weeks ago
- SBoost is a SIMD-based C++ library enabling fast filtering and decoding of lightweight encoded data☆11Jul 6, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆14Sep 25, 2026Updated 2 weeks ago
- Search the internet from your terminal. Speed read your results. Terminal nirvana.☆21Dec 16, 2020Updated 5 years ago
- My experiences with & wishes for task management☆14Dec 31, 2023Updated 2 years ago
- The Princess Theorem Prover☆36Updated this week
- 软件工程与形式化方法相关前沿工作阅读与分享☆37Oct 27, 2025Updated 11 months ago
- Summary for Stanford class CS243 - Program Analysis and Optimizations | Winter 2016☆31Mar 14, 2016Updated 10 years 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
- High-level digital waveform analysis in Python.☆50Updated this week
- 在RISC-V处理器上实现一个轻量级的Hypervisor。☆12Dec 25, 2020Updated 5 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.
- The all in one platform that you can quick view and search your turns in coding agent history.☆16Jul 26, 2026Updated 2 months ago
- ☆32Oct 29, 2022Updated 3 years ago
- Temporal graph storage in rust☆13Apr 26, 2023Updated 3 years ago
- The goal of this toolbox is provide a set of batch line editing tools for ArcGIS that allow for the efficient creation of polyline featur…☆15Mar 15, 2026Updated 6 months ago
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆30Sep 3, 2024Updated 2 years ago
- Basedpyright extension for coc.nvim☆15Oct 2, 2026Updated last week
- 各类内核的设计思路☆19May 19, 2021Updated 5 years ago