A Rust implementation of OpenHTTPA, establishing a novel paradigm for high-assurance confidential computing by enforcing cryptographic termination directly within hardware-isolated environments.

Rudimentary Roam replica with Org-mode

⭐ Vim for Visual Studio Code

Human-AI Collaborative Data Science Using Visual Workflows

The industry-leading GraphQL client for TypeScript, JavaScript, React, Vue, Angular, and more. Apollo Client delivers powerful caching, intuitive APIs, and comprehensive developer tools to accelera…

Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

A Coq library for Homotopy Type Theory

Cloudflare Tunnel client

An unofficial Copilot plugin for Emacs.

Multi platform setup for Rocq, Rocq libraries and tools

An Emacs framework for the stubborn martian hacker

A set of keybindings for evil-mode

Neovim plugin for GitHub Copilot

The extensible vi layer for Emacs.

《软件基础》中译版 Software Foundations Chinese Translation

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

Confidential Containers Shim Firmware

🍀 Next-generation, purely functional package manager for the Emacs hacker.

Process-based Confidential Container Runtime

Emacs client/library for the Language Server Protocol

Free monospaced font with programming ligatures

Apache Mnemonic Site

Empowering everyone to build reliable and efficient software.

Write interactive web app in script way.

Apache Teaclave™ is an open source universal secure computing platform, making computation on privacy-sensitive data safe and simple.

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

A management framework for extending Kubernetes with Operators

Emacs libvterm integration

Mirror of GNU Emacs