A simple DNS server for home networks.
☆25Oct 7, 2026Updated last week
Alternatives and similar repositories for resolved
Users that are interested in resolved are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- simple plugin to save webpage/blog comments to a static JSON over git http☆19Sep 24, 2026Updated 2 weeks ago
- Rust bindings for SPDK☆12Mar 5, 2020Updated 6 years ago
- Rust bindings for the NVM Library http://pmem.io☆15Sep 3, 2016Updated 10 years ago
- 阿里云物联网设备端 Rust SDK / Alink 协议☆11Apr 23, 2023Updated 3 years ago
- Concurrent algorithms in Haskell using software transactional memory (STM monad)☆14Jan 5, 2023Updated 3 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.
- ☆10Mar 1, 2021Updated 5 years ago
- Privacy Friendly Frontends With Tailscale☆11Sep 18, 2023Updated 3 years ago
- A weekly dive into commonly used modules in the Rust ecosystem, with story flavor!☆20Aug 18, 2021Updated 5 years ago
- An experimental modular OS written in Rust.☆17Feb 11, 2025Updated last year
- IntelliJ IDEA UI test library is a tool for creating automated UI tests for IntelliJ IDEA plugin projects.☆14May 5, 2026Updated 5 months ago
- Go SDK for S2, the durable streams API☆17Oct 6, 2026Updated last week
- levelDB key/value database in Rust.☆11Nov 13, 2021Updated 4 years ago
- Advent of code 2020☆11Jan 31, 2026Updated 8 months ago
- 🗳 A solution to pingcap/talent-plan, aka "6.824 Lab 2: Raft" and "6.824 Lab 3: Fault-tolerant Key/Value Service" from MIT.☆31Nov 24, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A plugin for solving numeric constraints in GHC's type-checker☆51Apr 22, 2021Updated 5 years ago
- Vacuum is a system-wide configuration file collector☆30Nov 19, 2020Updated 5 years ago
- Handle TrapFrame across kernel and user space on multiple ISAs.☆36Sep 6, 2026Updated last month
- Like HyperLogLog, but slower 🛶☆10Feb 5, 2020Updated 6 years ago
- ☆23Mar 10, 2026Updated 7 months ago
- Customizable Pixelworks X7 parameter configuration for any App.☆17Dec 6, 2023Updated 2 years ago
- An interactive interpreter for asynchronous algebraic effects☆16Jun 19, 2024Updated 2 years ago
- A small CLI tool to check connection from a local machine to a remote target in various protocols.☆25Feb 3, 2021Updated 5 years ago
- Label dependent dependent session types☆16May 2, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Distributed multi-agent research engine with dynamic strategy planning, durable stream-based coordination, and controlled synthesis☆26Feb 21, 2026Updated 7 months ago
- ☆11Jul 20, 2016Updated 10 years ago
- SPDK RocksDB mirror☆33Jul 31, 2024Updated 2 years ago
- JDT ASTView IntelliJ Plugin☆14Aug 3, 2022Updated 4 years ago
- Python module for composing computations☆27Mar 19, 2025Updated last year
- 📦+🦀=♥️ A tool that helps wrap binary releases for easy distribution☆26May 6, 2024Updated 2 years ago
- Serializable closures for distributed programming.☆66Nov 27, 2023Updated 2 years ago
- Git subcommands to help with your workflow☆24Jun 24, 2025Updated last year
- Convert between pointfree and pointful Haskell expressions.☆49May 27, 2016Updated 10 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.
- The file system module for rCore OS.☆52Jun 13, 2024Updated 2 years ago
- An experimental RTOS written in Rust.☆40Dec 7, 2022Updated 3 years ago
- All-in-one Full-Featured Python/Flet/Flutter Application to make the most of all the latest Open-Source AI Art Generators in an intuitive…☆16May 30, 2025Updated last year
- Clowns to the left of me, jokers to the right☆15Sep 3, 2019Updated 7 years ago
- lite-net as a web app with authentication and privacy; simplest-possible note taking app for network and non-linear thinking.☆13Apr 15, 2020Updated 6 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆19Aug 19, 2024Updated 2 years ago
- hegel notes☆13Jan 22, 2023Updated 3 years ago