Get Avast Free Antivirus | Your top-rated shield against malware and online scams
Boost your PC's defense against cyberthreats and web-based scams.
Our antivirus software scans for security and performance issues and helps you to fix them instantly. It also protects you in real time by analyzing unknown files before they reach your desktop PC or laptop — all for free.
Free Download
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.
This sourceforge site for the project is now DEPRECATED and not updated.
All current work and new releases are on github: https://github.com/OpenJML/OpenJML.
The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc.
The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary...
Green, an Eclipse plugin, is an advanced yet simple UML class-diagram tool, developed primarily for student use. It does live round-tripping, so it's easy to move between diagram and code views. It's extensible: users can define their own relations
SILENT is a Scratch modification that interfaces with LEGO MINDSTORM NXT 2.0 robot.
It's based on Scratch 1.4.2, developed in JAVA, Squeak and Bash scripting.
It's supported by Linux and Windows XP/7, in which it was tested. It required JAVA>=6.
Easy to setup and easy to learn!
Please leave your review to help me to improve it!
Ensure the availability of your data with coverage across AWS, Azure, and GCP on MongoDB Atlas—the multi-cloud database for every enterprise.
MongoDB Atlas allows you to build and run modern applications across 125+ cloud regions, spanning AWS, Azure, and Google Cloud. Its multi-cloud clusters enable seamless data distribution and automated failover between cloud providers, ensuring high availability and flexibility without added complexity.
Build your program from scratch of flowcharts with comfortable and nice visual designer. Interpret resulting diagram to pure C++ code and run it just in the same environment. Flowcharts interpreter is best optimized solution for newbie programmers.
QWACK is a computer application aimed primarily at students and scientists allowing them to explore and experiment the concepts of computer programming by using the simple, but yet powerful graphical interface.
System Designer is a software framework for domain specific languages based on model-driven generative programming. DSPE is one of the development environment based on System Designer. Audio n-Genie is a specialization of DSPE for the audio domain.
JUnit Generator can automatically generate junit test cases for a specific class or method of Java; Fully supports the characteristics of object-oriented like generic type, complex class type generation etc.
The ability to assemble software by "plugging" it together has been a goal of software engineering. This project aims to provide tools related to this goal such as: "pins" as component connectors. static reasoning about software. Use of state machines.
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
JPlate represents a collection of reusable frameworks, tools, utilities and Javasourcecode. Ideally JPlate will provide the plumbing by which constructing solutions (for example applications) will be simplified.
Java API for implementing any kind of Genetic Algorithm and Genetic Programming applications quickly and easily. Contains a wide range of ready-to-use GA and GP algorithms and operators to be plugged-in or extended. Includes Tutorials and Examples.
A traslator from BPEL4WS processes to YAWL workflows that works with translation patterns. It takes a BPEL document in input and creates a YAWL workflow that rapresents it.
Visual SQL Builder is a graphical PostgreSQL client written in java that will allow users to Visually build a complete SQL statement, without typing any clause. Building complex SQL queries in an easy way, reducing debugging, syntax and logic errors.
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.
This Project is oriented to the people recently initiated in programming. The aim of this project is to translate pseudo code to real pascal code for testing. And with plugins or dictionaries, It can translate to any programation language.
JFrame is Model View Controller Model2 framework for Web based applications written
in Java language. It is very simple and emphasis on security and stability.
Because of it simplicity this framework can be used and for studying
purposes.
frCoder is a set of tools used to write, test, and simulate software written for the FIRST Robotics Competition (FRC). frCoder also includes basic libraries of common techniques used in the FRC.
Visual DB Script is an editor PHP,ASP,HTML(can support other languages) that integrate the functionally of a Database Manager (like Access or MySQL). It supports Scripting Developers with specifical SQL commands and an SQL Query Designer
It's a tools generating some graphics interfaces for applications in Java language. It's to gain a lot of time while building some windows. The Swings classes are very difficult to use! (especially the Layouts)
We describe the windows content in XML!
JSCode is a simple XML representation of programs. The JSCode project provides tools to build programs in JSCode. The tools display code as blocks. You can output programs as Java or C or Mindscript for Lego RCX robots and more.
jUDO (java Universal Data Objects) handles coding against a database Independent of database (plugins for db2/Oracle/Cloudscape/mysql/mysql etc).The code is generated "runtime" , just give the method names and jUDO derives the code/sql.
Gnubert will be a system to use the power of many computers across the internet to solve problems using evolutionary techniques. Any user may define a problem and the system will attempt to solve it.
Este é um projeto acadêmico, desenvolvido pelos alunos da Univali do campus de São José, estudantes da Linguagens formais e autômatos. O objetivo deste trabalho é desenvolver um projeto de compiladores.