Another Network Tunnel; A simple program for local/remote port forwarding over a SSH tunnel.
☆30Dec 2, 2025Updated 4 months ago
Alternatives and similar repositories for ant-rs
Users that are interested in ant-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:
- Coq plugin for extracting Rust code☆19Apr 20, 2026Updated last week
- Evaluate various WebAssembly back-end frameworks and tool-chains for enterprise workloads☆18Nov 29, 2024Updated last year
- guarded interaction trees☆13Jul 4, 2025Updated 9 months ago
- The Rhai Book.☆28Feb 20, 2026Updated 2 months ago
- Rich text processing☆64Apr 23, 2026Updated last week
- 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.
- Tiny verified SAT-solver☆30Jan 7, 2022Updated 4 years ago
- Rust implementation of reactor pattern for I/O resources☆23Jan 11, 2026Updated 3 months ago
- Compositional Verification of Security Protocols☆34Apr 22, 2026Updated last week
- Rust traits for key comparison in maps.☆39Feb 14, 2025Updated last year
- In this project I used apache airflow to scrape website periodically. This is for the tutorials I do on youtube.☆10Nov 21, 2022Updated 3 years ago
- ☆20Feb 9, 2023Updated 3 years ago
- Some boilerplate code used across the @actions-rs Actions☆11Jan 3, 2022Updated 4 years ago
- A library for convenient and composable translation between JSON and Elm types☆16Feb 18, 2015Updated 11 years ago
- Chitchat with multiple agents☆27Jun 4, 2025Updated 10 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Cache evaluation of nix functions☆18Apr 5, 2022Updated 4 years ago
- Code comment watcher that notifies when an issue is closed.☆10Oct 18, 2025Updated 6 months ago
- Transformation stream for PCM data☆17Dec 7, 2017Updated 8 years ago
- (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog☆12Sep 9, 2021Updated 4 years ago
- Phoenix live views for notified☆17Jan 1, 2023Updated 3 years ago
- Terminal UI framework based on templates and focused on simplicity.☆43Oct 6, 2022Updated 3 years ago
- Serde support for n-dimensional arrays from self-describing formats☆11Dec 28, 2025Updated 4 months ago
- Utility to inherit dependencies from workspace file if it occurs 'n' or more times throughout the project.☆32Mar 14, 2023Updated 3 years ago
- Thread-safe clone-on-write container for fast concurrent writing and reading.☆49Jan 3, 2023Updated 3 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.
- Fast, stable, flexible SwiftUI wrapper for AppKit's NSOutlineView☆21Sep 5, 2023Updated 2 years ago
- Examples of common patterns using Future☆15Jan 21, 2018Updated 8 years ago
- Rust implementation for esoteric object notation WATSON☆17Nov 20, 2025Updated 5 months ago
- a sudo/doas alternative☆11Jan 19, 2023Updated 3 years ago
- Bundlers to drop software onto systems, for good or bad intent☆15Aug 9, 2022Updated 3 years ago
- nixpkgs aiming for exploiting tools, which may include non-official package or difficult to push to mainstream.☆13Jul 25, 2022Updated 3 years ago
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- Tiny implementation of Git in Python, to learn how Git works.☆35Jul 25, 2015Updated 10 years ago
- ☆13Sep 4, 2023Updated 2 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.
- Providing really high quality tech events☆12Jan 6, 2023Updated 3 years ago
- The Library for Functional Programming in Rust☆15Mar 2, 2025Updated last year
- ☆93Jan 22, 2026Updated 3 months ago
- JAX interpreter for Vulkan☆17Jun 1, 2021Updated 4 years ago
- Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)☆21May 21, 2025Updated 11 months ago
- ReefDB is a minimalistic, in-memory and on-disk database management system written in Rust, implementing basic SQL query capabilities and…☆90Jan 6, 2026Updated 3 months ago
- My home manager config☆16Mar 23, 2026Updated last month