Showing 3 open source projects for "logical"

View related business solutions
  • 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
  • Automate contact and company data extraction Icon
    Automate contact and company data extraction

    Build lead generation pipelines that pull emails, phone numbers, and company details from directories, maps, social platforms. Full API access.

    Generate leads at scale without building or maintaining scrapers. Use 10,000+ ready-made tools that handle authentication, pagination, and anti-bot protection. Pull data from business directories, social profiles, and public sources, then export to your CRM or database via API. Schedule recurring extractions, enrich existing datasets, and integrate with your workflows.
    Explore Apify Store
  • 1
    FP-WinHugsHaskellTester

    FP-WinHugsHaskellTester

    Executes Haskell-tests using WinHugs and visualizes the results.

    Checks a haskell script (lhs, hs) based on tests specified in a test file and provides a graphical user interface to show the results, including return values compared to check value(s), coloring to see which tests fail at a glance and approximate execution time benchmarking. As a test file you may use a valid haskell script file (that runs in WinHugs) simply checking for logical equality of expressions (using ==). You may also use "~>" after a haskell expression to indicate the desired output. It's also possible to specify multiple valid outputs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    FFT-z
    Fast Fourier Transforms (FFT) for Multi-CPU (and RAM) Stress Testing. Shows detailed information about physical and logical processors in the system. Included CPU Benchmark feature for speed testing. Automatically utilizes and tests all CPU cores.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 3
    3A-TRE

    3A-TRE

    3A-TRE evaluates traditionally logical expressions under 3 assumptions

    3A-TRE evaluates traditionally logical expressions under the three assumptions. The open world assumption (OWA) states that the truth value of a statement that is not included in or inferred from the knowledge explicitly recorded in the system shall be considered unknown. The closed world assumption (CWA) is the assumption that any statement that is not known to be true is false.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next