- 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
- Seattle, WA, USA
-
08:20
(UTC -08:00) - http://moskal.me
Pinned Loading
-
-
guidance-ai/llgtrt
guidance-ai/llgtrt PublicTensorRT-LLM server with Structured Outputs (JSON) built with Rust
-
-
microsoft/devicescript
microsoft/devicescript PublicTypeScript for Tiny IoT Devices (ESP32, RP2040, ...)
-
microsoft/pxt
microsoft/pxt PublicMicrosoft MakeCode (PXT - Programming eXperience Toolkit)
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.