Pinned Repositories
aws-codebuild-run-build
Run an AWS CodeBuild project as a step in a GitHub Actions workflow job.
bibdesk-scripts
Scripts for BibDesk application
blank-maven-skin
Blank Maven skin renders the Maven site pages without any additional skinning or decoration.
isabelle-eclipse
Eclipse integration for Isabelle proof assistant.
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.
ml-dev
Eclipse plug-in for Standard ML
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.
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).
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.
scala-nested-class-netbeans
An example that demonstrates using Scala object-nested classes in Java code in NetBeans IDE.
andriusvelykis's Repositories
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/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.
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/isabelle-eclipse
Eclipse integration for Isabelle proof assistant.
andriusvelykis/bibdesk-scripts
Scripts for BibDesk application
andriusvelykis/ml-dev
Eclipse plug-in for Standard ML
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/scala-nested-class-netbeans
An example that demonstrates using Scala object-nested classes in Java code in NetBeans IDE.
andriusvelykis/blank-maven-skin
Blank Maven skin renders the Maven site pages without any additional skinning or decoration.
andriusvelykis/aws-codebuild-run-build
Run an AWS CodeBuild project as a step in a GitHub Actions workflow job.
andriusvelykis/bibtex-ruby
A BibTeX library, parser, and converter for Ruby.
andriusvelykis/evaluatedexpressionandjit
andriusvelykis/pkg-fast-glob-lstat-error
Example to reproduce pkg error when using fast-glob and fs.lstat