andriusvelykis/bibtex-ruby
A BibTeX library, parser, and converter for Ruby.
Public GitHub Catalog
Discovered Sep 25, 2026
andriusvelykis / isabelle-scala
A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclipse projects to work with Scala IDE for Eclipse.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#4258659GitHub 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.