Peli de Halleux's repositories
devicescript-adafruit-io
A DeviceScript library to use Adafruit IO
devicescript-arduino-nano-esp32
DeviceScript board definition
devicescript-dom
A DOM layout for devicescript screen.
devicescript-note
A DeviceScript library to use blues.io notecard
pxt-kitronik-air-quality
Extension for Kitronik Air Quality & Environmental Board for BBC micro:bit
react-blockly
A React component that embeds a Blockly visual programming editor.
banditypes
🤠🧨 The mighty 400-byte schema validator for TS / JS
chatgpt-retrieval-plugin
The ChatGPT Retrieval Plugin lets you easily find personal or work documents by asking questions in natural language.
devicescript
TypeScript for Tiny IoT Devices (ESP32, RP2040, ...)
docusaurus
Easy to maintain open source documentation websites.
jacdac-pico
DeviceScript for RP2040
kicad-jacdac
Designs and resources for the Microsoft Jacdac project
langflow
⛓️ LangFlow is a UI for LangChain, designed with react-flow to provide an effortless way to experiment and prototype flows.
LlamaIndexTS
LlamaIndex is a data framework for your LLM applications
markdown-frontmatter-ai
Markdown Frontmatter generator using OpenAI - Visual Studio Code
octokit-plugin-create-pull-request
Octokit plugin to create a pull request with multiple file changes
promptfoo
Test your prompts, models, and RAGs. Catch regressions and improve prompt quality. LLM evals for OpenAI, Azure, Anthropic, Gemini, Mistral, Llama, Bedrock, Ollama, and other local & private models with CI/CD integration.
pxt-kitronik-accessbit
Custom blocks for the ACCESS:bit with BBC micro:bit
pxt-kitronik-stopbit
Custom blocks for STOP:bit for BBC micro:bit
pxt-kitronik-zip-64
Custom blocks for www.kitronik.co.uk/5626 :GAME ZIP64 for micro:bit
sudolang-llm-support
SudoLang LLM Support for VSCode
vitest
Next generation testing framework powered by Vite.
vscode-extension-samples
Sample code illustrating the VS Code extension API.
z3
The Z3 Theorem Prover