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
Fully managed relational database service for MySQL, PostgreSQL, and SQL Server
Focus on your application, and leave the database to us
Cloud SQL manages your databases so you don't have to, so your business can run without disruption. It automates all your backups, replication, patches, encryption, and storage capacity increases to give your applications the reliability, scalability, and security they need.
Chryzodus is a chryzode renderer using Allegro graphics library. Chryzodes are mathematically rendered images which are graphical representations of mathematical operations and relations between numbers. This is a proof maths can be incredibly beautiful !
For SaaS builders, software companies, ISVs and ISOs who want to embed payments into their tech stack
NMI Payments is an embedded payments solution that lets SaaS platforms, Software companies and ISVs integrate, brand, and manage payment acceptance directly within their software—without becoming a PayFac or building complex infrastructure. As a full-stack processor, acquirer, and technology partner, NMI handles onboarding, compliance, and risk so you can stay focused on growth. The modular, white-label platform supports omnichannel payments, from online, mobile and in-app to in-store and unattended. Choose from full-code, low-code, or no-code integration paths and launch in weeks, not months. Built-in risk tools, flexible monetization, and customizable branding help you scale faster while keeping full control of your experience. With NMI’s developer-first tools, sandbox testing, and modern APIs, you can embed payments quickly and confidently.
LFMat is an open source template fast C++ linear algebra library with storage compatible and asm specializations for 3DNow!, SSE, SSE2 and Altivec (e.g. for solvers) taking cache into account. There's a wide variety of structure and storage styles...
MMOpenGraph is a set of JAVA-Classes to represent graphs within java. It can load and save graphs to serialized or text-based files and analyze graphs to find shortest paths.
MODVLO7 provides an environment for exploring harmonic prolongations in any piece of tonal music. It imports Scala files, and saves Scala files for future changes or study, and for rendering MIDI files in just intonation using Scala.
6Vertex is an Objective C/Cocoa application (and standard C functions) for computing and visualizing matrix models generated with the 6-vertex model for computing boundary shapes and phase transition shapes for differently weighted vertices.
Stop chasing transactions. Klaviyo turns customers into diehard fans—obsessed with your products, devoted to your brand, fueling your growth.
Klaviyo unifies your customer profiles by capturing every event, and then lets you orchestrate your email marketing, SMS marketing, push notifications, WhatsApp, and RCS campaigns in one place. Klaviyo AI helps you build audiences, write copy, and optimize — so you can always send the right message at the right time, automatically. With real-time attribution and insights, you'll be able to make smarter, faster decisions that drive ROI.
FreeNorm is a cross-tabulation web application adapted from SurveyComplete's real-time reporting system. Currently it can run tabs on extremely large datasets, export to Excel, read ASCII data, and understand table definitions in the UNCLE tab language.
Computational modelling is a interdisciplinary field spanning many techniques and programming languages. AgenTools is a project dedicated to establishing increased modularity in scientific computing packages and a portal linking to other existing project
Dancing Networks attempts to create self-drawing diagrams by applying the laws of motion as we know them today. The process of the diagrams drawing themselves looks like a network that starts its dance in chaos but gravitates toward harmony and order.
JGV is a Java applet that lets you embed movable 3D objects in web pages. Users can rotate, scale, translate, select and annotate the objects interactively. Also, JGV supports XML-based transmission of user events to the source web server over HTTP.
Active Networking provides a framework in which executable code within data packets can execute upon intermediate network nodes. The goal of this research is to develop active networks that are capable of predicting their own behavior and to use this ca
Random number generator, and random number seed generator classes for C++. Includes abstract base classes and derived generators. Cross platform compatible.
Vistools is a set of tools to easily visualize some scientific data, without need to learn difficult API, so you can see your 3d results very quickly. Also some sci tools for which we made it, including vector field tracing and simple optimization.
libvoronoi computes image-based 2D Voronoi diagrams using graphics hardware for interactive applications. It can optionally return the centroids and image moments of the Voronoi regions using arbitrary distance functions. It is simple, portable and fast.
A collection of various Java utility interfaces and classes, concentrating on collections, data structures, algorithms, number theory, matrices, and other mathematical constructs.
JMAT : Java MATrix tools package.
Provides an easy-to-use class of matrix with MATLAB-like functions and syntax. JMAT also includes plots and histograms in 2D or 3D, an expression parser, and some statistic simulation tools.
JRVFSim (Jarvis) is a simulator of a fluid dynamics phenomenon known as radial viscous fingering. Its main feature consists of taking jordan curves and simulating their evolution subject to various parameters. Includes a partial API for numerical methods