A simple DNS server for home networks.
☆25Apr 21, 2026Updated 2 weeks ago
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:
- 阿里云物联网设备端 Rust SDK / Alink 协议☆11Apr 23, 2023Updated 3 years ago
- A zero-copy file-like wrapper for Python byte buffers, inspired by Rust's std::Cursor.☆17Apr 4, 2023Updated 3 years ago
- Concurrent algorithms in Haskell using software transactional memory (STM monad)☆14Jan 5, 2023Updated 3 years ago
- Rust Wake-on-LAN library☆44Mar 23, 2026Updated last month
- Rust usb-device support for ATmega chips☆30Jun 21, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 🐎 A fast implementation of the Aho-Corasick algorithm using the compact double-array data structure. (Python wrapper for daachorse)☆21Apr 25, 2026Updated last week
- A secure process-level sandbox based on a ptrace jail☆14Jun 19, 2023Updated 2 years ago
- CLI for S2, the durable streams API☆23Jan 30, 2026Updated 3 months ago
- Dynamically change k8s liveness and readiness checks☆13Nov 14, 2018Updated 7 years ago
- Vacuum is a system-wide configuration file collector☆30Nov 19, 2020Updated 5 years ago
- ☆20Apr 11, 2026Updated 3 weeks ago
- A plugin for solving numeric constraints in GHC's type-checker☆51Apr 22, 2021Updated 5 years ago
- Find discussions around the web☆25Jan 8, 2025Updated last year
- Install and update single binary apps without any hassle☆29Sep 18, 2021Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An interactive interpreter for asynchronous algebraic effects☆15Jun 19, 2024Updated last year
- Minimalist process isolation tool implemented with Linux namespaces☆20Sep 14, 2016Updated 9 years ago
- Label dependent dependent session types☆16May 2, 2024Updated 2 years ago
- Customizable Pixelworks X7 parameter configuration for any App.☆17Dec 6, 2023Updated 2 years ago
- A Rusty CUDA wrapper☆32Dec 19, 2021Updated 4 years ago
- A discord frontend for an interactive interpreter bot☆23Aug 8, 2025Updated 8 months ago
- A HackerNews Android App.☆11Feb 9, 2019Updated 7 years ago
- Git subcommands to help with your workflow☆25Jun 24, 2025Updated 10 months ago
- Clowns to the left of me, jokers to the right☆15Sep 3, 2019Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- 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 11 months ago
- Download latest wind data for the Earth global map.☆10Jan 18, 2022Updated 4 years ago
- OCaml implementation of histogram-approximation algorithm☆15Oct 28, 2022Updated 3 years ago
- (the first half of) an ML compiler☆10Sep 6, 2014Updated 11 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆18Aug 19, 2024Updated last year
- ☆10Sep 11, 2020Updated 5 years ago
- Domain theory and denotational semantics in Coq☆10Dec 13, 2014Updated 11 years ago
- ☆76Jul 11, 2023Updated 2 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.
- Applicative maps☆16Sep 29, 2024Updated last year
- A software package for computation of sheaf cohomologies for line bundles on toric varieties.☆10Sep 26, 2025Updated 7 months ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆16Dec 10, 2019Updated 6 years ago
- ☆14Jan 31, 2016Updated 10 years ago
- A discouraging story.☆17May 8, 2018Updated 7 years ago
- Snakemake workflow for modelling-to-generate-alternatives with PyPSA-Eur☆11Oct 26, 2020Updated 5 years ago
- Category theory concepts in type classes and instances.☆23Mar 13, 2026Updated last month