syzkaller
syzkaller is an unsupervised coverage-guided kernel fuzzer. Supports FreeBSD, Fuchsia, gVisor, Linux, NetBSD, OpenBSD, and Windows. Initially, syzkaller was developed with Linux kernel fuzzing in mind, but now it's being extended to support other OS kernels as well. Once syzkaller detects a kernel crash in one of the VMs, it will automatically start the process of reproducing this crash. By default, it will use 4 VMs to reproduce the crash and then minimize the program that caused it. This may stop the fuzzing, since all of the VMs might be busy reproducing detected crashes. The process of reproducing one crash may take from a few minutes up to an hour depending on whether the crash is easily reproducible or non-reproducible at all.
Learn more
Semantic Kernel
Semantic Kernel is a lightweight, open-source development kit that lets you easily build AI agents and integrate the latest AI models into your C#, Python, or Java codebase. It serves as an efficient middleware that enables rapid delivery of enterprise-grade solutions. Microsoft and other Fortune 500 companies are already leveraging Semantic Kernel because it’s flexible, modular, and observable. Backed with security-enhancing capabilities like telemetry support, hooks, and filters you’ll feel confident you’re delivering responsible AI solutions at scale. Version 1.0+ support across C#, Python, and Java means it’s reliable, and committed to nonbreaking changes. Any existing chat-based APIs are easily expanded to support additional modalities like voice and video. Semantic Kernel was designed to be future-proof, easily connecting your code to the latest AI models evolving with the technology as it advances.
Learn more
Minoca OS
Minoca OS is an open-source, general purpose operating system designed specifically for feature-rich embedded devices. It's got all the high-level functionality that you've come to expect from an operating system, but offers it in a fraction of the memory footprint. The driver API separates device drivers from the kernel, enabling driver binaries to remain compatible even when the kernel is updated. Driver separation allows for automatic loading and unloading of device drivers on demand. Hardware layer API allows for a single unified kernel, even on ARM. No need to maintain a separate kernel fork. A unified power management architecture allows for smarter power management decisions, leading to better device battery life. Fewer background tasks and wake-ups from idle means machines can reach deeper idle states and save even more power. Proprietary and non-GPL source licenses are available, keeping options open for your customers and end users.
Learn more
Wafer
Wafer delivers the fastest open source LLMs for enterprise through serverless and dedicated inference built for production AI workloads. Its serverless inference gives teams access to top open models with no infrastructure, no deployment overhead, and fast APIs, including GLM-5.2-Fast for low-latency inference with EAGLE speculative decoding and a per-stream throughput SLA, GLM-5.2 as a flagship model with stronger coding and reasoning capabilities, and more. Wafer’s technology uses agents that optimize inference across the stack, identifying and enhancing bottlenecks in orchestration, algorithms, serving engines, GPU kernels, and diverse hardware. It profiles the stack to see whether latency or throughput comes from scheduling, decoding, kernels, memory pressure, or hardware fit, then tries many paths and ships the measured winner. Instead of relying on a single switch or heuristic, Wafer searches model, engine, kernel, and hardware combinations.
Learn more