andriusvelykis/bibtex-ruby
A BibTeX library, parser, and converter for Ruby.
Developer Profile
andriusvelykis
Discovered public repositories for andriusvelykis in the GitHub catalog.
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.
andriusvelykis/ml-dev
Eclipse plug-in for Standard ML
andriusvelykis/reflow-maven-skin
Reflow is an Apache Maven site skin built on Bootstrap. It allows various structural and stylistic customizations to create a modern-looking Maven-generated website.
andriusvelykis/proofprocess
ProofProcess framework to capture and analyse expert's interactive proof process. Prototype implementations for Isabelle (via Isabelle/Eclipse) and Z/EVES (via CZT/ZEves).
andriusvelykis/isabelle-eclipse
Eclipse integration for Isabelle proof assistant.
andriusvelykis/scala-nested-class-netbeans
An example that demonstrates using Scala object-nested classes in Java code in NetBeans IDE.
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.