Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.
TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
Learn More
SOCRadar Extended Threat Intelligence Platform
Get real-time visibility into vulnerabilities, leaked data, and threat actor activity targeting your organization.
SOCRadar Extended Threat Intelligence, a natively single platform from its inception that proactively identifies and analyzes cyber threats with contextual and actionable intelligence.
CLEXW is a Cross-Language Extension for XWeaver (http://www.xweaver.org/). It is an aspect weaver which allows programmer to use the same aspect for weaving C++ or Java source code.
A prototype input method for OCZ's NIA headset allows full text entry. It is based on Morse Code (3 keystrokes generated from the NIA software) and can produce full English text with all ASCII symbols, uppercase and lowercase.
Its an Eclipse 3.5 Plugin.
It can be used to find linear paths for unit testing of any method.
The linear path covers all the child methods and till leaf level of the hierarchy.
The packages which should be covered in the path can be controlled.
Regpack is a powerful onboarding, registration, and payments platform trusted by thousands of organizations worldwide. Our mission is simple: to give you the tools to automate busywork, streamline your processes, and keep your focus where it belongs, on growing your programs and serving your clients.
This project will add support for editing Oracle PL/SQL objects right inside the NetBeans IDE, including syntax highlighting, code folding and indentation.
See Wiki for more information.
Mailster is a project aimed at testing software mail capabilities. It provides a mail server container to test emails sent by your apps without rewriting your application code.
BLOAT is a Java bytecode optimizer and class rewriter implemented entirely in Java. By optimizing Java bytecode, code improvements can occur regardless of the compiler that compiled the bytecode or the virtual machine on which the bytecode is run.
dbt Labs empowers data teams to build reliable, governed data pipelines—accelerating analytics and AI initiatives with speed and confidence.
Data teams use dbt to codify business logic and make it accessible to the entire organization—for use in reporting, ML modeling, and operational workflows.
Commons-SSH is a thin bridge between different Java SSH implementations libraries. It doesn't contain any crypto-related code and created to be used by projects who doesn't want to care about export control regulations (let client to decide)
JDemo is the Java demonstration framework. It provides a new approach for demo driven software development: When developing software you write short code snippets. Those demos can then be used for code documentation and demonstrating the program output.
littleface is MVC j2ee framework,also has its own permanent layer.At present,support oracle, mysql. so using very simple, i hope you like to join. new :security authentication framework can be configured
CHAMELEON is a declarative framework for tailoring adaptable Java applications for resource-constrained devices and can be used for tackling a form of adaptation to the execution context.
Tonic is a graphical interface for playing chess on Internet Chess Servers (especially FICS). It is based on Jin's source code. Read more about features and development at tonic-chess.blogspot.com and at http://kenai.com/projects/tonic
A spring utility that makes developing with spring a little easier by enabling, with minimal code, runtime wiring, static ApplicationContext access, easy spring application creation and FitNesse-Spring integration
This java based application translates an entity-relationship-model into code. Currently implemented are generators for: PHP5 classes, PHP5 data access objects (interfaces and implementations), MySQL5 tables and HTML forms.
ECL is a system-level specification language for HW/SW designs and is based on Esterel and C.
The ECL compiler parses ECL, writes Esterel and C, and uses the Esterel compiler to produce an implementation.
Originally developed at Cadence Berkeley Labs.
This program allows you to create a transmission hologram using just a computer, a laser-printer, and an overhead transparency. This hologram will behave like one created using a laser and can be projected or viewed with a point source.
An alternative/custom Minecraft server, written in Java, compatible with the original protocol. OpenCraft is built upon Apache MINA, SLF4J, Jython and XStream. The aim is to have features not in the official server distribution, like antigrief/scripting.
A framework that compares performance of different pieces of code. Available in four languages: c#.net (SharpKinoko), java (JKinoko), c (CKinoko) and c++ (CppKinoko)
Chex4j allows you to document and enforce @pre and @post conditions of method calls with runtime or build time class file instrumentation. Conditions run as fast as normal code.
The Swarm Framework was created by the Santa Fe Institute for multi-agent based simulations. The original source code was written in Objective C. This project aims to create a replacement for Swarm bindings for Java which needs native code to work.
Scooter framework is a high-productivity full-stack Java web framework. With Scooter, you can build RESTful database-backed web applications in minutes in Java. You will enjoy Ruby-on-Rails-like development style and much more.