Search Results for "eclipse-jpf" - Page 3
Sort By:
Showing 92 open source projects for "eclipse-jpf"
View related business solutions-
Our Free Plans just got better! | Auth0You 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.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
1
Microchip's PIC simulator. Simulates a circuit with dispositives as a P16F84 microcontroller, LEDs, displays and LCDs. Extensible with plugins.
-
2
-
3
QuickREx is a regular-expression plugin for Eclipse. It features on-the-fly evalution, code-completion, group-navigation, different engines and a library for regular expressions. QuickREx also runs as a standalone application - check the downloads.
-
4
An Eclipse plugin to help create, edit and transform Educational Modeling Languages (EML), i.e. semi-formal languages describing teaching/learning strategies. It uses the Eclipse Modeling Framework (EMF) to automatically generate e-learning applications.
-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
5
-
6
Serenal is an easy to install (unzip and run) documents library system mainly focused on the automatic management of the e-books collection. The main features of the system are: automatic ISBN recognition (during import), full text search and many others
-
7
Jump Start UI is a development tool that jumpstarts your UI development by generating initial display and binding code based on the JavaBean. Genertes code for HTML, SWT, and other languages/libraries.
-
8
-
9
Sounder is a spell checker that allows user to enter a word as they think it should sound not as they think it is spelled. A list of similar sounding words is returned to the user with the correct spelling.
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
10
SubmiTAU is a system which enables a student to download a given exercise into its Eclipse environment and then submit his solution via it. A grader can then evaluate the solution of the student, and the student can view the comments and the grade.
-
11
Archivio dei sorgenti e delle librie di un'applicazione per la gestione e l'archiviazione e la catalogazione di cd e dvd, scritta in tapestry
-
12
-
13
The Eclipse XML-Security Plug-In allows you to experiment with the W3C recommendations on digital signatures and encryption and to learn all about their background. Arbitrary XML documents can be canonicalized, signed, verified and en- or decrypted.
-
14
The grinj is a complete suite with compiler, VM and IDE for the language "grinj". it can be used as-is or as basis for your own compiler-VM-IDE-suite.
-
15
Es handelt sich hier um ein Plugin-Projekt für Eclipse, ins Leben gerufen, da wir an der Uni SML programmiert haben und ich einfach keine manierliche Entwicklungsumgebung finden konnte.
-
16
-
17
-
18
Blubber system is an Eclipse RCP application for distributed systems modeling. Designed for university researches and inlcudes: task graph editor; graph transformation tools; graph modelling on distributed system; real-time modelling on GerdaFramework.
-
19
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms. Silicis is a new formal framework for designing [verification] algorithms.
-
20
Sorry this tutorial is for Eclipse 3..1 and will not be updated. This tutorial will demonstrate how to setup the Open Source Eclipse IDE, and create a small fully branded Eclipse Rich Client Platform application..
-
21
mcuStudio is a development environment for Microcontrollers. It's based on Eclipse (plugin). The aim is to provide a high quality development environment for electronics. First editions will target Microchip Pic mcu's. Other mcu will be supported later.
-
22
Gild is an Eclipse plugin that supports the teaching and learning of programming. Gild currently enables teachers to integrate course materials with code examples. Current project work includes improving collaborative, customization, and marking support.
-
23
The Eclipe Eiffel Development Tools (EDT) are a set of plugins which eventually implement a full-fledged, highly integrated Eiffel development environment based on the Eclipse Platform. The EDT plugins contribute a number of facilities specific to Eiffel
-
24
BasicJ is a Java API that emulates a variant of the BASIC Language. It is intended as a tool for teaching first time students of computer programming and a stepping stone into Java. It can also be used by adv. users who need easy access to a 2D interface
-
25
CARLOS project consists of a service-oriented framework and a set of facilities to support the collaborative annotation of learning objects, integrated in the authoring process.