andriusvelykis/bibtex-ruby
A BibTeX library, parser, and converter for Ruby.
Public GitHub Catalog
Discovered Sep 25, 2026
andriusvelykis / isabelle-eclipse
Eclipse integration for Isabelle proof assistant.
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.
#4284682GitHub System ID
andriusvelykisOrganization / User
PublicVisibility
ActiveCatalog Status
More from andriusvelykis
andriusvelykis/bibdesk-scripts
Scripts for BibDesk application
andriusvelykis/pde-target-maven-plugin
Maven plugin to generate Eclipse PDE target definitions using POM-first dependencies. Supplements functionality of Eclipse Tycho to use OSGI bundles from Maven repositories in Eclipse Plug-in Development Environment.
andriusvelykis/blank-maven-skin
Blank Maven skin renders the Maven site pages without any additional skinning or decoration.