364 Repositories
Rust secure-operating-system Libraries
The official kernel for Popcorn OS, and operating system designed for handheld devices.
About Popkern is the kernel for Popcorn OS, an operating system designed for handheld devices. As such, the kernel is (to be) optimised at all levels
Skytable is an extremely fast, secure and reliable real-time NoSQL database with automated snapshots and TLS
Skytable is an effort to provide the best of key/value stores, document stores and columnar databases, that is, simplicity, flexibility and queryability at scale. The name 'Skytable' exemplifies our vision to create a database that has limitless possibilities. Skytable was previously known as TerrabaseDB (and then Skybase) and is also nicknamed "STable", "Sky" and "SDB" by the community.
A lib crate for gathering system info such as cpu, distro, environment, kernel, etc in Rust.
nixinfo A lib crate for gathering system info such as cpu, distro, environment, kernel, etc in Rust. To use: nixinfo = "0.2.8" in your Cargo.toml. Cur
A system handler to get information and interact with processes written in Rust
A system handler to get information and interact with processes written in Rust
๐Wasmer is a fast and secure WebAssembly runtime that enables super lightweight containers to run anywhere
Wasmer is a fast and secure WebAssembly runtime that enables super lightweight containers to run anywhere: from Desktop to the Cloud, Edge and IoT devices.
A Key-Value data storage system. - dorea db
Dorea DB ๐ฐ Dorea is a key-value data storage system. It is based on the Bitcask storage model Documentation | Crates.io | API Doucment ็ฎไฝไธญๆ | English
โ๏ธ Layered configuration system for Rust applications (with strong support for 12-factor applications).
config-rs Layered configuration system for Rust applications (with strong support for 12-factor applications). Set defaults Set explicit values (to pr
Use Touch ID / Secure Enclave for SSH Authentication!
SeKey About SeKey is a SSH Agent that allow users to authenticate to UNIX/Linux SSH servers using the Secure Enclave How it Works? The Secure Enclave
A pure-Rust implementation of various threshold secret sharing schemes
Threshold Secret Sharing Efficient pure-Rust library for secret sharing, offering efficient share generation and reconstruction for both traditional S
Secure storage for cryptographic secrets in Rust
secrets secrets is a library to help Rust programmers safely held cryptographic secrets in memory. It is mostly an ergonomic wrapper around the memory
A cryptographically verifiable code review system for the cargo (Rust) package manager.
image credit cargo-crev A cryptographically verifiable code review system for the cargo (Rust) package manager. Introduction Crev is a language and ec
Binary Field Encodings (BFE) for Secure Scuttlebutt (SSB)
ssb-bfe-rs Binary Field Encodings (BFE) for Secure Scuttlebutt (SSB). Based on the JavaScript reference implementation: ssb-bfe (written according to
Qdrant - vector similarity search engine with extended filtering support
Vector Similarity Search Engine with extended filtering support Qdrant (read: quadrant ) is a vector similarity search engine. It provides a productio
MesaTEE GBDT-RS : a fast and secure GBDT library, supporting TEEs such as Intel SGX and ARM TrustZone
MesaTEE GBDT-RS : a fast and secure GBDT library, supporting TEEs such as Intel SGX and ARM TrustZone MesaTEE GBDT-RS is a gradient boost decision tre
GraphScope: A One-Stop Large-Scale Graph Computing System from Alibaba
A One-Stop Large-Scale Graph Computing System from Alibaba GraphScope is a unified distributed graph computing platform that provides a one-stop envir
a prototype crate for creating modular and performant 3D CPU particle systems, inspired by Unity's Shuriken Particle System.
bevy_prototype_particles This is a prototype crate for creating modular and performant 3D CPU particle systems, inspired by Unity's Shuriken Particle
A safe implementation of the secure remote password authentication and key-exchange protocol (SRP), SRP6a and legacy are as features available.
Secure Remote Password (SRP 6 / 6a) A safe implementation of the secure remote password authentication and key-exchange protocol (SRP version 6a). Ver
Diana is a GraphQL system for Rust that's designed to work as simply as possible out of the box
Diana is a GraphQL system for Rust that's designed to work as simply as possible out of the box, without sacrificing configuration ability. Unlike other GraphQL systems, Diana fully supports serverless functions and automatically integrates them with a serverful subscriptions system as needed, and over an authenticated channel. GraphQL subscriptions are stateful, and so have to be run in a serverful way. Diana makes this process as simple as possible.
Operating system written in Rust for NumWorks calculator (model n0110)
RustWorks An OS (eventually) for the Numworks calculator (model n0110). Setup First install Rust by following these instuctions then: rustup target ad
Secure sandboxing system for untrusted code execution
Godbox Secure sandboxing system for untrusted code execution. It uses isolate which uses specific functionnalities of the Linux kernel, thus godbox no
A new operating system kernel with Linux binary compatibility written in Rust.
Kerla Kerla is a monolithic operating system kernel from scratch in Rust which aims to be compatible with the Linux ABI, that is, runs Linux binaries
Another TUI based system monitor, this time in Rust!
Another TUI based system monitor, this time in Rust!
A cross-platform graphical process/system monitor with a customizable interface and a multitude of features
A cross-platform graphical process/system monitor with a customizable interface and a multitude of features. Supports Linux, macOS, and Windows. Inspired by both gtop and gotop.
Fegeya Elitebuild, small, powerful build system. Written in Rust.
Fegeya Elitebuild Small, powerful, work-in-progress build system. Written in Rust. Features: No functions (all are built-ins) All variables are global
๐ ๏ธ | System tool for all my lovers
HEAD ๐ love-fetch Original code ferris-fetch ๐ ๐ ๏ธ System tool for all my lovers ๐ How to install it ๐จ cargo install love-fetch License ๐
A fast and small Rust library to make Electron apps more secure.
electron-hardener A Rust library and command line tool to harden Electron binaries against runtime behavior modifications. This provides a way to hard
Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง, novel OS structure, and state management. It strives to close the semantic gap between compiler and hardware in order to maximally leverage the power of language safety, and thus shift OS responsibilities (resource management) into the compiler.
Theseus OS Theseus is a new OS written from scratch in Rust to experiment with novel OS structure, better state management, and how to shift OS respon
A fast static site generator in a single binary with everything built-in. https://www.getzola.org
zola (nรฉ Gutenberg) A fast static site generator in a single binary with everything built-in. Documentation is available on its site or in the docs/co
Pure-Rust rewrite of the Linux fontconfig library (no system dependencies) - using ttf-parser and allsorts
rust-fontconfig Pure-Rust rewrite of the Linux fontconfig library (no system dependencies) - using allsorts as a font parser in order to parse .woff,
libc - Raw FFI bindings to platforms' system libraries
libc provides all of the definitions necessary to easily interoperate with C code (or "C-like" code) on each of the platforms that Rust supports. This includes type definitions (e.g. c_int), constants (e.g. EINVAL) as well as function headers (e.g. malloc).
:construction: EXPERIMENTAL :construction: Secure hidden service webserver
narnia narnia is a fast static webserver specifically designed for Tor hidden services. It's also able to spawn a Tor thread and expose itself as a hi
A cryptographically verifiable code review system for the cargo (Rust) package manager.
A cryptographically verifiable code review system for the cargo (Rust) package manager.
Secure transport for running MPC protocols backed by Signal
MPC over Signal Overview This library provides a high-level interface for connecting to Signal Server and using it to exchange messages with other con
A private network system that uses WireGuard under the hood.
innernet A private network system that uses WireGuard under the hood. See the announcement blog post for a longer-winded explanation. innernet is simi
๐จ๐ฆ A system information tool for Rustaceans
๐จ ๐ฆ ferris-fetch Inspired by gofetch ๐ ๐ ๏ธ Cross platfrom System Info Tool for Rustaceans ๐ฆ Installation ๐จ cargo install ferris-fetch Contributin
Alternative Free Identity System
Alfis Alternative Free Identity System This project represents a minimal blockchain without cryptocurrency, capable of sustaining any number of domain
Aero is a new modern, unix based operating system. It is being developed for educational purposes.
Areo Aero is a new modern, unix based operating system written in Rust and is being developed for educational purposes. Aero follows the monolithic ke
wasm actor system based on lunatic
Wactor WASM actor system based on lunatic. Actors run on isolated green threads. They cannot share memory, and communicate only through input and outp
A secure container runtime with OCI interface
Quark Container Welcome to Quark Container. This repository is the home of Quark Containers code. What's Quark Container Quark Container is high perfo
File system enumerator and monitor for Android.
File system enumerator and file monitor for Android. Built to be compatible with other command line utilties! This tool was created to somewhat automa
Open Source Rust kernel; Runs WASM and WASI as lightweight containers.
๐ณ etheryal Kernel etheryal kernel is an Open Source capability-based Kernel written in the Rust programming language. The kernel allows implementing
Operating System development tutorials in Rust on the Raspberry Pi
Operating System development tutorials in Rust on the Raspberry Pi
Basic system information fetcher, with a focus on performance.
Table of Contents: About Changelog Dependencies Benchmarks Features Installation Platform Support About Macchina Macchina lets you view basic system i
A fast static site generator in a single binary with everything built-in. https://www.getzola.org
zola (nรฉ Gutenberg) A fast static site generator in a single binary with everything built-in. Documentation is available on its site or in the docs/co
Rust client for NATS, the cloud native messaging system.
A Rust client for the NATS messaging system. Status Motivation Rust may be the most interesting new language the NATS ecosystem has seen. We believe t
Build smaller, faster, and more secure desktop applications with a web frontend.
TAURI Tauri Apps footprint: minuscule performance: ludicrous flexibility: gymnastic security: hardened Current Releases Component Descrip
Zero-details, privacy-focused in-app file system.
ZboxFS ZboxFS is a zero-details, privacy-focused in-app file system. Its goal is to help application store files securely, privately and reliably. By
Easy to use cryptographic framework for data protection: secure messaging with forward secrecy and secure data storage. Has unified APIs across 14 platforms.
Themis provides strong, usable cryptography for busy people General purpose cryptographic library for storage and messaging for iOS (Swift, Obj-C), An
a freeform Rust build system
tinyrick: a freeform Rust build system .---. ^ o{__ฯ__ o{ ^0^ -Let me out! ~~ ( // *|* \xx\) xx`|' = =
A blazingly fast static web server with routing, templating, and security in a single binary you can set up with zero code. :zap::crab:
binserve โก ๐ฆ A blazingly fast static web server with routing, templating, and security in a single binary you can set up with zero code. ๐ฅ UPDATE: N
Secure and fast microVMs for serverless computing.
Our mission is to enable secure, multi-tenant, minimal-overhead execution of container and function workloads. Read more about the Firecracker Charter
A TUI system monitor written in Rust
NO LONGER MAINTAINED. For a similar program, check out https://github.com/ClementTsang/bottom. ytop Another TUI based system monitor, this time in Rus
Secure multithreaded packet sniffer
sniffglue sniffglue is a network sniffer written in rust. Network packets are parsed concurrently using a thread pool to utilize all cpu cores. Projec
Secure drive wipe
Lethe A secure, free, cross-platform and open-source drive wiping utility. Should work with any HDD, SSD (read limitations) and flash drives. The usua
The Stupid Operating System
Stupid Operating System SOS is a simple, tiny toy OS implemented in Rust. I'm writing this mostly for fun, to learn more about OS design and kernel ha
A hobby operating system, in Rust
intermezzOS: kernel intermezzOS is a hobby operating system. This repository is for its kernel. See the website for more. License This project is dual
A secure embedded operating system for microcontrollers
Tock is an embedded operating system designed for running multiple concurrent, mutually distrustful applications on Cortex-M and RISC-V based embedded
Mirror of https://gitlab.redox-os.org/redox-os/redox
Redox is an operating system written in Rust, a language with focus on safety and high performance. Redox, following the microkernel design, aims to b
A secure embedded operating system for microcontrollers
Tock is an embedded operating system designed for running multiple concurrent, mutually distrustful applications on Cortex-M and RISC-V based embedded
(Going to be) A microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
Read this (from the creator of Nebulet) Hi everyone, It's been a while since I've looked at this repository. Nebulet is not in active development, and
A comparison of operating systems written in Rust
Rust OS comparison A comparison of operating systems written in Rust. There are several open source operating systems written in Rust. Most of them ar
Skybase is an extremely fast, secure and reliable real-time NoSQL database with automated snapshots and SSL
Skybase The next-generation NoSQL database What is Skybase? Skybase (or SkybaseDB/SDB) is an effort to provide the best of key/value stores, document
A system to programmatically run data pipelines
Factotum A dag running tool designed for efficiently running complex jobs with non-trivial dependency trees. The zen of Factotum A Turing-complete job
A secure JavaScript and TypeScript runtime
Deno Deno is a simple, modern and secure runtime for JavaScript and TypeScript that uses V8 and is built in Rust. Features Secure by default. No file,