devhawk

matrix

matrix (web-based green code rain, made with love)

messaging

Resource collection for messaging and eventing

MSBuildProjectCreator

A fluent API for creating MSBuild projects for use by unit tests

project-data-platform

An experimental attempt to make a CLI for supply-chain modeling for Helpful Engineering's Project Data

ts-morph

TypeScript Compiler API wrapper for static analysis and programmatic code changes.

FASTER

Fast persistent recoverable log and key-value store + cache, in C# and C++.

crypto-accumulators

Research implementation of cryptographic accumulators

automerge-classic

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

freenet-core

Declare your digital independence

MSBuildSdks

MSBuild project SDKs

templokilo

Experimental photo journal presented as a map in space and time

fxsm

A FSM procedural macro for enums

dbft3-specification

dBFT formal proofs, history and trends

ts-parsec

Writing a custom parser is a fairly common need. Although there are already parser combinators in others languages, TypeScript provides a powerful and well-structured foundation for building this. Common parser combinators’ weakness are error handling and ambiguity resolving, but these are ts-parsec’s important features. Additionally, ts-parsec provides a very easy to use programming interface, that could help people to build programming-language-scale parsers in just a few hours. This technology has already been used in Microsoft/react-native-tscodegen.

Coq-HoTT

A Coq library for Homotopy Type Theory

vscode-webview-react-boilerplate

Boilerplate for developing VSCode Extension Webview with React

lnote

a simple note-taking extension for vscode.

responsive-sass-grid

A flexible, responsive grid system written as a tight SASS module.

pxt

Microsoft MakeCode (PXT - Programming eXperience Toolkit)

Guan

Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close approximation of Prolog, with extended capabilities and some differences.

onnx

Open standard for machine learning interoperability

Harmony

A library for patching, replacing and decorating .NET and Mono methods during runtime

MonoMod

C# modding swiss army knife, powered by cecil.

eo

EOLANG, an Experimental Pure Object-Oriented Programming Language Based on 𝜑-calculus

library

ockam

Orchestrate end-to-end encryption, cryptographic identities, mutual authentication, and authorization policies between distributed applications – at massive scale.

toydb

Distributed SQL database in Rust, written as a learning project

msdn-code-gallery-microsoft

Samples from Microsoft teams for the MSDN Code Gallery

seraph-id-smart-contracts

Seraph ID Smart Contracts Template

wallet-connect-sdk

A Wallet Connect SDK for ecosystem tools