Showing 9 open source projects for "java library for android"

View related business solutions
  • Fleet Management Software Icon
    Fleet Management Software

    Tracx Trucking Management Software provides the best for trucking companies looking for insight on their trucking dispatch company.

    Tracx TMS is a cloud-based, web and desktop solution for brokers and dispatchers to manage assigned drivers and loads. The platform offers invoice control, management of account receivable and payable, load status tracking, assign drivers to loads and track fuel cards. Additionally, Tracx TMS offers GPS integration allowing users to see trucks on the dispatching map.
  • Heimdal Endpoint Detection and Response Icon
    Heimdal Endpoint Detection and Response

    Achieve true prevention against advanced cyber-threats with our proactive cybersecurity solutions that filter DNS traffic and mitigate vulnerabilities

    Accommodate all your cybersecurity needs under one convenient roof with the Heimdal™ Unified Dashboard. Our cybersecurity solutions can be used as standalone products or integrated into one another as part of a cohesive and unified suite.
  • 1

    MindTheGapps

    Built MindTheGapps

    Leader badge
    Downloads: 479 This Week
    Last Update:
    See Project
  • 2
    wolfSSL
    The wolfSSL embedded SSL library (formerly CyaSSL) is a lightweight, portable, C-language-based SSL/TLS library targeted at IoT, embedded, and RTOS environments primarily because of its size, speed, and feature set. It works seamlessly in desktop, enterprise, and cloud environments as well. wolfSSL supports industry standards up to the current TLS 1.2 and DTLS 1.2, is up to 20 times smaller than OpenSSL, offers a simple API, an OpenSSL compatibility layer, OCSP and CRL support, is backed...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 3
    embKernel

    embKernel

    C++ embedded RTOS,TCP/IP,TLS,FAT,USB,PERIPHERALS,...

    Aim of embKernel is to produce an unified C++ source for embedded devices (cortex-M uC for the time being) which includes: -RTOS -TCP/IP stack -TLS (Work in progress) -FAT32 file system -USB stack -Drivers for common uControllers peripherals See the wiki pages for more information.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    autoCode4

    Synthesizing embedded control software from formal specifications

    autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Case Management Software for Nonprofits Icon
    Case Management Software for Nonprofits

    CharityTracker offers easy-to-use case management software for nonprofits, helping them track assistance, measure outcomes, and generate reports.

    A case management CRM that focuses on your clients, to measure real-world impact, not just data. Your Day Just Got Shorter - We know you’re busy and don’t have time for complicated software – We’ve changed that! Even your staff will enjoy using the system – No more headaches and missing data from reports so you can use your valuable time to serve more people. CharityTracker is a cloud-based, HIPAA compliant software that’s easy to use for nonprofits of all sizes. With no setup fees, hidden fees, or contracts, you can cancel anytime! Our time saving solution provides a secure way to streamline how you manage cases, record case notes & assistance, create reports, collaborate, set goals, measure outcomes, make referrals & prove your impact with change-over-time reports for your funders. We're at work in 2,200 communities! Book a free demo. Pricing starts at just $20/mo. user
  • 5
    SmartSlog (Smart Space Ontology) is a software/application development kit (SDK or ADK) for programming Smart-M3 agents (Knowledge Processors, KPs) that consume/produce smart space content according with its high-level ontological representation. SmartSlog applies the code generation approach: given an OWL ontology description, the ontology programming library is produced. The latter provides API to access the smart space via a Smart-M3 Semantic Information Broker (SIB) and data structures...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    JBernstein

    JBernstein

    JBernstein: Exploration techniques for non-linear constraint checking

    JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    OOBD supports a self-programable Tool for Vehicle Onboard Diagnostics (OBD) for various platforms like the Windows-Desktop, mobile Phones and Smartphones Please note that we are actual moving this project over to oobd.googlecode.com. The software source code repository is already moved, other areas will follow.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    WSNFuse provides an abstraction layer for wireless sensor networks, allowing to expose one or many WSNs by means of different access technologies(e.g.: filesystem, JMS, RMI, Smart-Spaces, etc.).Its plugin-based architecture allow users to develop and adopt thei own plugins and configure WSN fuse to better suit their needs. This project has been partially supported by the CHIRON EU research project co-financed by the artemis joint undertaking (http://www.chiron-project.eu/) .
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Anturi Tag4M
    This project includes both the libraries and applications created by Anturi Technology to communicate with Tag4M devices provided by Cores Electronic LLC. We want integrators and developers have the tools to build their own developments with Tag4M.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Mercury Medical is a robust medical billing solution. Icon
    Mercury Medical is a robust medical billing solution.

    Mercury Medical was originally designed for large service bureaus, hospital ancillary services, and large provider’s offices.

    Creator of Mercury Medical Products. Complete Medical Practice Management With Revenue Cycle Management Solutions.
  • Previous
  • You're on page 1
  • Next