Search Results for "education software"
Sort By:
Showing 20 open source projects for "education software"
View related business solutions-
Turn traffic into pipeline and prospects into customersDocket is an AI-powered sales enablement platform designed to unify go-to-market (GTM) data through its proprietary Sales Knowledge Lake™ and activate it with intelligent AI agents. The platform helps marketing teams increase pipeline generation by 15% by engaging website visitors in human-like conversations and qualifying leads. For sales teams, Docket improves seller efficiency by 33% by providing instant product knowledge, retrieving collateral, and creating personalized documents. Built for GTM teams, Docket integrates with over 100 tools across the revenue tech stack and offers enterprise-grade security with SOC 2 Type II, GDPR, and ISO 27001 compliance. Customers report improved win rates, shorter sales cycles, and dramatically reduced response times. Docket’s scalable, accurate, and fast AI agents deliver reliable answers with confidence scores, empowering teams to close deals faster.
-
Next-Gen Encryption for Post-Quantum Security | CLEAR by Quantum KnightCLEAR by Quantum Knight is a FIPS-140-3 validated encryption SDK engineered for enterprises requiring top-tier security. Offering robust post-quantum cryptography, CLEAR secures files, streaming media, databases, and networks with ease across over 30 modern platforms. Its compact design, smaller than a single smartphone image, ensures maximum efficiency and low energy consumption.
-
1
Classic HWUT - rename of previous HWUT
Software Unit Tests (Language Independent Approach)
Automation of Unit and System Tests. Tests can be implemented in any language and on many platforms. The flexible approach enables the inclusion of many types of tests, such as memory leak checks (using valgrind), coding rule checks, complexity checks, etc. Tests are run by a simple call to hwut in a base directory of a project. In particular for C, HWUT supports make file generation using 'sos' and 'sols' modes. Remote control-able function stubs may be generated using the 'stub' mode.... -
2
UCDetector
Eclipse Plugin to find unused Java code
UCDetector (Unnecessary Code Detector) is a Open Source Eclipse Plugin Tool. UCDetector finds unnecessary (dead) public Java code. It suggests to make code final, protected or private. -
3
GUITAR - A GUI Testing Framework
A model-based test automation framework for GUI applications
This framework supports a wide variety of model-based GUI testing techniques. The innovation lies in the architecture of GUITAR, which uses plug-ins to support flexibility and extensibility. Software developers and quality assurance engineers may use this architecture to create new toolchains, new workflows based on the toolchains, and plug in a variety of measurement tools to conduct GUI testing. More detail is presented in this publication: GUITAR: An Innovative Tool for Automated... -
4
-
The Most Powerful Software Platform for EHSQ and ESG ManagementChoose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
-
5
NPEDetector
Null dereference verifier for Java Programs
NPEDetector is a tool for statically detecting the dereferences in Java programs that are safe and those that could potentially result in NullPointerException. Designed to be a sound verifi er, NPEDetector guarantees the safety of proven dereferences but could imprecisely flag safe dereferences as faulty. NPEDetector is built using WALA, Watson Libraries For Analysis. -
6
JsUnit is a port of JUnit to JavaScript. JUnit is a framework for building unit tests. A lot of JavaScript enabled products are supported along with command line support for automated test suites.
-
7
BingoCardMaker automates the process of generating random bingo cards from a set of images. The cards are highly customizable; you can change their size, title, colours, output format, and filenames -- all through a user-friendly interface.
-
8
-
9
RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.
-
AestheticsPro Medical Spa SoftwareAestheticsPro is the most complete Aesthetics Software on the market today. HIPAA Cloud Compliant with electronic charting, integrated POS, targeted marketing and results driven reporting; AestheticsPro delivers the tools you need to manage your medical spa business. It is our mission To Provide an All-in-One Cutting Edge Software to the Aesthetics Industry.
-
10
Eclipse-based software that enables the quality analysis and performance evaluation for the models of business processes (BPEL and BPMN).
-
11
Concutest is a collection of tools designed to make the development and testing of concurrent Java programs easier and more reliable. Concutest is available under the BSD License and under active development by the JavaPLT group at Rice University.
-
12
-
13
An eclipse plugin for code coverage visualization of JUnit Tests. Especially useful for test-first development. Supported coverages include block coverage and all-uses coverage (Data Flow Analysis).
-
14
The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)
-
15
Adds a new Controller to JMeter, supporting the definition of probabilistic user behavior. Moreover, it enables the variation of the number of active parallel user sessions (threads) during test run to be specified by configurable mathematic formulae.
-
16
Muzzle is an application that help Test Projects to customize, develop, maintenance and management test cases.
-
17
Use TaskMeister to manage your tasks easily and efficiently. Attach status colour, priority and notes to each task in the list. Time tasks or set an alarm. Use TaskMeister to create schedules time tables or even a diary. Very Simple to use! Linux too
-
18
SecurityCoach is an extensible software security auditing system that integrates with Eclipse, seamlessly performs static analysis of the source code in the background and warns a developer about potential software security vulnerabilities.
-
19
Reviewer adds comments on code which developer has to follow up. Useful for managing code quality and determining the quality of work delivered by a developer. Most of all it provides a place where developers can learn from their previous mistakes.
-
20
COMPAS J2EE is a non-intrusive performance instrumentation and monitoring toolkit for J2EE. It uses adaptive monitoring to automatically adjust the target coverage. COMPAS is completely portable across J2EE application servers and OSs.
- Previous
- You're on page 1
- Next
