Dafny is a verification-aware programming language

Developer documentation for Edge.

Documentation for the npm registry, website, and command-line interface.

This is a community space for Microsoft Edge Add-ons developers, to share resources and information about building, publishing and growing their Microsoft Edge extension.

The https://freeCodeCamp.org open source codebase and curriculum. Learn to code for free together with millions of people.

Flutter makes it easy and fast to build beautiful apps for mobile and beyond

A modular graph-based Retrieval-Augmented Generation (RAG) system

Vite Vue Plugins

This starter-kit uses the Zoom Video SDK to build a telehealth app on Web

The Travis CI Documentation

Mozilla's Update Server

syntaxgo is a wrapper around Go's go/ast Abstract Syntax Tree and Go's reflect package - designed to make it easier to analyze code and ultimately automate the generation.

A pure Rust implementation of WebRTC

One-click deploy of a Knowledge Graph powered RAG (GraphRAG) in Azure

A probot app that welcome new users

🚀 Efficiently (pre)training foundation models with native PyTorch features, including FSDP for training and SDPA implementation of Flash attention v2.

Python tool for converting files and office documents to Markdown.

Tools that provide common build infrastructure for multiple .NET Foundation projects.

Config files for my GitHub profile.

A powerful, flexible, Markdown-based authoring framework.

A tool to monitor and track the status of all Web Platform features across dimensions that are related to availability and implementation quality across browsers, and adoption by web developers.

Track 500+ Awesome List Updates, Track it - not just star it!

GitHub Actions runner images

The open-source repo for docs.github.com