mmoskal

Follow

Michał Moskal mmoskal

Follow

210 followers · 0 following

Achievements

Achievements

Organizations

mmoskal/README.md

Stuff I (co)did

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

Links

Pinned Loading

guidance-ai/llguidance guidance-ai/llguidance Public

Super-fast Structured Outputs

Rust 634 41
guidance-ai/llgtrt guidance-ai/llgtrt Public

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

Rust 63 11
microsoft/aici microsoft/aici Public

AICI: Prompts as (Wasm) Programs

Rust 2.1k 82
microsoft/devicescript microsoft/devicescript Public archive

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

TypeScript 3.5k 129
microsoft/pxt microsoft/pxt Public

Microsoft MakeCode (PXT - Programming eXperience Toolkit)

TypeScript 2.2k 610
microsoft/uf2 microsoft/uf2 Public

UF2 file format specification

JavaScript 976 188