5-day current streak·28-day longest streak
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)…
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
-
llguidance ★ PINNED ▣
Low-level Guidance Parser
Rust ★ 1 2y agoExplain → -
pxt ★ PINNED ⑂
Microsoft MakeCode (PXT - Programming eXperience Toolkit)
★ 0 8mo agoExplain → -
uf2-stm32f103
UF2 bootloader for STM32F103 (Blue Pill etc)
C ★ 131 6y agoExplain → -
uf2-stm32f
UF2 bootloader for STM32F4
C ★ 127 1y agoExplain → -
blackmagic-bluepill
No description.
Visual Basic 6.0 ★ 47 3y agoExplain → -
uf2-uno
USB Mass Storage bootloader for Arduino UNO R3 with ATmega16U2
C ★ 46 8y agoExplain → -
gitwed
A git-backed WYSIWG website editing experience
JavaScript ★ 9 2mo agoExplain → -
codal-tensorflow
Tensorflow Lite for Microcontroller library for CODAL
C++ ★ 2 5y agoExplain → -
blackmagic ⑂
In application debugger for ARM Cortex microcontrollers.
C ★ 2 4y agoExplain → -
logic-jacdac
Saleae Logic 2 analyzer for JACDAC packets
Python ★ 2 4y agoExplain → -
llguidance-demo
No description.
JavaScript ★ 1 1y agoExplain → -
zephyr ⑂
Primary GIT Repository for the Zephyr Project
C ★ 1 3y agoExplain → -
vllm ⑂
A high-throughput and memory-efficient inference and serving engine for LLMs
Python ★ 1 1y agoExplain → -
llguidance-wasm
No description.
TypeScript ★ 1 1y agoExplain → -
codal-nrf52833-dk
Codal for NRF52833-DK
C++ ★ 1 3y agoExplain → -
codal-microbit-v2 ⑂
CODAL target for the micro:bit v2.x series of devices
★ 1 3y agoExplain → -
esptool-js ⑂
Javascript implementation of flasher tool for Espressif chips, running in web browser using WebSerial.
★ 1 3y agoExplain → -
devicescript-package-template
No description.
TypeScript ★ 1 3y agoExplain → -
devicescript-waveshare-pico-lcd
No description.
TypeScript ★ 1 3y agoExplain → -
dapjs ⑂
CMSIS-DAP with WebUSB
TypeScript ★ 1 9y agoExplain → -
codal-nrf52840-dk
Codal target for NRF52840 PDK
C++ ★ 1 5y agoExplain → -
swimcounter
Swimming lap counter for Pebble
C ★ 1 10y agoExplain → -
verible ⑂
Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server
★ 0 1mo agoExplain → -
verus-rb-tree
No description.
Rust ★ 0 1y agoExplain → -
fx ⑂
Terminal JSON viewer & processor
★ 0 2mo agoExplain → -
perfetto ⑂
Production-grade client-side tracing, profiling, and analysis for complex software systems.
C++ ★ 0 19h agoExplain → -
ksefkoszule
Standalone HTML to KSeF FA(3) converter for Koszule invoices
HTML ★ 0 2mo agoExplain → -
mmoskal
No description.
★ 0 1y agoExplain → -
mmoskal.github.io
No description.
HTML ★ 0 1y agoExplain → -
guidance-ws
build setup for (ll)guidance
Rust ★ 0 1y agoExplain → -
TypeChat ⑂
TypeChat is a library that makes it easy to build natural language interfaces using types.
★ 0 2mo agoExplain → -
sglang ⑂
SGLang is a fast serving framework for large language models and vision language models.
★ 0 1y agoExplain → -
llama.cpp ⑂
Port of Facebook's LLaMA model in C/C++
C++ ★ 0 1y agoExplain → -
jsonschema ⑂
A high-performance JSON Schema validator for Rust
★ 0 1y agoExplain → -
mistral.rs ⑂
Blazingly fast LLM inference.
Rust ★ 0 1y agoExplain → -
onnxruntime-genai ⑂
Generative AI extensions for onnxruntime
★ 0 1y agoExplain → -
web-llm ⑂
High-performance In-browser LLM Inference Engine
TypeScript ★ 0 1y agoExplain → -
node-llama-cpp ⑂
Run AI models locally on your machine with node.js bindings for llama.cpp. Force a JSON schema on the model output on the generation level
★ 0 1y agoExplain → -
openapi-typescript ⑂
Generate TypeScript types from Swagger OpenAPI specs
★ 0 3y agoExplain → -
guidance ⑂
A guidance language for controlling large language models.
Jupyter Notebook ★ 0 1y agoExplain → -
rquickjs ⑂
High level bindings to the quickjs javascript engine
Rust ★ 0 2y agoExplain → -
tch-rs ⑂
Rust bindings for the C++ api of PyTorch.
★ 0 2y agoExplain → -
RustPython ⑂
A Python Interpreter written in Rust
★ 0 2y agoExplain → -
candle ⑂
Minimalist ML framework for Rust
★ 0 2y agoExplain → -
tokenizers ⑂
💥 Fast State-of-the-Art Tokenizers optimized for Research and Production
★ 0 2y agoExplain → -
devicescript-pimoroni-pico-badger
No description.
TypeScript ★ 0 3y agoExplain → -
pxt-max6675 ⑂
A package for the MAX6675 component in PXT
TypeScript ★ 0 3y agoExplain → -
esp-idf ⑂
Espressif IoT Development Framework. Official development framework for Espressif SoCs.
★ 0 4y agoExplain → -
pico-sdk ⑂
No description.
★ 0 4y agoExplain → -
circuitpython ⑂
CircuitPython - a Python implementation for teaching coding with microcontrollers
★ 0 5y agoExplain → -
vscode-padauk
No description.
Makefile ★ 0 5y agoExplain → -
jacdac-msr-modules ⑂
Firmware for prototype Jacdac modules made by Microsoft Research
C ★ 0 5y agoExplain → -
jacdac-mdk ⑂
JACDAC Module Development Kit
★ 0 5y agoExplain → -
jacdac ⑂
Device and service catalogs for JACDAC (Joint Asynchronous Communications; Device Agnostic Control).
★ 0 5y agoExplain → -
Adafruit_nRF52_Bootloader ⑂
USB-enabled bootloaders for the nRF52 BLE SoC chips
★ 0 5y agoExplain → -
gesture
No description.
Jupyter Notebook ★ 0 5y agoExplain → -
edge-impulse-dynamic-link
No description.
Makefile ★ 0 5y agoExplain → -
jd-namer
Moved to https://github.com/microsoft/jacdac-multitool
TypeScript ★ 0 6y agoExplain → -
test-bom-clone
A MakeCode project
TypeScript ★ 0 6y agoExplain → -
EducationContent ⑂
Content repository for MEE
Python ★ 0 6y agoExplain → -
arm-none-eabi-gcc ⑂
GitHub action for installing arm-none-eabi-gcc
★ 0 6y agoExplain → -
pxt-ws2812b ⑂
A driver for WS2812B LEDs in MakeCode
★ 0 6y agoExplain → -
GerberTools ⑂
Tools to load/edit/create/panelizer sets of gerber files
★ 0 6y agoExplain → -
pxt-foobar123456
No description.
TypeScript ★ 0 6y agoExplain → -
STM32CubeF0
Minimized clone of https://github.com/STMicroelectronics/STM32CubeF0
C ★ 0 6y agoExplain → -
STM32CubeG0
Minimized clone of https://github.com/STMicroelectronics/STM32CubeG0
C ★ 0 6y agoExplain → -
pxt-sadas
No description.
TypeScript ★ 0 6y agoExplain → -
pxt-untitled-10
No description.
TypeScript ★ 0 6y agoExplain → -
pxt-color ⑂
Screen color helpers for MakeCode Arcade --beta
TypeScript ★ 0 6y agoExplain → -
pxt-ext-error-test ⑂
No description.
TypeScript ★ 0 6y agoExplain → -
pxt-untitled
No description.
TypeScript ★ 0 6y agoExplain → -
pxt-github-test
No description.
TypeScript ★ 0 6y agoExplain → -
pxt-hill-runner
No description.
TypeScript ★ 0 6y agoExplain → -
pxt-foobar12
No description.
TypeScript ★ 0 6y agoExplain → -
pxt-foobar3
No description.
TypeScript ★ 0 6y agoExplain → -
pxt-testwiki
test description
TypeScript ★ 0 6y agoExplain → -
pxt-space-destroyer
No description.
TypeScript ★ 0 6y agoExplain → -
pxt-qrcode ⑂
A QR code generator for MakeCode editors
★ 0 6y agoExplain → -
pxt-return-undefined
No description.
TypeScript ★ 0 6y agoExplain → -
-invalid-
No description.
★ 0 6y agoExplain → -
pxt-test-foobar
No description.
TypeScript ★ 0 6y agoExplain → -
pxt-mkc-sample
Sample MakeCode Arcade project
TypeScript ★ 0 6y agoExplain → -
fantasy ⑂
A curated list of available fantasy consoles/computers.
★ 0 7y agoExplain → -
uf2-samdx1 ⑂
MSC bootloader (based on UF2) for SAMD21
C ★ 0 7y agoExplain → -
codal-bluepill
Codal target for Blue Pill STM32F103xB boards (for PXT)
C++ ★ 0 7y agoExplain → -
CurrentRanger ⑂
Precision auto-ranging current meter (ammeter)
C++ ★ 0 7y agoExplain → -
codal-stm32f103
No description.
C++ ★ 0 7y agoExplain → -
flashware ⑂
Alternative firmware for the misfit flash
C ★ 0 10y agoExplain → -
pxt-microbit-foobar
No description.
TypeScript ★ 0 7y agoExplain → -
pxt-testbug2
No description.
TypeScript ★ 0 7y agoExplain → -
pxt-pkgtest
package test
TypeScript ★ 0 7y agoExplain → -
libopencm3 ⑂
Open source ARM Cortex-M microcontroller library
C ★ 0 7y agoExplain → -
codal-itsybitsy-m4
Codal target for Adafruit ItsyBitsy M4
C ★ 0 7y agoExplain → -
codal-samd
Codal target for ATSAMD21/51 without mbed
C ★ 0 7y agoExplain → -
samd-peripherals ⑂
A thin API above SAMD peripherals that is uniform across SAMD21 and SAMD51
C ★ 0 7y agoExplain → -
pxt-foobar
No description.
TypeScript ★ 0 7y agoExplain → -
pxt-neopixel ⑂
A Neo-Pixel package for pxt-microbit
TypeScript ★ 0 7y agoExplain → -
pxt-foobar2
No description.
TypeScript ★ 0 8y agoExplain → -
pxt-testbug
No description.
TypeScript ★ 0 7y agoExplain → -
pxt-meeting-test
Amazing package!
TypeScript ★ 0 8y agoExplain → -
pxt-for-Tom-and-James
No description.
TypeScript ★ 0 8y agoExplain → -
pxt-foobar123
My amazing package.
TypeScript ★ 0 8y agoExplain → -
pxt-test1
New test1
TypeScript ★ 0 8y agoExplain → -
pxt-test8
No description.
TypeScript ★ 0 8y agoExplain → -
codal-stm32f401re
Codal target for STM32F401RE
C++ ★ 0 8y agoExplain → -
codal-stm32
codal port to STM32 Cube
C ★ 0 8y agoExplain → -
codal-zephyr
Port of Codal to Zephyr RTOS
C++ ★ 0 8y agoExplain → -
codal-core ⑂
No description.
C++ ★ 0 8y agoExplain → -
codal-generic-f103re
No description.
C++ ★ 0 8y agoExplain → -
mbed-os ⑂
ARM Mbed OS is a platform operating system designed for the internet of things
C ★ 0 8y agoExplain → -
HoloJS ⑂
Provides a framework for creating holographic apps using JavaScript and WebGL.
JavaScript ★ 0 8y agoExplain → -
gitwed-sample
Sample web page data for GitWEd
★ 0 8y agoExplain → -
EV3-API ⑂
EV3-API for Programming the LEGO Mindstorms EV3 in C
C ★ 0 9y agoExplain → -
mbed-classic ⑂
No description.
C ★ 0 9y agoExplain → -
platformio-ltc ⑂
Platformio platform for Love-to-Code
Python ★ 0 9y agoExplain → -
BOSSA ⑂
BOSSA is a flash programming utility for Atmel's SAM family of flash-based ARM microcontrollers. The motivation behind BOSSA is to create a simple, easy-to-use, open source utility to replace Atmel's SAM-BA software. BOSSA is an acronym for Basic Open Source SAM-BA Application to reflect that goal.
C++ ★ 0 9y agoExplain → -
Adafruit_CircuitPlayground ⑂
library for Circuit Playground board
C++ ★ 0 9y agoExplain → -
git ⑂
Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.
C ★ 0 9y agoExplain → -
pxt-hello
Test package for PXT github packages
TypeScript ★ 0 7y agoExplain → -
procounter
Prostration counter for Pebble watch
C ★ 0 10y agoExplain → -
TypeScript ⑂
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
TypeScript ★ 0 10y agoExplain → -
librato-node ⑂
A Node.js client for Librato (http://librato.com/)
CoffeeScript ★ 0 11y agoExplain → -
node-restify ⑂
node.js REST framework specifically meant for web service APIs
JavaScript ★ 0 11y agoExplain →
No repos match these filters.