vJ39/CoqIDE
Emulate Coq IDE in VIM
Public GitHub Catalog
Discovered Oct 1, 2026
vJ39 / bounce.js
Create tasty CSS3 powered animations in no time.
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.
#21370923GitHub System ID
vJ39Organization / User
PublicVisibility
ActiveCatalog Status
More from vJ39
vJ39/coq.vim
Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.
vJ39/hhvm
Virtual Machine, Runtime, and JIT for PHP
vJ39/tcp_server_client
jailシステムコールを使ったtcp server/clientのサンプル