Showing 39 open source projects for "windows kernel program"

View related business solutions
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • Cloud tools for web scraping and data extraction Icon
    Cloud tools for web scraping and data extraction

    Deploy pre-built tools that crawl websites, extract structured data, and feed your applications. Reliable web data without maintaining scrapers.

    Automate web data collection with cloud tools that handle anti-bot measures, browser rendering, and data transformation out of the box. Extract content from any website, push to vector databases for RAG workflows, or pipe directly into your apps via API. Schedule runs, set up webhooks, and connect to your existing stack. Free tier available, then scale as you need to.
    Explore 10,000+ tools
  • 1
    Hermit Kernel

    Hermit Kernel

    A Rust-based, lightweight unikernel

    Hermit Kernel is the core component of HermitCore, a Rust-based unikernel that runs directly on hypervisors or bare-metal systems to support high-performance cloud and HPC applications. This repository contains the microkernel’s implementation, optimized for running Rust applications natively in a lightweight, single-address-space environment. Hermit Kernel is designed to reduce latency and overhead by avoiding traditional OS abstractions, while still providing essential services such as...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    RustDesk Server Program

    RustDesk Server Program

    Self-host your own RustDesk server

    rustdesk-server is the self-hosted backend for RustDesk, an open-source remote desktop solution. It provides the rendezvous and relay components that allow RustDesk clients to discover peers and traverse NATs securely, enabling direct or relayed connections when needed. By running your own server, you retain control over connection metadata and can operate entirely within your organization’s perimeter. The project targets simplicity of deployment while maintaining performance characteristics...
    Downloads: 18 This Week
    Last Update:
    See Project
  • 3
    KMON

    KMON

    Linux Kernel Manager and Activity Monitor

    The kernel is the part of the operating system that facilitates interactions between hardware and software components. On most systems, it is loaded on startup after the bootloader and handles I/O requests as well as peripherals like keyboards, monitors, network adapters, and speakers. The Linux kernel is the open-source, monolithic, and, Unix-like operating system kernel that is used in the Linux distributions, various embedded systems such as routers, and as well as in all Android-based...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Nitro Enclaves Command Line Interface

    Nitro Enclaves Command Line Interface

    Tooling for Nitro Enclave management

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Axe Credit Portal - ACP- is axefinance’s future-proof AI-driven solution to digitalize the loan process from KYC to servicing, available as a locally hosted or cloud-based software. Icon
    Axe Credit Portal - ACP- is axefinance’s future-proof AI-driven solution to digitalize the loan process from KYC to servicing, available as a locally hosted or cloud-based software.

    Banks, lending institutions

    Founded in 2004, axefinance is a global market-leading software provider focused on credit risk automation for lenders looking to provide an efficient, competitive, and seamless omnichannel financing journey for all client segments (FI, Retail, Commercial, and Corporate.)
    Learn More
  • 5
    Tock OS

    Tock OS

    A secure embedded operating system for microcontrollers

    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...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 6
    Burn

    Burn

    Burn is a new comprehensive dynamic Deep Learning Framework

    Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals. Burn emphasizes performance, flexibility, and portability for both training and inference. Developed in Rust, it is designed to empower machine learning engineers and researchers across industry and academia.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    py-spy

    py-spy

    Sampling profiler for Python programs

    py-spy is a sampling profiler for Python programs. It lets you visualize what your Python program is spending time on without restarting the program or modifying the code in any way. py-spy is extremely low overhead: it is written in Rust for speed and doesn't run in the same process as the profiled Python program. This means py-spy is safe to use against production Python code. py-spy works from the command line and takes either the PID of the program you want to sample from or the command...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 8
    baru

    baru

    A system monitor written in Rust and C

    Baru gathers the information from /sys and /proc filesystems (filled by the kernel). Except for audio and network modules that use C libraries. There is no memory leak over time. All modules are threaded. Thanks to this design (as well as Rust and C), baru is lightweight and efficient. It can run at a high refresh rate with a minimal processor footprint. The audio module communicates with the PipeWire/PulseAudio server through client API to retrieve its data. Wireless and wired modules use...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    eduOS-rs

    eduOS-rs

    A teaching operating system written in Rust

    eduOS-rs is a teaching operating system written in Rust, developed by RWTH Aachen University to support courses on systems programming and operating systems. It serves as a practical and educational tool that demonstrates key OS concepts like memory management, multitasking, privilege separation, and system call handling in a safe and modern language. Designed to run on x86_64 hardware using QEMU, eduOS-rs leverages Rust’s ownership model and type safety to reduce bugs common in low-level...
    Downloads: 0 This Week
    Last Update:
    See Project
  • BoldTrail Real Estate CRM Icon
    BoldTrail Real Estate CRM

    A first-of-its-kind homeownership solution that puts YOU at the center of the coveted lifetime consumer relationship.

    BoldTrail, the #1 rated real estate platform, is built to power your entire brokerage with next-generation technology your agents will use and love. Showcase your unique brand with customizable websites for your company, offices, and every agent. Maximize lead capture with a modern, portal-like consumer search experience and intelligent behavior tracking. Hyper-local area pages, home valuation pages and options for rich lifestyle data keep customers searching with your brokerage as the local experts. The most robust lead gen tools on the market help your brokerage, teams & agents effectively drive new business - no matter their budget. Empower your agents to generate free leads instantly with our simple to use landing pages & IDX squeeze pages. Drive more leads with higher quality and lower cost through in-house tools built within the platform. Diversify lead sources with our automated social media posting, integrated Google and Facebook advertising, custom text codes and more.
    Learn More
  • 10
    websocat

    websocat

    Command-line client for WebSockets, like netcat (or curl)

    ...Auto-reconnect and connection-reuse modes. Linux, Windows, and Mac support, with pre-built executables. Low-level WebSocket clients and servers with an overridable underlying transport connection, e.g. calling an external program to serve as a transport for websocat (for SSL, proxying, etc.).
    Downloads: 19 This Week
    Last Update:
    See Project
  • 11
    Anki

    Anki

    Anki is a smart spaced repetition flashcard program

    Anki is a free, open-source spaced repetition flashcard application designed for efficient long‑term memorization. It supports a wide variety of media types (text, images, audio, LaTeX), advanced scheduling algorithms (SM‑2, FSRS), and extensibility via add‑ons. It’s widely used for education, language learning, medical training, and more.
    Downloads: 47 This Week
    Last Update:
    See Project
  • 12
    Ferium

    Ferium

    Fast and multi-source CLI program for managing Minecraft mods

    Ferium is a fast and feature rich CLI program for downloading and updating Minecraft mods from Modrinth, CurseForge, and GitHub Releases, and modpacks from Modrinth and CurseForge. Simply specify the mods you use, and in just one command you can download the latest compatible version of all the mods you configured.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 13
    oha

    oha

    HTTP load generator, inspired by rakyll/hey with tui animation

    oha is a tiny program that sends some load to a web application and shows real-time tui inspired by rakyll/hey. This program is written in Rust and powered by tokio and beautiful tui by tui-rs. -q option works differently from rakyll/hey. It's set the overall query per second instead of for each worker.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    gping

    gping

    Ping, but with a graph

    Graphical Ping displays a color-coded realtime graph of continuous pings to a specified host. No warranties are provided on this program, it is completely free to use. Graph the execution time for a list of commands rather than pinging hosts. Resolve ping targets to IPv4 address. Resolve ping targets to IPv6 address. Uses dot characters instead of braille. Determine the number of seconds to display in the graph. Watch interval seconds (provide partial seconds like '0.5').
    Downloads: 4 This Week
    Last Update:
    See Project
  • 15
    Kata Containers

    Kata Containers

    Build a standard implementation of lightweight Virtual Machines (VMs)

    Kata Containers is an open source container runtime, building lightweight virtual machines that seamlessly plug into the container ecosystem. Kata Containers is an open source community working to build a secure container runtime with lightweight virtual machines that feel and perform like containers, but provide stronger workload isolation using hardware virtualization technology as a second layer of defense. Since launching in December 2017, the community successfully merged the best parts...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 16
    Tokei

    Tokei

    Count your code, quickly

    ...Tokei can output in multiple formats(CBOR, JSON, YAML) allowing Tokei's output to be easily stored, and reused. These can also be reused in tokei combining a previous run's statistics with another set. Tokei is available on Mac, Linux, and Windows. See installation instructions for how to get Tokei on your platform.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 17
    uutils coreutils

    uutils coreutils

    Cross-platform Rust rewrite of the GNU coreutils

    uutils is an attempt at writing universal (as in cross-platform) CLI utilities in Rust. Many GNU, Linux and other utilities are useful, and obviously some effort has been spent in the past to port them to Windows. However, those projects are written in platform-specific C, a language considered unsafe compared to Rust, and have other issues. Rust provides a good, platform-agnostic way of writing systems utilities that are easy to compile anywhere, and this is as good a way as any to try and...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 18
    Crowbook LaTeX

    Crowbook LaTeX

    Converts books written in Markdown to HTML, LaTeX/PDF and EPUB

    Crowbook's aim is to allow you to write a book in Markdown without worrying about formatting or typography and let the program generate HTML, PDF and EPUB output for you. Its focus is novels and fiction, and the default settings should (hopefully) generate readable books with correct typography without requiring you to worry about it.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    fd

    fd

    A simple, fast and user-friendly alternative to 'find'

    fd is a program to find entries in your filesytem. It is a simple, fast and user-friendly alternative to find. While it does not aim to support all of find's powerful functionality, it provides sensible (opinionated) defaults for a majority of use cases. First, to get an overview of all available command line options, you can either run fd -h for a concise help message or fd --help for a more detailed version. fd is designed to find entries in your filesystem. The most basic search you can...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 20
    MOROS

    MOROS

    MOROS: Obscure Rust Operating System

    MOROS is a hobby operating system written in Rust by Vincent Ollivier. It targets computers with an x86-64 architecture and a BIOS, typically from 2005 to 2020. It also runs well on most emulators. MOROS is open source. You can build or download an image. Check out the manual for details on how to use it. MOROS is text-based and draws inspiration from Unix and DOS to provide a simple and efficient environment for computing and communication from the command line. Each program is designed to...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Crowbook

    Crowbook

    Converts books written in Markdown to HTML, LaTeX/PDF and EPUB

    Crowbook's aim is to allow you to write a book in Markdown without worrying about formatting or typography and let the program generate HTML, PDF and EPUB output for you. Its focus is novels and fiction, and the default settings should (hopefully) generate readable books with correct typography without requiring you to worry about it. To see what Crowbook's output looks like, you can read the Crowbook guide rendered in HTML, PDF or EPUB. Crowbook will parse this file and generate HTML, EPUB,...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 22
    Toast

    Toast

    Containerize your development and continuous integration environments

    Toast is a tool for doing work in containers. You define tasks in a YAML file called a toastfile, and Toast runs them in a containerized environment based on a Docker image of your choosing. What constitutes a "task" is up to you, tasks can install system packages, build an application, run a test suite, or even serve web pages. Tasks can depend on other tasks, so Toast can be understood as a high-level containerized build system. Toast caches each task by committing the container to an...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Mangle

    Mangle

    Go library for Datalog-style logical reasoning and domain modeling

    Mangle is a programming language developed by Google for deductive database programming, serving as an advanced extension of Datalog. It is designed to unify and query data from multiple sources in a structured, declarative way while allowing developers to model complex relationships and domain knowledge beyond binary predicates. Mangle enhances traditional Datalog by introducing features such as aggregation, function calls, and optional type-checking, which make it more practical for modern...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Extism

    Extism

    The Universal Plug-in System. Extend anything with WebAssembly

    Extism is a plug-in system for everyone. We've carefully designed it to be flexible, fitting into codebases of all shapes and sizes, but opinionated enough so that things Just Work™ the way they should. Extism's goal is to make all software programmable. You can use Extism in your codebase, regardless of the programming language. We support several environments through our official Host SDKs, and are adding more language support all the time. A plug-in system is software that enables your...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    ZoKrates

    ZoKrates

    A toolbox for zkSNARKs on Ethereum

    ZoKrates is a toolbox for zkSNARKs on Ethereum. It helps you use verifiable computation in your DApp, from the specification of your program in a high-level language to generating proofs of computation to verifying those proofs in Solidity. Zero-knowledge proofs (ZKPs) are a family of probabilistic protocols, first described by Goldwasser, Micali and Rackoff in 1985. One particular family of ZKPs is described as zero-knowledge Succinct Non-interactive ARguments of Knowledge, a.k.a. zkSNARKs....
    Downloads: 1 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next