Showing 3 open source projects for "shell check"

View related business solutions
  • Turn traffic into pipeline and prospects into customers Icon
    Turn traffic into pipeline and prospects into customers

    For account executives and sales engineers looking for a solution to manage their insights and sales data

    Docket is an AI-powered sales enablement platform designed to unify go-to-market (GTM) data through its proprietary Sales Knowledge Lake™ and activate it with intelligent AI agents. The platform helps marketing teams increase pipeline generation by 15% by engaging website visitors in human-like conversations and qualifying leads. For sales teams, Docket improves seller efficiency by 33% by providing instant product knowledge, retrieving collateral, and creating personalized documents. Built for GTM teams, Docket integrates with over 100 tools across the revenue tech stack and offers enterprise-grade security with SOC 2 Type II, GDPR, and ISO 27001 compliance. Customers report improved win rates, shorter sales cycles, and dramatically reduced response times. Docket’s scalable, accurate, and fast AI agents deliver reliable answers with confidence scores, empowering teams to close deals faster.
    Learn More
  • The AI workplace management platform Icon
    The AI workplace management platform

    Plan smart spaces, connect teams, manage assets, and get insights with the leading AI-powered operating system for the built world.

    By combining AI workflows, predictive intelligence, and automated insights, OfficeSpace gives leaders a complete view of how their spaces are used and how people work. Facilities, IT, HR, and Real Estate teams use OfficeSpace to optimize space utilization, enhance employee experience, and reduce portfolio costs with precision.
    Learn More
  • 1
    LinuxGSM

    LinuxGSM

    The command-line tool for quick, simple deployment and management

    LinuxGSM is the command-line tool for quick, simple deployment and management of Linux dedicated game servers. Traditionally game servers are not easy to manage yourself. Admins often have to spend hours messing around trying to get their server working. LinuxGSM is a command-line tool designed to be as simple as possible, allowing admins to spend less time on management and more time gaming. LinuxGSM will run on popular distros as long as the minimum requirements are met. Each game server...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 2
    Drauger OS

    Drauger OS

    Ubuntu-based Linux Gaming OS

    Drauger OS is an Ubuntu-based Linux desktop gaming distribution that ships with many modifications and optimizations over stock Ubuntu that are intended to improve gaming performance and the gaming experience. From simple changes such as swapping Gnome out for the light-weight Xfce Desktop Environment and using a dark GTK theme by default, to more complex changes such as using a kernel compiled in-house and replacing PulseAudio with Pipewire. Drauger OS is built from the ground up with our...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Bash!Karaoke

    Bash!Karaoke

    A free karaoke player for Linux and BSD

    BASH!KARAOKE IS A FREE KARAOKE PLAYER FOR LINUX AND BSD Supported formats: *.mid, *.kar, *.wrd , *.mod, *.rcp, *.r36, *.g18, *.g36 TRANSLATION (HELP US!): English and Italian in EasyBashGUI mode, English only (for now... GTK mode) .. The goal is a karaoke player that: Is installable with very few dependencies; Is ready to use after dependency check, -no configuration-; Support SoundFonts to improve sound quality; Works with a simple song database; Can trim levels (pitch,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next