Search Results for "logical"
Sort By:
Showing 10 open source projects for "logical"
View related business solutions-
Our Free Plans just got better! | Auth0You 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.
-
Financial reporting cloud-based software.The software is cloud based and automates complexities around consolidating and reporting for groups with multiple year ends, currencies and ERP systems with a slice and dice approach to reporting. While retaining the structure, control and validation needed in a financial reporting tool, we’ve managed to keep things flexible.
-
1
Advanced Trigonometry Calculator
Precision Trigonometry: Advanced Calculator for Complex Math
Advanced Trigonometry Calculator is equipped with a user-friendly interface that allows for easy input of problems and instant computation. Professionals such as engineers who need to perform advanced trigonometric calculations in their work will find this tool extremely useful. ATC Online Alpha: https://advantrigoncalc.sourceforge.io/atc/ More info by clicking below: https://advantrigoncalc.sourceforge.io/ Advanced Trigonometry Calculator was only and always only developed by... -
2
JSmol
JavaScript-Based Molecular Viewer From Jmol
JSmol is the extension of the Java-based molecular visualization applet Jmol (jmol.sourceforge.net) as an HTML5 JavaScript-only web app. It can be used in conjunction with the Java applet to provide an alternative to Java when the platform does not support that (iPhone/iPad) or does not support applets (Android). Used in conjunction with the Jmol JavaScript Object (http://wiki.jmol.org/index.php/Jmol_Javascript_Object), JSmol seamlessly offers alternatives to Java on these non-Applet... -
3
Natural Deduction Planner
Assistant for generating Natural Deduction style proofs
This application aids in the creation of Natural Deduction style logical proofs. The style is that used in University of Auckland Philosophy courses. Upon inputting a sequent, a proof can be completed within Natural Deduction Planner. The result can be exported to png, to text or to LaTeX macros. -
4
JavaBitWise
A bitwise calculator for two integers.
A two's compliment calculator designed for specifically for Java, but is still effective for just about any other language. It will accept two integer values and will show the binary, octal, and hexadecimal equivalence, and show how the bits interact with the logical operators not, and, or, and xor, and how primitive types are cast into other types. If there is a feature that you would like to see, let me know and I will see what I can do. I am working on a major update to how the interface works. -
Axe Credit Portal - ACP- is axefinance’s future-proof AI-driven solution to digitalize the loan process from KYC to servicing, available as a locally hosted or cloud-based software.Founded in 2004, axefinance is a global market-leading software provider focused on credit risk automation for lenders looking to provide an efficient, competitive, and seamless omnichannel financing journey for all client segments (FI, Retail, Commercial, and Corporate.)
-
5
Blue Basin
General template for expressions using Lisp-like structures.
A group of generic tools and containers for using in logical and mathematical terms. Lisp like type-safe n-Trees. -
6
BPMN extension for Cloud computing
java project for modifying jBPM models into cloud aware models
...It reads a model *.bpmn, which was created using jBPM BPMN 2.0 modeling tool. Then user is able to define a sensitivity of data elements. After that an Ontology is created and filled in with model elements. Special logical rules process the data. User is able to additionally define the security level. The resulting model is created and can be opened in the jBPM. -
7
-
8
XMLMath evaluates mathematical, logical or textual expressions described in xml and prints the result. For example, to compute the result of 1 + 1, you would write: <add> <long value="1"/> <long value="1"/> </add>
-
9
Guided Logic Exercises is a tool that can be used for simplifying logical expressions. It is a java applet that makes use of underlying packages designed for the applet.
-
DAT Freight and Analytics - DATDAT Freight & Analytics operates DAT One, North America’s largest truckload freight marketplace; DAT iQ, the industry’s leading freight data analytics service; and Trucker Tools, the leader in load visibility. Shippers, transportation brokers, carriers, news organizations, and industry analysts rely on DAT for market trends and data insights, informed by nearly 700,000 daily load posts and a database exceeding $1 trillion in freight market transactions. Founded in 1978, DAT is a business unit of Roper Technologies (Nasdaq: ROP), a constituent of the Nasdaq 100, S&P 500, and Fortune 1000. Headquartered in Beaverton, Ore., DAT continues to set the standard for innovation in the trucking and logistics industry.
-
10
DigiJSim is a simulator for Logial Circuits. It is able to create and simulate logical circuits easily. So it is very helpfull for educational purposes.
- Previous
- You're on page 1
- Next
