Convert shared libraries into relocatable objects
☆10Dec 23, 2023Updated 2 years ago
Alternatives and similar repositories for soda
Users that are interested in soda are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Compiling finite generators to digital logic. WIP☆13Aug 24, 2020Updated 5 years ago
- ☆15Apr 7, 2026Updated last week
- Implements kernels with RISC-V Vector☆22Mar 24, 2023Updated 3 years ago
- Let's discover a new world. — Edit☆10Jan 6, 2017Updated 9 years ago
- RV32I by cats☆15Sep 4, 2023Updated 2 years 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.
- (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog☆12Sep 9, 2021Updated 4 years ago
- Easily typeset kanbun-kundoku (漢文訓読) with (Lua)LaTeX☆19Mar 17, 2025Updated last year
- A Rust style C++ library.☆19Sep 3, 2022Updated 3 years ago
- CIDR union / subtraction☆14Apr 1, 2026Updated 2 weeks ago
- Mix C with other programming languages☆12Aug 15, 2021Updated 4 years ago
- Yet Another AsYnc runtime for RuSt.☆33Feb 1, 2020Updated 6 years ago
- 全方位控诉Windows的使用和开发体验☆12Jun 30, 2020Updated 5 years ago
- Belluminar 2016 Beijing stuff☆26Jun 3, 2016Updated 9 years ago
- Tsim Sans | 源幅黑体 | 源幅黑體 | 源幅ゴシック; Simple modifications to SHS to bring proportional glyph metrics to legacy environments.☆12Jan 17, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Optimized Computer Graphics Matrix Library for use with the SIMD/SSE4 Instructions.☆10Mar 19, 2020Updated 6 years ago
- A four-10gbe-port dual-stack router with IPv4 and IPv6 translation support.☆30May 14, 2020Updated 5 years ago
- A GPU FP32 computation method with Tensor Cores.☆26Dec 8, 2025Updated 4 months ago
- redundant array of networks☆39Feb 17, 2026Updated last month
- An implementation of memcpy for amd64 with clang/gcc☆14Feb 7, 2022Updated 4 years ago
- A hand-written recursive decent Verilog parser.☆10Jan 30, 2026Updated 2 months ago
- Go-cqhttp Plugin for EFB QQ Slave.☆32Mar 16, 2026Updated 3 weeks ago
- Ergonomic tagged pointer☆31Oct 8, 2024Updated last year
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆11Mar 21, 2023Updated 3 years 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.
- A Python JIT compiler☆12May 29, 2019Updated 6 years ago
- PKU CompNet'19 Lab 2 - Homebrew TCP☆12Nov 29, 2019Updated 6 years ago
- COATCheck☆13Nov 4, 2018Updated 7 years ago
- 🤖 A telegram bot to monitor Tsinghua web learning and push new updates to user in Telegram.☆12Mar 20, 2026Updated 3 weeks ago
- Library + CLI-Tool to measure the TTFB (time to first byte) of HTTP requests. Additionally, this crate measures the times of DNS lookup, …☆49Apr 1, 2026Updated 2 weeks ago
- Python JIT transpiler to C++☆15Jan 14, 2020Updated 6 years ago
- Serverless download site with GitHub Releases and Cloudflare Workers☆20Oct 30, 2024Updated last year
- A router IP written in Verilog.☆12Dec 20, 2019Updated 6 years ago
- IPsec overlay network manager☆16Aug 9, 2017Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- Converts Kotlin metadata into an easily usable data model☆14Mar 28, 2026Updated 2 weeks ago
- type-system, revised unification algorithm and runtime time representations☆13Dec 12, 2019Updated 6 years ago
- RISC-V-based many-core neuromorphic architecture☆16Updated this week
- An implementation of libatomic☆14Dec 12, 2022Updated 3 years ago
- ☆11Mar 22, 2024Updated 2 years ago
- Decrypt and Extract *.pfs game resource files☆13May 30, 2020Updated 5 years ago