A WIP Float32 soft FPU implementation
☆22Jun 25, 2021Updated 4 years ago
Alternatives and similar repositories for softfpu-rs
Users that are interested in softfpu-rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An EFI application to play Bad Apple☆10Dec 28, 2021Updated 4 years ago
- A concurrent GC.☆44Jul 10, 2022Updated 3 years ago
- A simple stream-based bilibili live client library.☆18Apr 7, 2025Updated last year
- SQL Benchmark derived from TPC-DS☆15May 20, 2023Updated 2 years ago
- 🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"☆20May 18, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Features like `async-trait`, avoid using `Box` and `dyn`.☆83Sep 2, 2021Updated 4 years ago
- A type-driven and high-performance ORM framework in Rust☆31Jun 13, 2025Updated 9 months ago
- engula-operator creates/configures/manages engula clusters atop Kubernetes☆12Jan 5, 2022Updated 4 years ago
- Resource Allocation for Dynamic Demands☆22Dec 26, 2023Updated 2 years ago
- An implementation of memcpy for amd64 with clang/gcc☆14Feb 7, 2022Updated 4 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 3 years ago
- The codebase for DBSim☆16Mar 8, 2023Updated 3 years ago
- TYPCN Internal Software Communication Protocol☆12Jul 21, 2017Updated 8 years ago
- A crate to provide anonymous row type, which fields can be access by lens-rs☆15May 27, 2021Updated 4 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.
- [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)☆14Oct 8, 2020Updated 5 years ago
- ☆11Sep 17, 2020Updated 5 years ago
- Helps generate better emoji assets for the Telegram's Android client.☆12Jan 2, 2019Updated 7 years ago
- Fork of http://compcert.inria.fr/☆22Oct 30, 2014Updated 11 years ago
- ☆12Oct 2, 2021Updated 4 years ago
- Unofficial Telegreat Messaging app☆10Apr 9, 2018Updated 8 years ago
- DWARF-based stack walks with eBPF☆13Aug 18, 2021Updated 4 years ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Dec 14, 2022Updated 3 years ago
- StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion☆25Aug 19, 2025Updated 7 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 💻 RISC-V Simulator of RV32I ISA. 5-stage pipeline / out-of-order execution with Tomasulo algorithm and Speculation. Support runtime visu…☆210Jul 2, 2020Updated 5 years ago
- 基于eBPF实现高性能用户态文件系统功能☆14May 9, 2025Updated 11 months ago
- YCSB in Rust (WIP)☆19May 18, 2021Updated 4 years ago
- Cocytus is an efficient and available in-memory K/V-store through hybrid erasure coding and replication☆31Mar 7, 2016Updated 10 years ago
- Subtitle plugin for VapourSynth based on libass☆20Aug 27, 2025Updated 7 months ago
- ☆31Jun 1, 2023Updated 2 years ago
- Helps generate better emoji assets for the Telegram's Android client.☆14Apr 21, 2024Updated last year
- MPIWasm is a WebAssembly Embedder based on Wasmer that enables the high-performance execution of MPI applications compiled to Wasm. (ACM …☆20Jan 30, 2024Updated 2 years ago
- Tools for manipulating Qualcomm XBL images☆26Jan 18, 2024Updated 2 years ago
- 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 hook filesystem and utils to inject IO chaos☆54Jul 7, 2024Updated last year
- SNI Proxy in Docker☆14Jan 5, 2018Updated 8 years ago
- A simple sql server code by rust☆65Jun 22, 2021Updated 4 years ago
- Decision tree interpreter for randomForest/ranger as described in☆12Sep 18, 2025Updated 6 months ago
- ObjectPropertyDelegate for Kotlin class properties & functions.☆10Apr 6, 2020Updated 6 years ago
- The project now is moved to github.com/SJTU-IPADS/ServerlessBench. An open-sourced benchmark suite for serverless computing☆22May 20, 2022Updated 3 years ago
- 第三次重构!☆16Dec 22, 2020Updated 5 years ago