devhawk

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

Language:RustApache-2.04393 57 1759

matrix

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

Language:JavaScriptMIT3254 43 47

freenet-core

Declare your digital independence

Language:RustApache-2.02127 49 140

pxt

Microsoft MakeCode (PXT - Programming eXperience Toolkit)

Language:TypeScriptMIT2056 99 2607

Coq-HoTT

A Coq library for Homotopy Type Theory

Language:CoqNOASSERTION1230 61 571

eo

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

Language:JavaMIT941 34 1607

MonoMod

C# modding swiss army knife, powered by cecil.

Language:C#MIT745 21 99

messaging

Resource collection for messaging and eventing

703 53 2

msdn-code-gallery-microsoft

Samples from Microsoft teams for the MSDN Code Gallery

MIT684 40 7

MSBuildSdks

MSBuild project SDKs

Language:C#MIT436 27 200

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.

Language:TypeScriptNOASSERTION343 8 12

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.

Language:C#MIT72 8 8