Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Catalog / np / agda-git-experiment
Public GitHub Catalog Discovered Sep 26, 2026

np / agda-git-experiment

darcs-bridge experiment with Agda repository

View repository on GitHub ↗ View creator profile Browse directory

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.

#6231689GitHub System ID
npOrganization / User
PublicVisibility
ActiveCatalog Status

More from np

↗

np/docker-bitcoind

Docker image that runs a bitcoind node in a container for easy deployment

Discovered
↗

np/haskoin-wallet

Implementation of a Bitcoin hierarchical deterministric wallet (BIP32) in Haskell

Discovered
↗

np/cmdcheck

Simple test framework to record and check command behaviors

Discovered
FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.