Anil Madhavapeddy
Community@avsm · Cambridge, UK
Professor of Planetary Computing, University of Cambridge
Agent Skills by Anil Madhavapeddy
Showing 16 vetted skills indexed across 2 GitHub repositories.
avsmocaml-tutorials
Automate creation of interactive OCaml tutorials from .mld sources with MDX.
avsmocaml-npm-publishing
Publish OCaml libraries to npm for browser targets using js_of_ocaml and wasm_of_ocaml.
avsmmemtrace
Instrument OCaml builds with memtrace to collect and compare allocation traces.
avsmocaml-docs
Fix odoc reference syntax and disambiguation errors in OCaml documentation.
avsmocaml-testing
Structure OCaml test suites with Alcotest, Eio, and Dune conventions.
avsmocaml-project-setup
Standardize OCaml project metadata and scaffold library files with CI templates.
avsmocaml-code-style
Standardize OCaml coding style with interface-first design and Option/Result patterns.
avsmocaml-dune-migration
Migrate OCaml builds from ocamlbuild/topkg to dune.
avsmfuzz
Fuzz-test OCaml parsers, encoders, and state machines with Crowbar.
avsmeffects
Design OCaml 5 algebraic effects-based APIs and streaming components with Eio or affect.
avsmcmdliner
Design and implement OCaml CLIs with cmdliner and dune projects.
avsmjsont
Parse and generate JSON for OCaml types with type-safe Jsont codecs.
avsmoxcaml
Extend OCaml with unboxed types, stack allocation, and safe parallelism.
avsmocaml-rfc-integration
Fetch plain-text RFCs from the IETF datatracker into spec/ for OCaml projects.
avsmeio
Coordinate OCaml concurrent workflows with Eio fibers, switches, and resource lifecycles.
avsmoxmono-diff
Diff OxCaml vendored packages against pristine upstream sources.