mmoskal - Overview

mmoskal - Overview

Skip to content

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

Super-fast Structured Outputs

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

Rust 68 11
AICI: Prompts as (Wasm) Programs

Rust 2.1k 82
TypeScript for Tiny IoT Devices (ESP32, RP2040, ...)

TypeScript 3.5k 130
Microsoft MakeCode (PXT - Programming eXperience Toolkit)

TypeScript 2.3k 626
UF2 file format specification

JavaScript 1k 192