Showing 39 open source projects for "source testing unit testing"

View related business solutions
  • Earn up to 16% annual interest with Nexo. Icon
    Earn up to 16% annual interest with Nexo.

    Let your crypto work for you

    Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform. Geographic restrictions, eligibility, and terms apply.
    Get started with Nexo.
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • 1
    Auxiliary tools for Boost uBLAS library. Has several strategy-driven functors for: 1) random-generating of vectors & matrices 2) Nice & suitable stream output of them 3) Equality-compare capacibility for vectors and matrices and approximate comparing.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Many computational problems need arithmetic operations in polynomial finite rings over Z/nZ, where n is an integer (n>1). This library provides efficient operations for applications such as integer factorization and primality testing.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Agda is a system for incrementally developing proofs and programs. This is the sourceforge project for the PREVIOUS Agda (Agda 1). A newer version of Agda (Agda 2) in beta testing is available from: http://wiki.portal.chalmers.se/agda/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. Publications: http://www.ics.uci.edu/~gabe/publications.html.
    Downloads: 4 This Week
    Last Update:
    See Project
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
    Start Free
  • 5
    This library provides systems for testing rumor spread through various network types including but not limited to small-world networks.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    GradeSignifier provides statistical significance testing for item response data. In a few clicks you can: convert raw test data into scores, determine if the scores of two groups differ significantly, make cumulative probability charts, and more.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    A .NET implementation of the Gabow, Kaplan, Tarjan algorithm for testing the uniqueness of a perfect matching in a general graph.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    PHPTuring is a Turing Machine simulator built in Object-Oriented PHP5, using the Test-Driven (TDD) approach.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Secure File Transfer for Windows with Cerberus by Redwood Icon
    Secure File Transfer for Windows with Cerberus by Redwood

    Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.

    Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
    Try for Free
  • 10
    CryptoHelper is a Java program designed to aid in the decryption of classical ciphers, ie pre WWII ciphers. It brings together tools like frequency analysis, friedman tests, enciphering/deciphering for several clasical ciphers, and brute force algorithm
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Yawn: Yet Another W* Network: a java framework for developing, training and testing neural networks independently of the model and test environment.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    The aim of this project is to collect and develop high quality pseudo random number generator (s) and to develop methods for testing suspected random sequences.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Virtual TI emulates nearly the entire line of Texas Instruments graphing calculators, and offers features that speed up both debugging and testing of calculator programs. Windows version is quite stable but the Linux/OSX version is only in planning.
    Leader badge
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    Multicriterial multicast test platform

    A platform for testing multicriterial multicast algorithms

    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB