Search Results for "binary software"
Sort By:
Showing 5 open source projects for "binary software"
View related business solutions-
Earn up to 15% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
Earn up to 15% annual interest with Nexo.Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
1
This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with...
-
2
RockScript is the world's smallest Java-based JavaScript interpreter, runs smoothly in any J2ME phones. The binary size of core engine including native objects/methods is less than 25K (obfuscated & JAR'ed). It can be integrated into any J2ME apps.
-
3
Jasmin is a Java Assembler. It takes ASCII descriptions for Java classes, written in a simple assembler-like syntax. It converts them into binary Java .class class files suitable for loading into a Java Virtual Machine implementation.
-
4
BDD-Based Deductive Database, an implementation of Datalog that uses Binary Decision Diagrams as the underlying data structure. This allows it to represent exponentially-sized relations efficiently.
-
Manage and optimise Google, Facebook and Microsoft Ads faster and gain a competitive advantage with our digital advertising platform.Slash the time it takes to manage and optimize your Google, Microsoft Advertising or Facebook Ads campaigns to just minutes a day. Adzooma's AI and machine learning based PPC platform offers stress free campaign management, state of the art 24/7 optimization and advanced automation, all in a simple to use interface. Scan for 50+ improvement 'opportunities', many of which can be actioned with a single click, track PPC performance and highlight over/under spending to improve your quality score, conversions and ROI. These trying times are tough for all. So we're giving away our whole award-winning platform for free until June 1st 2020. That's automated PPC ads, one-click optimisations, and world-class reporting - at zero cost. No strings attached. No credit card required.
-
5
{sets} is a lightweight constraint programming language. The uniqueness of {sets}, is that it uses ROBDD ( Reduced Ordered Binary Decision Diagrams ) to represent and solve constraints.
- Previous
- You're on page 1
- Next
