53-day current streak·53-day longest streak
--- Active Projects agent-builder-charter > A permission slip your AI agents actually can't exceed. The name is the checklist: Context, Harness, Authority, Recovery, Telemetry, Evals, and Responsibility. Every agent ships…
---
Active Projects
agent-builder-charter !Python !YAML !Agent Governance
> *A permission slip your AI agents actually can't exceed.*
The name is the checklist: Context, Harness, Authority, Recovery, Telemetry, Evals, and Responsibility.
Every agent ships with one small charter.yaml that lists the only things it's allowed to do: which model, which tools, how much it can spend, which sites it can reach, which secrets it holds, and who owns it. A loader reads that file and is the only door. If it isn't in the charter, the agent can't do it. You can watch one agent, but you can't watch a thousand, so the rules live in the walls instead of a doc nobody reads.
---
noalgotube !Python !FastAPI !Docker
> *Self-hosted YouTube and RSS aggregator. No algorithm, no recommendations, just the channels and blogs you chose.*
Subscribe to channels and blogs and get a clean, chronological feed instead of a recommendation rabbit hole. It needs no API keys and runs entirely on your own machine.
---
YubiGPG !Security !YubiKey
> *Air-gapped GPG key generation with three-YubiKey redundancy for paranoid-level security.*
A guide and scripts for generating elliptic-curve GPG keys (ed25519/cv25519) on an air-gapped Tails OS machine, then splitting them across three YubiKeys with LUKS2-encrypted backups. Every signature needs a physical touch, because your identity is worth protecting properly.
---
Recent posts
| Post | What it's about |
|------|----------------|
| From IoT Fleets to Agent Fleets | What running IoT fleets taught me about governing fleets of AI agents, and why I wrote C.H.A.R.T.E.R. |
| Reverse Engineering IoT Devices | Tearing apart a BLE smart bulb with Wireshark and gatttool, without touching the manufacturer's SDK |
| Minimising the Delta | How to encode your values into AI agents so they do what you *actually* mean |
---
PGP / Contact
- Blog: codensolder.com
- Contact: codensolder.com/contact
- PGP Public Key: codensolder.com/public.key
bash
curl https://github.com/iayanpahwa.gpg | gpg --importKey fingerprint: 97CE 3B9E 75CF F9C7 6B9F C0A2 D87D 45E4 CCC3 57A7
---
Built with coffee and a healthy distrust of algorithms.
-
anywheredoor ★ PINNED
Cross Platform E2E encrypted clipboard sharing utility
Python ★ 101 3y agoExplain → -
CloudBadge ★ PINNED
CircuitPython powered IoT conference badge controlled over MQTT
Python ★ 5 6y agoExplain → -
Reverse-Engineering-IoT-Devices ★ PINNED
Reverse Engineering various off the shelves available IoT Devices
Shell ★ 9 9y agoExplain → -
holiday-star ★ PINNED
A holiday lights project to demonstrate how to use balena with adafruitIO
Python ★ 4 4y agoExplain → -
noalgotube ★ PINNED
A personal content aggregator for YouTube channels and blog RSS feeds. No algorithm, no recommendations, only content from sources you explicitly add.
JavaScript ★ 0 3mo agoExplain → -
YubiGPG ★ PINNED
A system for generating GPG keys on an air-gapped machine and loading them onto multiple YubiKey hardware tokens, taking backup on encrypted flash drive and a paper-key.
Shell ★ 6 10d agoExplain → -
DIY_RC_TRACNSMIITER_2.4GHz
Transmitter and Receiver code for DIY rc plane remote.
Arduino ★ 7 10y agoExplain → -
monero-miner
No description.
Shell ★ 4 4y agoExplain → -
halloween-sound-board
raspberry pi zero w based halloween sound board
Python ★ 3 4y agoExplain → -
sensor2notion
Log sensor values to Notion using Raspberry Pi
Python ★ 3 4y agoExplain → -
OpenHab-Particle-MQTT
Using OpenHab and MQTT bindings to control RGB LED or NeoPixel Strip
Arduino ★ 3 10y agoExplain → -
penguin-learn-to-solder-badge
Learn to Solder Badge #BadgeLife
★ 2 4y agoExplain → -
IKEA-AQI-Sensor-Display-ESPHome
No description.
★ 1 1y agoExplain → -
home-assistant
No description.
Dockerfile ★ 1 4y agoExplain → -
esphome-app
No description.
★ 1 4y agoExplain → -
bijli-coin
Repository to hold code, contracts and files for bijli coin token on solana blockchain
★ 1 4y agoExplain → -
manifest-demo
Demo to show functioning of Google's repo tool.
★ 1 8y agoExplain → -
iBow-T
SD1306 OLED Display based BowTie Identity
C++ ★ 1 8y agoExplain → -
IoT-Holiday-Lights
Internet of Things Holiday Lights.
HTML ★ 1 6y agoExplain → -
Automated_Plant_Watering_System
Solar based plant watering feeder based on soil moisture analog sensors.
Arduino ★ 1 11y agoExplain → -
Projects ⑂
:page_with_curl: A list of practical projects that anyone can solve in any programming language.
★ 1 9y agoExplain → -
iayanpahwa.github.io
Blog
Astro ★ 0 1d agoExplain → -
agent-builder-charter
C.H.A.R.T.E.R - Context | Harness | Authority | Recovery | Telemetry | Evals | Responsibility
Python ★ 0 1d agoExplain → -
iayanpahwa
No description.
★ 0 4d agoExplain → -
fable-mode
No description.
★ 0 15d agoExplain → -
model-montage
No description.
Python ★ 0 24d agoExplain → -
Rpi-RTSP-Webcam
Build a RTSP Streaming camera using a Raspberry Pi and USB Webcam which is highly compatible with Frigate
★ 0 3mo agoExplain → -
spidermon ⑂
Scrapy Extension for monitoring spiders execution.
★ 0 3mo agoExplain → -
balena-sound ⑂
Build a single or multi-room streamer for an existing audio device using a Raspberry Pi! Supports Bluetooth, Airplay and Spotify Connect
★ 0 4y agoExplain → -
OpenSK ⑂
OpenSK is an open-source implementation for security keys written in Rust that supports both FIDO U2F and FIDO2 standards.
★ 0 2y agoExplain → -
Prince-Shivaram ⑂
Don't just fork it :eyes: Star it :star:
★ 0 4y agoExplain → -
tweet-block
A simple RESTfull API to schedule and post on various social media channels.
Python ★ 0 4y agoExplain → -
token-list ⑂
The community maintained Solana token registry
Go ★ 0 4y agoExplain → -
community ⑂
No description.
★ 0 4y agoExplain → -
ble-lighthouse
create ble beacons on single board linux computer using balena.io
Shell ★ 0 4y agoExplain → -
balena-rpiplay ⑂
Turn a Raspberry Pi into an Airplay server using RPiPlay to enable screen mirroring on tvs, monitors and projectors.
★ 0 4y agoExplain → -
PyBeacon ⑂
Python package for scanning and advertising Eddystone-URL and Eddystone-UID.
Python ★ 0 4y agoExplain → -
my-talks
presentations mirror of talks
★ 0 4y agoExplain → -
pirate-audio ⑂
Examples and documentation for the Pirate Audio range of Raspberry Pi add-ons
Shell ★ 0 4y agoExplain → -
electric-3d-printed-turntable
No description.
Python ★ 0 5y agoExplain → -
owl-tealight
CircuitPython source code for my Programmable 3D Printed Owl Tealight project.
Python ★ 0 6y agoExplain → -
Fixture ⑂
A no-bullshit, free and open source raster graphics editor.
★ 0 7y agoExplain → -
talks
Presentations from my talks at different conferences and meet-ups
Python ★ 0 6y agoExplain → -
circuitpython ⑂
CircuitPython - a Python implementation for teaching coding with microcontrollers
★ 0 6y agoExplain → -
EazyExit-Node
No description.
C++ ★ 0 9y agoExplain → -
circuitpython-weekly-newsletter ⑂
Community newsletter for python on microcontrollers
HTML ★ 0 6y agoExplain → -
CircuitPythonDay2019 ⑂
No description.
★ 0 6y agoExplain → -
awesome-circuitpython ⑂
A curated list of awesome CircuitPython guides, videos, libraries, frameworks, software and resources.
★ 0 6y agoExplain → -
linux ⑂
Linux kernel source tree
C ★ 0 6y agoExplain → -
knifedgerc ⑂
No description.
HTML ★ 0 7y agoExplain → -
dump1090 ⑂
Dump1090 is a simple Mode S decoder for RTLSDR devices
C ★ 0 7y agoExplain → -
codeNsolder
Website for codeNsolder
HTML ★ 0 7y agoExplain → -
mentor-wall-jewel
No description.
C++ ★ 0 7y agoExplain → -
lottie-android ⑂
Render After Effects animations natively on Android and iOS, Web, and React Native
Java ★ 0 8y agoExplain → -
Turtle ⑂
Python reverse shell.
Python ★ 0 8y agoExplain → -
submodule-demo
Repo to demonstrate functioning of git submodules.
★ 0 8y agoExplain → -
FastLED ⑂
The main FastLED library (successor to FastSPI_LED). Please direct questions/requests for advice to the g+ community - http://fastled.io/+ - we'd like to keep issues to just tracking bugs/enhancements/tasks. *NOTE* library work is currently on hold - see https://plus.google.com/102282558639672545743/posts/JQKcujjaXXC for details.
C++ ★ 0 8y agoExplain → -
pubsubclient ⑂
A client library for the Arduino Ethernet Shield that provides support for MQTT.
C++ ★ 0 9y agoExplain → -
betaflight ⑂
Betaflight Flight Controller Firmware
C ★ 0 9y agoExplain → -
colour-selector-page ⑂
An HTML5 colour selector that publishes the HSV colour value to a MQTT topic (through a websocket)
JavaScript ★ 0 9y agoExplain → -
SDIoT_Training ⑂
Containing training material for all the training provided by SDIoT
Arduino ★ 0 8y agoExplain → -
PyDelhi-GameOthon
PyDelhi Meet-Up game development day.
Python ★ 0 8y agoExplain → -
google-interview-university ⑂
A complete computer science study plan to become a software engineer.
★ 0 9y agoExplain → -
SDIoT_Events ⑂
No description.
★ 0 8y agoExplain → -
knockknock ⑂
Who's there?
Python ★ 0 10y agoExplain → -
meta-toradex-yocto ⑂
No description.
BitBake ★ 0 11y agoExplain → -
shellcheck ⑂
ShellCheck, a static analysis tool for shell scripts
Haskell ★ 0 9y agoExplain → -
gopro-py-api ⑂
Unofficial GoPro API Library for Python - connect to HERO3/3+/4/5/+ via WiFi.
Python ★ 0 9y agoExplain → -
gnuradio ⑂
GNU Radio
C++ ★ 0 9y agoExplain → -
dataplicity-agent ⑂
Dataplicity Agent
Python ★ 0 9y agoExplain → -
DigisparkArduinoIntegration ⑂
DEPRECATED - REPLACED BY: https://github.com/digistump/DigistumpArduino
C ★ 0 11y agoExplain → -
raspi-setup ⑂
Setup guides for raspi features
★ 0 9y agoExplain → -
PiCam ⑂
Python code and HTML template for running the Raspberry Pi based PiCam.
Python ★ 0 12y agoExplain → -
OSX-TTS
Interacting with MAC OSX Terminal using Arduino and python over Serial (Text-To-Speech)
Python ★ 0 10y agoExplain → -
Arduino_RGB_SERIAL
Controlling RGB LED strip via Arduino serial port, by sending RGB values from a Processing Sketch
Arduino ★ 0 10y agoExplain → -
APDS-9960_RGB_and_Gesture_Sensor ⑂
Breakout board for the Avago APDS-9960 proximity, light, RGB, and gesture sensor, made by SparkFun Electronics.
C++ ★ 0 11y agoExplain →
No repos match these filters.