Pinned Loading

1. token_adalt token_adalt Public

   (Unofficial) Rust library for acquiring token from Azure Active Directory.

   Rust

2. microsoft/bond microsoft/bond Public archive

   Bond was a cross-platform framework for working with schematized data. The open-source project ended on March 31, 2025.

   C++ 2.6k 332

3. ponyc ponyc Public

   Forked from ponylang/ponyc

   🐴 Pony is an open-source, actor-model, capabilities-secure, high performance programming language

   Pony 1

4. curve curve Public

   A HTTP utility library built on top of curl and libuv

   C++

5. Agdventures Agdventures Public

   Forays into theorem proving with Agda (and some fragments of Rocq). We explore algorithms, logic, and proofs through a series of live-coding sessions (and some badly animated dialogue between Achi…

   Agda