Search Results for "ext4 driver for windows"

The MongoDB Rust Driver is a native, idiomatic Rust client for MongoDB that gives systems software and back-end services the ability to interact with MongoDB from safe, performant Rust code. It makes extensive use of Rust’s ownership and type systems to ensure memory safety, thread safety, and predictable performance without garbage collection overhead. The driver supports common MongoDB features like CRUD operations, indexing, aggregations, change streams, and transactions, enabling full...

This repository contains a collection of tools and commands used for managing the lifecycle of enclaves. The Nitro CLI needs to be installed on the parent instance, and it can be used to start, manage, and terminate enclaves. The Nitro Enclaves kernel driver is available in the upstream Linux kernel starting with the v5.10 kernel for x86_64 and starting with the v5.16 kernel for arm64. The codebase from the 'drivers/virt/nitro_enclaves' directory in this GitHub repository is similar to the...

Tock is a secure, embedded operating system designed for microcontrollers and low-power hardware platforms. Written in Rust, it uses a novel kernel architecture where the OS runs a minimal trusted core and all userland code, including device drivers, is sandboxed and isolated. Tock is ideal for IoT devices, wearables, and embedded research projects where reliability and safety are critical. Its capability-based security model and preemptive multitasking allow developers to safely run...

Ferrite is a fast, lightweight desktop text editor built for people who spend a lot of time working in structured text formats and want a snappy, native-feeling app instead of a heavy IDE. It focuses on common “config and docs” formats like Markdown and popular structured data files, so it fits naturally into developer, DevOps, and technical writing workflows. The editor is designed around responsiveness and low overhead, prioritizing quick startup, smooth scrolling, and predictable editing...

Moss Kernel is an open-source operating system kernel project designed to explore modern OS design and provide a foundation for experimental system research and development. Rather than replicating traditional monolithic kernels exactly, it emphasizes modularity, safety, and simplicity by incorporating well-structured subsystems for memory management, scheduling, and device abstraction that are easy for contributors to understand and extend. The kernel uses Rust as its primary implementation...

NeatDisk is a fast, lightweight disk cleaner for Windows. It gives you a clear picture of where your storage is going and the tools to take it back — without the bloat of traditional PC cleaners. Features: - Junk file cleaner — remove temporary files, browser caches, and Windows leftovers - Duplicate finder — find and delete exact duplicate files wasting space across your drives - Large file finder — quickly surface the biggest space hogs on any drive or folder - Disk usage analyzer — visual breakdown of what's eating your storage - Driver store cleaner — safely prune outdated driver packages from the Windows Driver Store - Stale file detector — identify files you haven't touched in months or years - Startup manager — control which programs launch at boot to keep Windows snappy - App uninstaller — cleanly remove installed programs - Restore point manager — review and trim old system restore points - Disk health monitor — check drive S.M.A.R.T. sta

Tabularis is a free, open-source desktop database client for PostgreSQL, MySQL/MariaDB, and SQLite. Built with Rust and Tauri v2, it is fast, lightweight, and cross-platform (Windows, macOS, Linux). Features: SQL Notebooks with inline charts and cross-cell variables. AI-powered SQL assistant (OpenAI, Claude, Ollama, and more). Built-in MCP server for AI agent integration. Visual Query Builder with drag-and-drop JOINs. Plugin system to add any database driver. Monaco-based editor with smart autocomplete. High-performance data grid with inline editing. ...

LibertyOS Kernel is the core component of the LibertyOS operating system project, focused on creating a secure, privacy-respecting OS from the ground up. Written primarily in C and C++, the kernel is being developed to support modern hardware, incorporate essential system services, and maintain transparency in design. LibertyOS is built with an emphasis on user freedom, aiming to avoid corporate tracking, offer user-centric control, and provide a robust alternative to mainstream operating...