AI-powered SAST and AppSec platform that helps companies find and fix vulnerabilities.
Trusted by 750+ companies and performing 200k+ code scans monthly.
ZeroPath (YC S24) is an AI-native application security platform that delivers comprehensive code protection beyond traditional SAST. Founded by security engineers from Tesla and Google, ZeroPath combines large language models with advanced program analysis to find and automatically fix vulnerabilities.
Learn More
Digital business card + lead capture + contact enrichment
Your complete in-person marketing platform
Share digital business cards, capture leads, and enrich validated contact info - at events, in the field, and beyond. Powered by AI and our proprietary data engine, Popl drives growth for companies around the world, turning every handshake into an opportunity.
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL).
Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code.
The LTL specification captures...
JDiff is a Javadoc doclet which emits an HTML report of all the packages, classes, methods, and so on, which are different (the "diff" part) when two Java APIs are compared. Great for reporting what has changed between two releases of your product.
xApps,an enterprise universal platform(BPM),facilitates non IT user to build IT solution flexibly by form desinger,workflow designer & report builder etc.(We moved this prject to a new place.
ReportGUI is a Tool to design PDF report graphically.
It uses FOP from Apache and supports data access, recursive SubDetails, bar codes, and other format properties.
It too generate java source files to call from your code and show designed reports.
Virtual data rooms designed to achieve better outcomes
Now you can get ready for and experience success in M&A, divestments, capital raising, restructure, IPOs, tenders and more
Ansarada is a SaaS company that provides world-leading AI-powered Virtual Data Rooms and dealmaking tools. These tools include advanced AI insights and automation, next level Q&A and collaboration, plus pre-built, digitized and customizable workflows and checklists - known as Pathways - for M&A, capital raising, business audits, tenders and other high stakes outcomes.
JRPT is a library of JAVA objects and generic JSP files which enables the report creation offering many features at no programming cost. The package contains doc with examples of reports and their implementation in JRPT.
See http://sourceforge.net/projects/javadiff for Downloads.
JDiff is a JavaDoc doclet which emits an HTML report of all the packages, classes, methods, and so on, which are different (the "diff" part) when two Java APIs are compared. Great for reporti