Skip to content
View wsxarcher's full-sized avatar

Organizations

@microsoft @OrangeSec

Block or report wsxarcher

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Verified Rust for low-level systems code

Rust 2,879 204 Updated Aug 19, 2026

An incremental parsing system for programming tools

Rust 41 3 Updated Aug 12, 2026

Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workl…

Rust 8,577 1,441 Updated Aug 19, 2026

MiniMax H3 inference engine for Mac computers

C 2,261 148 Updated Aug 11, 2026

Open-source search database for full-text, vector, and hybrid search with real-time indexing and SQL.

C++ 11,950 636 Updated Aug 19, 2026

The third-party lightweight XAML-based out-of-box-experience oriented Hyper-V virtualization software based on Host Compute System API, Remote Desktop ActiveX control and XAML Islands

C++ 1,016 59 Updated Jul 23, 2026

The 7-Zip derivative intended for the modern Windows experience

C++ 15,124 388 Updated Aug 19, 2026

Fast, Declarative, Reproducible, and Composable Developer Environments using Nix

Rust 7,330 544 Updated Aug 19, 2026

Denial is a Flutter-native Wayland compositor that puts Flutter at the foundation of the desktop, unifying the shell, motion, and application composition into one fluid experience.

Rust 373 9 Updated Aug 19, 2026

A self-improving RLM agent for coding workflows and long-running autonomous tasks.

TypeScript 17,400 1,870 Updated Aug 20, 2026

A framework for building, orchestrating and deploying AI agents and multi-agent workflows with support for Python and .NET.

Python 12,977 2,200 Updated Aug 19, 2026

Netlist API (and more) for EDA flow development

Verilog 159 24 Updated Aug 12, 2026

Property-based testing for Rust, built on Hypothesis

Rust 329 32 Updated Aug 19, 2026

Specially crafted .tar.gz with embedded chapter boundary information

Rust 136 5 Updated Aug 4, 2026

C++ wrappers (using Crubit) for Rust libraries

Rust 24 3 Updated Aug 19, 2026

A visualization grammar.

JavaScript 11,965 1,577 Updated Aug 14, 2026

A concise grammar of interactive graphics, built on Vega.

TypeScript 5,456 716 Updated Aug 19, 2026

MCP server for AI agents to explore SystemVerilog/Verilog netlists: trace connectivity, walk hierarchy, jump to source - without pasting RTL into context. Built on najaeda.

Python 15 2 Updated Aug 5, 2026

Mainline Linux / postmarketOS for the Nokia Lumia 1520 (bandit) - display, touch, USB, SSH working

Shell 8 Updated Aug 18, 2026

An agent skill that turns an HDL / RTL / SoC architecture description into a clean SVG block diagram

Python 17 Updated Aug 10, 2026

A batteries-included framework for building web apps

Rust 4,603 166 Updated Aug 19, 2026

Digital Design Equivalence Checking

C++ 99 13 Updated Aug 19, 2026

Free, open source voice dictation for macOS. On-device transcription with Apple's Speech framework. No cloud/no API keys/no account.

Swift 365 26 Updated Aug 12, 2026

Fast and exact implementation of the C++ from_chars functions for number types: 4x to 10x faster than strtod, part of GCC 12, MySQL, DuckDB, Chromium, Redis and WebKit/Safari

C++ 2,086 191 Updated Aug 17, 2026

A fast & densely stored hashmap and hashset based on robin-hood backward shift deletion

C++ 1,451 116 Updated Aug 17, 2026
Python 14,840 2,052 Updated Aug 19, 2026

XLS: Accelerated HW Synthesis

C++ 1,819 269 Updated Aug 20, 2026

Quickly rewrite git repository history (filter-branch replacement)

Python 13,157 994 Updated Jul 9, 2026

A hive mind communication platform

Rust 28,698 3,600 Updated Aug 20, 2026

Language model tokenization at GB/s

Rust 4,033 213 Updated Aug 6, 2026
Next