Showing 4 open source projects for "os linux"

View related business solutions
  • $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
  • Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure Icon
    Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure

    Native application identity and user-based security for your Azure cloud

    Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
    Get a free trial
  • 1
    NUT Nutrition Software

    NUT Nutrition Software

    nutrition software to record and analyze what you eat

    nut is nutrition software to record what you eat and analyze your meals for nutrient composition. The emphasis is on personal dietary experimentation to determine the best possible diet. The software uses SQLite for a portable, os-independent application.
    Leader badge
    Downloads: 11 This Week
    Last Update:
    See Project
  • 2
    gpsman

    gpsman

    GPS Manager (GPSMan): a manager of GPS data

    GPS Manager (GPSMan) is a graphical manager of GPS data that makes possible the preparation, inspection and edition of GPS data in a friendly environment. GPSMan can also be used in command mode (with no graphical interface)
    Leader badge
    Downloads: 4 This Week
    Last Update:
    See Project
  • 3
    Efficient Symbolic Tools package (EST) is a BDD based tool for the formal verification of concurrent systems. Its advantages are flexibility, portability and an efficient memory management. It runs under different OS, including Linux and Windows 2000/XP.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    *** This page is no longer used by the Dasher project - please see http://www.inference.phy.cam.ac.uk/dasher/ *** Dasher is a data entry interface incorporating language modelling and driven by continuous two-dimensional gestures, e.g. a mouse, a stylus
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • Previous
  • You're on page 1
  • Next
Auth0 Logo