>_ Anil Madhavapeddy@avsm/
  • About
  • Projects
  • Ideas
  • Papers
  • Notes
  • Talks
  • Network
  • Links
Subscribe
AtomfullJSON Feedfull
AtompermaJSON Feedperma
>_ Anil Madhavapeddy
About
ProjectsIdeas
PapersNotesTalks
NetworkLinks
>_
2 on this site · 72 links
On this siterelevancedate2
Oh my Claude, we need agentic copilot sandboxing right now2nd Mar 2025#ai#hardware#llm#ocaml#oxcamlProgramming FPGAs using OCaml7th Feb 2025#embedded#fpga#hardware#networking#ocaml
Narrowfilter these results
2016
2025
Linkscited from entries here72
GitHub - quantifyearth/yirgacheffe: A declarative geospatial library for Python to make data-science with maps easierJan 2026github.com
[HOPE24] Modularizing Reasoning about AI Capabilities via Abstract Dijkstra MonadsMar 2025youtube.com
Adafruit RGB Matrix HAT + RTC for Raspberry Pi - Mini KitMar 2025adafruit.com
MakespaceMar 2025web.makespace.org
Valgrind HomeMar 2025valgrind.org
OCaml - Interfacing C with OCamlMar 2025ocaml.org
Fun with claudecaml by avsm · Pull Request #3 · yminsky/rpi-rgb-led-matrixMar 2025github.com
hope-2024/simple-json at main · patricoferris/hope-2024Mar 2025github.com
Build software better, togetherMar 2025github.com
rpi-rgb-led-matrix/examples-api-use at master · hzeller/rpi-rgb-led-matrixMar 2025github.com
rpi-rgb-led-matrix/include/led-matrix-c.h at master · hzeller/rpi-rgb-led-matrixMar 2025github.com
GitHub - hzeller/rpi-rgb-led-matrix: Controlling up to three chains of 64x64, 32x32, 16x32 or similar RGB LED displays using Raspberry Pi GPIOMar 2025github.com

© 1998–2026 Anil Madhavapeddy.

{} md