Java Tools and POCs

Brought to you by: sflamme

Add a Review

Downloads: 0 This Week

Last Update: 2017-01-21

Browse Code

Add to Preferred Sources

Java tools and proofs-of-concepts.

Project Activity

See All Activity >

Follow Java Tools and POCs

Java Tools and POCs Web Site

Other Useful Business Software

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Rate This Project

User Reviews

Be the first to post a review of Java Tools and POCs!

Additional Project Details

Registered

2009-07-17

Report inappropriate content

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

SASyLF
SASyLF is an proof assistant for reasoning about programs.
ZoKrates
A toolbox for zkSNARKs on Ethereum
Metal and Money
Metal and Money is a puzzle game involving acquiring items, meeting people, using their services. Its design goal was this: Playing M&M mirrors the activity of doing proofs in intuitionistic propositional logic. (Isn't that fascinating!?)
Java Calendar Tools
The Java Calendar Tools project will contain open source components for use in Calendar applications. The focus will be on providing tools that are in compliance with existing standards like iCal (RFC 2445).
Java Modelling Tools
Java Modelling Tools is a suite of scientific tools for performance analysis and modelling using queueing theory and colored stochastic Petri nets. Models are solved either with analytical, asymptotic or simulation methods; workload characterization tools are also included in the suite. See the project website for more details: http://jmt.sf.net