avsm/avsm.github.io
code.anil.recoil.org
Public GitHub Catalog
Discovered Sep 25, 2026
avsm / oasis-old
UNOFFICIAL oasis darcs-to-git conversion
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#5592849GitHub System ID
avsmOrganization / User
PublicVisibility
ActiveCatalog Status
More from avsm
avsm/lowrisc.github.io
Public repository.
avsm/opam-boot
Bootstrap scripts to build standalone OPAM projects
avsm/ocaml-ci-scripts
Skeleton for Travis CI scripts