The HOL Light theorem prover

AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.

NDLOCR‑Lite application repository (including source code)

SQL Native Memory Layer for LLMs, AI Agents & Multi-Agent Systems

NetCoreDbg is a managed code debugger with GDB/MI, VSCode DAP and CLI interfaces for CoreCLR.

A Rust library designed to facilitate the conversion of various document formats into markdown text.

Visualize debugging sessions in neovim

An extension for nvim-dap providing configurations for launching go debugger (delve) and debugging individual tests

A git diff pager based on delta but with a file tree, à la GitHub.

An efficient, reliable parser for CommonMark, a standard dialect of Markdown

WIN32 native port of BusyBox.

A TUI RSS reader with vim-like controls and a local-first, offline-first focus

Multi-platform SDK for integrating GitHub Copilot Agent into apps and services

A modern replacement for ps written in Rust

A security-focused library OS supporting kernel- and user-mode execution

GitHub Copilot CLI brings the power of Copilot coding agent directly to your terminal.

Open-source search and retrieval database for AI applications.

ONNX Runtime: cross-platform, high performance ML inferencing and training accelerator

Japanese word embedding with Sudachi and NWJC 🌿

This repository contains the source code for various .NET Core runtime diagnostic tools and documents.

OpenEverest is an open-source platform for automated database provisioning and management. It supports multiple database technologies and can be hosted on any Kubernetes infrastructure, in the clou…

winapp, the Windows App Development CLI, is a single command-line interface for managing Windows SDKs, packaging, generating app identity, manifests, certificates, and using build tools with any ap…

A modern TLS library in Rust

Ping, but with a graph

A human-friendly and fast alternative to cut (and sometimes awk)

🛍 JSON schemas for Neovim

ClickHouse® is a real-time analytics database management system

The SQL IDE for Your Terminal.

A cross-platform TUI database management tool written in Go.

JIT Groups is an open source application that lets you implement secure, self-service access management for Google Cloud using groups.