Andrius Velykis (@andriusvelykis)
github

andriusvelykis

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    201
  • Global Rank 122,768 (Top 5 %)
  • Followers 17
  • Registered over 12 years ago
  • Most used languages
    Java
         62.5 %
    Scala
         12.5 %
    AppleScript     12.5 %
    Python
         12.5 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 5,580
  • Country Ranking
    AppleScript     17
    Scala
         250
    Java
         330
    Python
         6,068

Top repositories

1

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.
Java
133
star
2

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.
Java
15
star
3

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.
Scala
15
star
4

isabelle-eclipse

Eclipse integration for Isabelle proof assistant.
Python
12
star
5

bibdesk-scripts

Scripts for BibDesk application
AppleScript
10
star
6

ml-dev

Eclipse plug-in for Standard ML
Java
9
star
7

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).
Java
4
star
8

scala-nested-class-netbeans

An example that demonstrates using Scala object-nested classes in Java code in NetBeans IDE.
Java
2
star
9

blank-maven-skin

Blank Maven skin renders the Maven site pages without any additional skinning or decoration.
1
star