eclipse-jpf free download

Showing 4 open source projects for "eclipse-jpf"

View related business solutions

Software Development Scala Clear Filters & Widen Search

Our Free Plans just got better! | Auth0
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now
Stop vibe-debugging.
Plug Claude into your app's actual errors.

AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.

Free 30 days.
1

Play Framework

A high velocity web framework

Play Framework makes it easy to build web applications with Java & Scala. The Play Framework combines productivity and performance making it easy to build scalable web applications with Java and Scala. Play is developer friendly with a "just hit refresh" workflow and built-in testing support. With Play, applications scale predictably due to a stateless and non-blocking architecture. By being RESTful by default, including assets compilers, JSON & WebSocket support, Play is a perfect fit for...

Downloads: 1 This Week

Last Update: 2026-05-20
See Project
2

Metawidget

Metawidget is a smart User Interface widget that populates itself, at runtime, with UI components to match the properties of your business objects. Supports Swing, Java Server Faces (JSF), GWT, Spring, Struts, Android, Hibernate, Groovy, JPA and more

7 Reviews

Downloads: 0 This Week

Last Update: 2015-12-15
See Project
3

Isabelle/Eclipse

Eclipse integration for Isabelle proof assistant

...By building on Eclipse it inherits various IDE goodies out of the box. This SourceForge project is used to distribute Isabelle/Eclipse files - the source code and issue management is available on GitHub: http://github.com/andriusvelykis/isabelle-eclipse Visit Isabelle/Eclipse website at http://andriusvelykis.github.com/isabelle-eclipse

1 Review

Downloads: 0 This Week

Last Update: 2013-05-27
See Project
4

JVMLense

The open source profiler for the jvm.

Get an inside view of your application. Find bottlenecks by looking at the development of the duration of your main business methods over time even in production. Find the cause of those bottlenecks by applying the profiling capabilities of JVMLense.

Downloads: 0 This Week

Last Update: 2014-12-19
See Project
AI-powered service management for IT and enterprise teams
Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.

Try it Free