☆21Dec 26, 2025Updated 8 months ago
Alternatives and similar repositories for hybrid-transpiler
Users that are interested in hybrid-transpiler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Visually select and extract regions from PDFs into SVGs. No more pixelated screenshots!☆18Jan 16, 2026Updated 7 months ago
- A fast native commit and diff code editor☆77Updated this week
- A native MoonBit port of the Loro CRDT engine☆22Jan 28, 2026Updated 7 months ago
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 5 years ago
- Doorbot API server - Similar to https://envoy.co☆10Sep 3, 2015Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆10Mar 25, 2024Updated 2 years ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆18Mar 18, 2025Updated last year
- A Rust to Ada/SPARK converter that makes your systems immune to the Rust virus. Converts Rust code to formally verifiable Ada, including …☆21Apr 22, 2025Updated last year
- LBFGS optimization algorithm ported from liblbfgs☆12Nov 25, 2022Updated 3 years ago
- Optimizing a simple math parser for fun☆16Jul 8, 2025Updated last year
- Hacker News Clone https://youtu.be/VNfOqpD0GIM☆13Nov 1, 2023Updated 2 years ago
- ☆13Jul 26, 2026Updated last month
- quick debug program running in the k8s pod☆14Apr 1, 2022Updated 4 years ago
- Utilities for trading on crypto-currencies exchanges.☆14Nov 13, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- high-speed metrics collection library in Rust☆19May 2, 2019Updated 7 years ago
- A position (finance) definition that has some good algebraic properties.☆15Dec 4, 2022Updated 3 years ago
- A no-std, panic-never, heapless, reliability-focused UDP/IP stack for bare-metal.☆14Dec 8, 2025Updated 8 months ago
- lz4 translated to C#☆14Oct 4, 2025Updated 10 months ago
- Rust VM Impl☆16Sep 26, 2024Updated last year
- The application's backend API written with GoFiber☆13Mar 7, 2024Updated 2 years ago
- Implementing TCP/IP in Rust leveraging eBPF/XDP☆21Mar 30, 2025Updated last year
- A 2-4h workshop on the Tamarin protocol verifier.☆24Mar 9, 2026Updated 5 months ago
- An example async executor that uses mio to respond to OS events☆11May 26, 2024Updated 2 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.
- Python Groonga Client☆22Updated this week
- An open-source session replay tool for single-page applications that uses AI analysis, aggregated trends, and a RAG chatbot to help devel…☆11Jan 23, 2026Updated 7 months ago
- expression interpreter (calculator) in rs - supports variables & functions.☆12Nov 30, 2024Updated last year
- pure-rust BLAS implementation☆54Jan 17, 2026Updated 7 months ago
- A set of core libraries for useful DSP related classes that are used by multiple White Elephant Audio VSTs and Audio Units☆15Apr 18, 2026Updated 4 months ago
- A toy incremental computation framework☆15Jan 3, 2021Updated 5 years ago
- ASM generation tool for GAS/NASM/MASM with Xbyak-like syntax in Python☆13Updated this week
- Rust crate that provides a macro allowing expressions to be eagerly evaluated before a scope.☆15Nov 12, 2025Updated 9 months ago
- A single thread async runtime based on io-uring.☆21Dec 31, 2025Updated 7 months ago
- 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.
- Aether — an open, strongly-typed scientific computing framework for aerospace and physics simulation in Rust.☆24Jul 15, 2026Updated last month
- lwIP - A Lightweight TCP/IP stack https://github.com/lwip-tcpip/lwip☆17Jul 30, 2026Updated last month
- HW interface for memory caches☆28Apr 21, 2020Updated 6 years ago
- Support library for building Agentic MCP and Agent2Agent-based services.☆29Jun 10, 2025Updated last year
- A generic EventTarget Proxy wrapper to chain and/or group common operations.☆14Feb 1, 2023Updated 3 years ago
- 沪深休市日历生成器☆13Jan 2, 2025Updated last year
- Prover9 is a resolution and paramodulation-based theorem prover for first-order and equational logic, and Mace4 searches for finite count…☆16Aug 13, 2026Updated 2 weeks ago