Showing 15 open source projects for "java formula"

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

    VeriSiMPL

    Verification via biSimulations of Max-Plus-Linear models

    This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 2

    Belief Reviser

    Belief Revision via PS-Merge under constraints belief merging operator

    Belief revision is a central topic in knowledge representation and reasoning. It consists in incorporating a new belief, changing as few as possible of the original beliefs while preserving consistency. Revision always considers new evidence as a better belief. Such new evidence is usually represented in the form of a propositional formula which must be preserved after the revision. Here, the Δps (PS-Merge) belief merging operator is extended in order to consider constraints, and ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3

    Logic Calculator

    A Calculator to perform logical operations

    The Logic Calculator is an application useful to perform logical operations. It has three modes: (1) Evaluation of logic formulae: In this mode we have the basic boolean operations (negation, conjunction, disjunction, conditional and biconditional) so the user can insert the logic formula and the Logic Calculator displays the truth table along with the models of the formula. (2) Logical entailment: In this mode the user can insert a number of premises followed by a number of...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 4
    MathOCR

    MathOCR

    A printed document recognition system that can deal with formula

    MathOCR try to recognize printed scientific document including mathematical formula , result is available in LaTeX and HTML.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Smart Business Texting that Generates Pipeline Icon
    Smart Business Texting that Generates Pipeline

    Create and convert pipeline at scale through industry leading SMS campaigns, automation, and conversation management.

    TextUs is the leading text messaging service provider for businesses that want to engage in real-time conversations with customers, leads, employees and candidates. Text messaging is one of the most engaging ways to communicate with customers, candidates, employees and leads. 1:1, two-way messaging encourages response and engagement. Text messages help teams get 10x the response rate over phone and email. Business text messaging has become a more viable form of communication than traditional mediums. The TextUs user experience is intentionally designed to resemble the familiar SMS inbox, allowing users to easily manage contacts, conversations, and campaigns. Work right from your desktop with the TextUs web app or use the Chrome extension alongside your ATS or CRM. Leverage the mobile app for on-the-go sending and responding.
    Learn More
  • 5
    With this applet you'll be able to visualize formulas by building a tree with your mouse.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    A program for exploring complex functions, much like the now out-dated f(z). Domain colored plots of complex functions. Click evaluate. Uses reflection so you can code almost anything for your formula. All java. Please help.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7
    iso2l (ˈaisəutuːl, spoken isotool) is a software to calculate the isotopic distribution of a chemical formula or a amino acid chain. The development has been MOVED TO https://github.com/binfalse/iso2l
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    This is a simple program that will factor a quadratic trinomial using both "guess-and-check" and the quadratic formula. You input a, b, and c, where ax^2+bx+c=0; you will get a result in the form of (ax+b)(cx+d)=0 and x=a or x=b.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    A open source, multiplatform, fractal generator and explorer. Includes Mandelbrot, Julia, Lambda and others popular formulas. Also includes formula reader to create new fractals. It can save PNG images. Requires Java Virtual Machine.
    Downloads: 0 This Week
    Last Update:
    See Project
  • The Most Powerful Software Platform for EHSQ and ESG Management Icon
    The Most Powerful Software Platform for EHSQ and ESG Management

    Addresses the needs of small businesses and large global organizations with thousands of users in multiple locations.

    Choose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
    Learn More
  • 10
    Processes boolean functions which can be provided either as a list of 0s and 1s or which can be provided as a formula in first-order logic (using disjunctive or conjunctive normal forms). Internally the Quine McCluskey algorithm is used.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    The project Formula can be used for the computation of numeric expressions that is written as string. Main features of the project are high computation speed and simplicity of use. Formula can be used for writing of calculators, plotters and etc.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Parse a simple math formula and validates it. Has a very comprehensive Type checking and Var substitution.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    A program that makes Graphics and Tables of a formula for giving the aproximated value of a root.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Burkhard Heim's Mass Formula - A collection of programs that calculate the mass of a variety of sub-atomic particles, based on work by the late Burkhard Heim. http://www.heim-theory.com/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    PAVIAN - PArsing and VIsualization of Arithmetic Notations is a Java-applet, used to embed a visualization of a formula into websites. PAVIAN parses LaTeX, mathML-based or an intuitive notation on the client to display them.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next