-
aws-codebuild-run-build Public
Forked from aws-actions/aws-codebuild-run-buildRun an AWS CodeBuild project as a step in a GitHub Actions workflow job.
JavaScript Apache License 2.0 UpdatedJan 12, 2023 -
pkg-fast-glob-lstat-error Public
Example to reproduce pkg error when using fast-glob and fs.lstat
JavaScript UpdatedNov 21, 2022 -
reflow-maven-skin Public
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.
-
evaluatedexpressionandjit Public
Forked from vp-stage/evaluatedexpressionandjitJava UpdatedMay 30, 2019 -
proofprocess Public
ProofProcess framework to capture and analyse expert's interactive proof process. Prototype implementations for Isabelle (via Isabelle/Eclipse) and Z/EVES (via CZT/ZEves).
-
isabelle-scala Public
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.
-
isabelle-eclipse Public
Eclipse integration for Isabelle proof assistant.
-
bibtex-ruby Public
Forked from inukshuk/bibtex-rubyA BibTeX library, parser, and converter for Ruby.
Ruby GNU General Public License v3.0 UpdatedJan 29, 2014 -
-
-
pde-target-maven-plugin Public
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 Devel…
-
blank-maven-skin Public
Blank Maven skin renders the Maven site pages without any additional skinning or decoration.
-
scala-nested-class-netbeans Public
An example that demonstrates using Scala object-nested classes in Java code in NetBeans IDE.
{{ message }}