Checksum generates, runs, and maintains end-to-end tests automatically so your team ships with confidence as code output grows.
Coding agents write the code. Checksum runs it—continuously testing against real APIs, real data, real edge cases—before it ever reaches production.
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.
Flashcard program for Palm Pilot handhelds. Java PC desktop program to edit flash cards and import SuperMemo databases included. Many font types supported including Japanese. Image support also present. Visit home page for sample cards.
VeNCrypt adds TLS/X509 encryption and authentication to VNC. It is heavily based on the RealVNC Free Edition, thus being a single fork away from the original creators of VNC, and is fully compliant with the RFB protocol.
ele (enCore Learning Environment) is a moo- and web-based environment (server, db, GUI) designed for educational purposes. It aids and promotes online learning and community building through open standards and ease of use. http://encore-consortium.org/
Easily build robust connections between Salesforce and any platform
We help companies using Salesforce connect their data with a no-code Salesforce-native solution.
Like having Postman inside Salesforce! Declarative Webhooks allows users to quickly and easily configure bi-directional integrations between Salesforce and external systems using a point-and-click interface. No coding is required, making it a fast and efficient and as a native solution, Declarative Webhooks seamlessly integrates with Salesforce platform features such as Flow, Process Builder, and Apex. You can also leverage the AI Integration Agent feature to automatically build your integration templates by providing it with links to API documentation.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms.
Silicis is a new formal framework for designing [verification] algorithms.
The Lazybones project is a server and a collection of clients. It allows one person to voice control multiple machines. Designed for software developers and sys admins, Lazybones speeds up redundant and/or complex tasks.
The Handwritten project aims to provide software for open distribution of handwritten notes. A rudimentary datastructure containg strokes made by writing devices as for example palm computers, digital pens, etc, is implemented in both Java and C.
Dragon Character Training is a PalmOS program using stroke recognition to help you learn to read and write Chinese characters. It is good for learning Mandarin vocabulary and characters.
TCPteach is a special kind of vocabulary trainer software. It works like a multiplayer-game, which means you can play & learn with or against other people over internet/network (even using your mobilephone). There are several additional software parts, w
Marketing automation for any business | ActiveCampaign
Your team of AI agents handles email, SMS, WhatsApp and more for you
Active Intelligence revolutionizes how you work. You guide direction while AI handles execution, acts on insights, and shows you the path forward. It's how marketing should be.
Netflow analyzing tools :
JXColl - collector for Netflow (or XML specified) data
Analyzer - front-end application for providing an user interface and output (graphs, statistics, etc.)
Software to control a remote telescope via a web interface. Includes software needed to operate a motorized dome, telescope, and cameras.This project has been partially funded by a grant from the Northwest Academic Computing Consortium.
BoardWars is a teaching utility for computer science classes.
It runs as a server supporting multiple turn based board games.
The games are played by supplying the AI code in java or c++.
BoardWars was funded by the University of Iowa
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.
BowTIE (Brass Technique Instruction Environment) is an application designed to help trumpet, horn, euphonium, and tuba players learn fingering technique. BowTIE provides excellent support for trumpet and horn players who are learning to transpose.
MimerDesk is a Web-based groupware environment designed for a wide variety of uses such as personal management, computer-supported collaborative learning, carrying out projects, and setting up communities.
The compilerMonitor persists a record of all javac error messages and the sources that caused/fixed the errors. It is a CAUSE (computer-aided usability engineering) tool that analyzes interaction between a developer and the compiler.
Virtual electronic circuit simulation with JAVA based schematic entry and wave viewer, based on (Berkeley) SPICE, for any OS/Server/Browser configuration.
Due to missing public feedback for over one year its status is set to INACTIVE (1/2004) - sorry.
AMoRE is a collection of algorithms that deal with automata, monoids, regular expressions. Learn about the theory - this is not another regexp package.
Surviving bots is continuous software application in Java that will guide robots to search for energy source around it, tap it and explore ahead for survival and thus evolve into much more advance system.Software is ment to be hardware independent.
Linux TiTan is yet another Linux Distribution that is divided into 3 parts , the main system including packages compiled by us , a security system and a desktop environment developed using java . Goal : Security , Speed , Portability
DiCT try to establish a well known dictionary web service, it will publish web service (WSDL) definitation for both content provider and end-user to follow. it will base on DICT protocol ( RFC2229) . Some applications will be provided