Showing 6 open source projects for "pwa"

View related business solutions
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
    Get Started Free
  • 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
  • 1
    Codename One

    Codename One

    Cross-platform framework for building truly native mobile apps

    ...Native look and feel out of the box, but fully themeable using CSS to provide your own unique look. Compiles Java or Kotlin into native code for iOS, UWP (Universal Windows Platform), Android and even JavaScript (with seamless PWA and Thread support) Changes you make in your Java/Kotlin source code will be applied immediately to your already-running app in the simulator.
    Downloads: 13 This Week
    Last Update:
    See Project
  • 2
    MeanOS

    MeanOS

    The smallest and the most powerful operating system.

    The first decentralized, artificially intelligent, MEAN.js stack, operating system. Mean OS is the only operating system hosted anonymous using a P2P network and a suite of non-standard in-browser delivery mechanisms. Mean OS is specifically designed to support both Brave and Tor but is compatible with all other major browsers. Mean OS is Proud to be a BRAVE and TOR supporter, be free!!
    Downloads: 2 This Week
    Last Update:
    See Project
  • 3
    Remote PC Input

    Remote PC Input

    Mobile device as wireless keyboard and mouse for PC

    Now Remote-PC-Input is a Progressive Web Application (PWA): https://remote-pc-input.tecnobillo.com Control your PC from your mobile device. Remote PC Input is a wireless mouse and keyboard: https://remote-pc-input.tecnobillo.com/app.html To connect with the PC you must download the application server: https://remote-pc-input.tecnobillo.com/rpci-ws/remote-pc-input-ws.rar
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Codename One

    Codename One

    Cross-platform app development framework for Java & Kotlin developers.

    Build native mobile applications using Java or Kotlin with our open source tools. Codename One seamlessly integrates with IntelliJ/IDEA, Eclipse & NetBeans to make native write once run anywhere a reality on iOS (iPhone/iPad), Android, Windows (UWP), Desktops and more.
    Downloads: 0 This Week
    Last Update:
    See Project
  • $300 Free Credits for Your Google Cloud Projects Icon
    $300 Free Credits for Your Google Cloud Projects

    Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

    Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
    Start Free Trial
  • 5

    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: 0 This Week
    Last Update:
    See Project
  • 6
    A clearing house for various pieces of open source software which use the GenCAM data format for input or output of electronic interconnect (PWB, PCB, PWA, PCA) information.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next