• Nemerle programming language
• Fx7 SMT solver
• vcc formal verifier for C
• Touch Develop IDE for a phone
• UF2 file format for flashing embedded devices (used in RP2040)
• MakeCode IDE for programming education
• Jacdac plug-and-play electronics
• DeviceScript TypeScript for IoT
• AICI control interface for LLMs
• Low-level Guidance library for constraining output of LLMs
• LLG-TRT OpenAI-compatible frontend for TensorRT-LLM with LLGuidance

• personal website
• work website at Microsoft Research
• papers

PinnedLoading

1. guidance-ai/llguidanceguidance-ai/llguidancePublic

   Super-fast Structured Outputs

   Rust 149 20

2. guidance-ai/llgtrtguidance-ai/llgtrtPublic

   TensorRT-LLM server with Structured Outputs (JSON) built with Rust

   Rust 43 8

3. microsoft/aicimicrosoft/aiciPublic

   AICI: Prompts as (Wasm) Programs

   Rust 2k 83

4. microsoft/devicescriptmicrosoft/devicescriptPublic

   TypeScript for Tiny IoT Devices (ESP32, RP2040, ...)

   TypeScript 3.4k 126

5. microsoft/pxtmicrosoft/pxtPublic

   Microsoft MakeCode (PXT - Programming eXperience Toolkit)

   TypeScript 2.1k 593

6. microsoft/uf2microsoft/uf2Public

   UF2 file format specification

   JavaScript 891 172