Discover andriusvelykis/isabelle-scala Open Source project

Stars
15
Rank 1,371,379 (Top 28 %)
Language
Scala
License
Other
Created over 12 years ago
Updated over 10 years ago

andriusvelykis

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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.

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

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

isabelle-eclipse

Eclipse integration for Isabelle proof assistant.

Python

bibdesk-scripts

Scripts for BibDesk application

AppleScript

ml-dev

Eclipse plug-in for Standard ML

Java

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

scala-nested-class-netbeans

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

Java

blank-maven-skin

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

andriusvelykis/isabelle-scala

andriusvelykis

Reviews

Repository Details

More Repositories