Search Results for "logical"
Sort By:
Showing 6 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.
-
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
proof-logic
Proof Logic : A logical framework for theorem proving
Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms. -
2
KAREL 3D C++ ( Karel the Robot in 3D )
Karel - 3D language interpreter
...First KAREL-3D is created in 1986 after Karel the Robot, in Slovakia ( before Czechoslovakia ) on 8 bit microcomputer PMD 85-2 for school kids to learn algorithm and what is programming, teach know how to solve a logical problem, like Spock and his children from the planet Vulcan ( live long and prosper ). because it's fun Actual WebGL version: https://sourceforge.net/projects/karel-3d-webgl/ -
3
ExpressionOasis is a java based framework for evaluating the various type of expressions like arithmatic, logic expression etc. The framework is flexible enough to define any new grammer rules or operators.
-
4
Limbo is a restricted expression language, powerful enough to express a wide range of arithmetic and logical expressions, yet restricted enough to guarantee that the expression can always be rendered into a natural language based expression.
-
Turn more customers into advocates.The platform's advanced capabilities ensure companies get the most out of their referral programs. Leverage custom events, profiles, and attributes to enable dynamic, audience-specific referral experiences. Use first-party data to tailor customer segment messaging, rewards, and engagement strategies. Use our flexible APIs to build management capabilities and consumer experiences–headlessly or hybrid. We have all the tools you need to build scalable, secure, and high-performing referral programs.
-
5
TransJVM is a Java package to assist compiler writers targeting the Java Virtual Machine. It provides a simple logical interface for creating JVM classes, expressed in terms of Methods, Fields, Statements and Expressions. JVM details are hidden.
-
6
Rules and Expression engine for C++. A very simple to use but advance Rules engine . Allows binding of user function to expose them to the Rules engine, various types of arithmatic, bitwise, logical operations etc. Small memory footprint.
- Previous
- You're on page 1
- Next
