tosc-rs / mgnpView external linksLinks
MnemOS Global Networking Protocol
☆15Jan 26, 2024Updated 2 years ago
Alternatives and similar repositories for mgnp
Users that are interested in mgnp are comparing it to the libraries listed below
Sorting:
- An experimental programming language for ergonomic software verification☆16Feb 5, 2026Updated last week
- Write-ahead-logging implementation for Rust☆16Oct 24, 2021Updated 4 years ago
- Content for Linkerd workshops☆13Oct 30, 2024Updated last year
- Ortholinear keyboard with thumb clusters and a rotary encoder designed with all THT components and regular keysets.☆17Jun 24, 2024Updated last year
- Rust on ESP32 "Hello World" app. A demo binary crate for the ESP32[XX] and ESP-IDF, which connects to WiFi, drives a small HTTP server an…☆10Oct 1, 2021Updated 4 years ago
- An experimental project to create an interactive programming language.☆18Jul 11, 2025Updated 7 months ago
- ☆14Feb 21, 2023Updated 2 years ago
- ☆22Jul 24, 2021Updated 4 years ago
- my personal lang☆17Dec 31, 2023Updated 2 years ago
- Wake-on-lan webapp - 🎵 Wake me up, when september ends 🎵☆15Nov 14, 2021Updated 4 years ago
- syslog server written in Rust as an introduction to mio for Triangle Rustaceans☆17Jun 30, 2019Updated 6 years ago
- Framework for writing UEFI applications☆18Sep 17, 2022Updated 3 years ago
- 🖼 markdown slideshows in rust☆16Oct 18, 2023Updated 2 years ago
- A minimalistic Jekyll theme recreating the look of plain Markdown file (with some extras)☆18Jul 9, 2025Updated 7 months ago
- A friendly Nix profile manager☆29Aug 18, 2025Updated 5 months ago
- A small experimental microkernel for embedded systems☆23Aug 23, 2022Updated 3 years ago
- Simple monolithic kernel written in Rust for x86-64☆24Feb 28, 2025Updated 11 months ago
- Asynchronous udev hotplug monitor using Tokio and Mio.☆25Oct 8, 2025Updated 4 months ago
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆25Jan 4, 2026Updated last month
- 🧚 pfil is a cute, minimal editor theme; for low-light and high-contrast.☆21Jan 26, 2026Updated 2 weeks ago
- NanoCollision: Experiments with collisions of nanosecond timestamps☆23Sep 24, 2025Updated 4 months ago
- [Ru]st [W]ater [M]eter - my explorations into an embedded, async, real-world project☆54May 24, 2024Updated last year
- Example sqlite3 Dynamic Loadable Extension in Rust - vfs and vtab modules - port of vfsstat.c☆35Nov 26, 2024Updated last year
- 🎨 A theme for the Zed text editor that utilises your wal colour scheme☆29Jul 4, 2025Updated 7 months ago
- Formalising the WASM spec in Lean☆27Nov 14, 2025Updated 3 months ago
- NixOS Flake providing bare bones (but ready to go!) configurations for Raspberry Pi devices.☆20May 15, 2025Updated 8 months ago
- Nix files for development on the esp32 in rust using the esp-idf framework☆26May 27, 2020Updated 5 years ago
- An Operating System for Building Small Computers☆301Jan 21, 2025Updated last year
- Zig uuidv4 implementation without allocations☆11Dec 4, 2024Updated last year
- The Fibonacci Music Box (As Seen on YouTube!)☆23Aug 17, 2023Updated 2 years ago
- Formalization of the Millennium Problems in Lean 4☆41Jan 16, 2026Updated 3 weeks ago
- Asynchronous P2P communication backend for decentralized pipeline parallelism☆41Jun 9, 2025Updated 8 months ago
- Fluxion is an actor framework designed with distributed systems in mind, namely sending messages not just between actors, but also betwee…☆29Nov 5, 2024Updated last year
- Efficient sampling with uniform probability☆31Jun 16, 2022Updated 3 years ago
- archived prototype for sketching dynamic models☆39Feb 6, 2026Updated last week
- Implementing a small functional language with a combinator based graph-reduction machine☆40Sep 10, 2025Updated 5 months ago
- a trust propagation algorithm and trust metric for local group trust computation☆37Mar 27, 2022Updated 3 years ago
- TOML deck generator with custom templates and schema validation☆37Oct 7, 2023Updated 2 years ago
- VU Dials Server Application☆37Aug 11, 2024Updated last year