Linux-native filesystem backed by DNS
☆18Jul 9, 2026Updated 4 months ago
Alternatives and similar repositories for kdnsfs
Users that are interested in kdnsfs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Reflow comments in C, C++, Rust, POSIX shell, and GAS assembly☆28Sep 21, 2026Updated last month
- fork of prex.sourceforge.net, Prex is an open source, royalty-free, real-time operating system for embedded systems.☆15Sep 4, 2026Updated 2 months ago
- Run Arm64/x86-64 Linux ELF binaries on macOS Apple Silicon☆284Updated this week
- Generate BTF trace file for FreeRTOS☆29Oct 20, 2026Updated 3 weeks ago
- A terminal-based recreation of Google Chrome's famous T-Rex game☆16Oct 23, 2025Updated last year
- 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.
- A simple multitasking OS kernel☆114Feb 4, 2026Updated 9 months ago
- A live technical interview simulator☆228Updated this week
- Doom classic port to lightweight RISC‑V☆12Jan 1, 2026Updated 10 months ago
- Solver for the 2×2×2 Rubik’s Cube☆11Sep 28, 2026Updated last month
- 32-bit two-instruction (SUBLEQ+MUX) VM that self-hosts Forth and compiles RISC-V to native code☆27Aug 6, 2026Updated 3 months ago
- Linux on Arm Cortex-M☆16May 19, 2026Updated 5 months ago
- Concurrency Primer☆131Aug 7, 2026Updated 3 months ago
- A simple serial console utility☆18May 4, 2026Updated 6 months ago
- MCP server that gives AI agents Frama-C: EVA, WP, and sandboxed ACSL iteration☆36Updated this 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.
- Probe-Running Linux on Computer: Hardware Test Notes (電腦上試跑 LINUX：硬體測試筆記)☆43Oct 29, 2026Updated 2 weeks ago
- RTOS combining Linux rigor with Plan 9 simplicity, designed around SMP, real-time scheduling, and integrated networking.☆115May 14, 2026Updated 5 months ago
- AI-generated AOE Mini Game☆18Jul 4, 2026Updated 4 months ago
- simple execution environment for STM32F10x☆12Sep 17, 2013Updated 13 years ago
- Python scripts converting makefile into C/C++ extension configuration files☆11May 9, 2023Updated 3 years ago
- ☆13Feb 27, 2014Updated 12 years ago
- x86 port of CuRT-OS☆10Mar 17, 2014Updated 12 years ago
- macOS dotfiles for Neovim, Zsh, tmux, Hammerspoon — terminal automation, shell configuration, and developer productivity tools.☆78Nov 4, 2026Updated last week
- A hash chain has the potential to be a limited source of authentication☆16Feb 20, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆17Oct 30, 2026Updated last week
- 中央大學第四代 Portal (2020 年版) 文件☆10Jun 10, 2021Updated 5 years ago
- This project is a Photo EXIF and GPS Data Extractor and Map Visualizer.☆12Jan 6, 2026Updated 10 months ago
- A repository for documentation of all Wayfire-related programs. Automatically synced with the real wiki in the Wayfire repository.☆14Feb 8, 2020Updated 6 years ago
- A minimalist C implementation of the Lempel-Ziv 77 compression algorithm☆12Nov 24, 2025Updated 11 months ago
- 知識蒸餾教學專案 - 使用教師模型訓練學生模型的完整實作☆20Dec 17, 2025Updated 10 months ago
- A kernel rootkit that works without kallsyms and kprobe support.☆31Aug 18, 2025Updated last year
- A JRPG written by hand in x86_64 assembly for Linux, no engine, just syscalls and stack frames.☆16Sep 23, 2026Updated last month
- Adds more of the standard C/POSIX programming interface to Picolibc.☆15Feb 17, 2026Updated 8 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.
- ☆12Updated this week
- Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"☆13Jan 13, 2026Updated 9 months ago
- Cycle Based - Java Gameboy Emualtor☆13Feb 16, 2026Updated 8 months ago
- https://hackmd.io/s/r1SgsdF3X☆10Dec 21, 2018Updated 7 years ago
- 基於 OpenBMB VoxCPM2 模型的離線語音合成與聲音複製桌面工作站（支援即時錄音、語音設計與極限複製） An offline desktop workstation GUI for VoxCPM2 voice synthesis, featuring voice …☆38Jun 26, 2026Updated 4 months ago
- ☆15Aug 27, 2026Updated 2 months ago
- Linux kernel library functions formally verified.☆68Sep 21, 2026Updated last month
Are these results useful?