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
Enterprise-Class Managed File Transfer.
For organizations that need to automate secure file transfers to protect sensitive data.
Diplomat MFT by Coviant Software is a secure, reliable managed file transfer solution designed to simplify and automate SFTP, FTPS, and HTTPS file transfers. Built for seamless integration, Diplomat MFT works across major cloud storage platforms, including AWS S3, Azure Blob, Google Cloud, Oracle Cloud, SharePoint, Dropbox, Box, and more.
The RooFit package provides a toolkit for modeling the expected numerical distributions of the results of a scientific experiment. Models created with RooFit can be used for fitting,
visualization, and Monte Carlo studies.
GLplot is a Mathematics function plotting program based on OpenGL. It can be used to plot functions in 3 dimensions. The results are not as good as Mathematica or Matlab but it gives a good example or OpenGL programming.
Respond 100x faster, more accurately, and improve your documentation
Designed for forward-thinking security, sales, and compliance teams
Slash response times for questionnaires, audits, and RFPs by up to 90%. OptiValue.ai automates the heavy lifting, freeing your team to focus on strategic priorities with intuitive tools for seamless review and validation.
D-Cog (Declarative-Cognition) is a Java based framework for training software components (reusable, object-oriented, interface-driven components). Instead of programmed, software components are trained by example to get the expected results.
Daixtrose ("Differentiable EXpression Templates - the Reusable Open Source Engine") is a C++ header library framework. With Daixtrose, building Expression Template (ET) libraries at home finally becomes easy.
Cracks of Reality is a high-quality fractal image renderer for Mac OS X. It is written in ObjC/Cocoa with the core engine in C to allow for a portable command-line version. Goals are speed, quality, and the ability to import other programs' descriptions.
Championship Generator produces a list of all the meetings which must occur between the participants of a championship. It supports championships where it is necessary to consider the matches at home and away.
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.
Lightweight backpropagation neural network in C++. The project provides a class implementing a feedforward neural network, and a class for easily train it. It is highly customizable to manage your problem and comes with a simple graphical interface.
Cross-platform C++ library for Reverse Polish Notation calculus. Focuses on providing a reusable set of RPN functionalities such as parsing, variable substitution and computation.
Elisa is an open C++ library for constraint programming and constraint solving techniques. Interval-based algorithms for solving continuous constraints require that Gaol (http://sf.net/projects/gaol) is already installed on your system.
matlab2fmex.m is a small translator which aims to convert numerical Matlab m-files to Fortran90 mex files. matlab2fmex first translates an m-file to a Fortran90 mex source file then compiles that Fortran90 file using Matlab's mex and the local compiler.
The NSketch library provides implementations of most common sketch-based algorithms (histograms, quantile, frequent items, bloom filter ...). The library is written in C# for .Net.
Math4J is a java library with an object-oriented design of some mathematical ideas: functions, primality, complex numbers, etc. It also consists of some utility methods and classes for mathematical constructions.
Automated trading system extracts stock quotes from Forex, MetaTrader and tries to detemine points to open/close orders. Using moving average. Implemented in Java. Future versions will use such cool stuff as data mining and artificial inteligance.
JResolution is a simple, flexible, easily-maintained Java program for resolution-theorem proving which allows re-configurations for the various restrictions of the resolution-rule as determined by an (expert) user.
Digital graph 1.3 is an advanced JAVA SWING component for modelling, displaying, saving and loading graphs(using XML and XMLSchema). It is fully documented and requires jdk 1.5.x.Version 1.3 adds 9 bug fixs, 3 rengineering and 4 new features.
This is the GTK+ port of euler, a program for quicly and interactively computing with real and complex numbers and matrices. It features advanced graphics capabilities and a simple programming language.
A C library, providing comfortable APIs for a wide range of Finite State Abstract Machines (NFA, DFA, FST, Bimachines, etc). Implements most of the classical algorithms in the field.
The Physicist is a high end physics simulation engine that can provide answers with reasonable accuracies(now w/ rk4 and euler options). It can currently predict the motion of many particles.It Employs OpenGL to provide cutting edge graphics support.
MathBB is a MathML-enabled Bulletin Board System. It supports itex (a simple version of Latex) input, and shows the result with MathML. It is designed for web forums focusing on mathematic related discussion.