Showing 17 open source projects for "checker"

View related business solutions
  • Already Paying for an RMM? Get 50% Off Splashtop AEM Icon
    Already Paying for an RMM? Get 50% Off Splashtop AEM

    Switch to Splashtop AEM and save up to 50% in your first year

    Automated OS and third-party patching for Windows and macOS, CVE prioritization with AI patch summaries, and built-in remote control that also supports Linux. Qualifying organizations switching from another RMM get up to 50% off year one.
    Get Started
  • PRTG Catches Network Issues Before They Cause Downtime Icon
    PRTG Catches Network Issues Before They Cause Downtime

    Threshold-based alerts flag problems early, so your team can act before users notice, not after.

    Reactive troubleshooting usually means hearing about a problem from frustrated users, not your monitoring tool. PRTG sets threshold-based alerts across devices, servers and applications, notifying your team by email, SMS or push the moment a metric crosses a set limit. That means catching a failing disk or overloaded server before it becomes an outage and getting time back from firefighting. Start a free trial and set your first alerts today.
    Download 30-Day Trial
  • 1
    Ciphey

    Ciphey

    Decrypt encryptions without knowing the key or cipher

    ...Ciphey uses a custom-built artificial intelligence module (AuSearch) with a Cipher Detection Interface to approximate what something is encrypted with. And then a custom-built, customizable natural language processing Language Checker Interface, which can detect when the given text becomes plaintext.
    Downloads: 11 This Week
    Last Update:
    See Project
  • 2
    unlazy

    unlazy

    Anti-laziness skill for AI agents. Core: the Depth Tree method

    ...It requires agents to define acceptance gates before claiming that work is finished. Each gate can specify a command, expected result, working directory, and recorded evidence. A bundled checker validates the ledger, runs approved checks, and can reverify previously completed work. The workflow emphasizes reviewing returned work and reporting only conclusions supported by verifiable evidence. It can be installed for Claude Code, Codex CLI, and other skill-compatible agents, with additional templates and orchestration guidance for more complex tasks.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    Human Writing

    Human Writing

    Make the Chinese written by AI read like a specific person speaking

    ...A revision workflow removes report-like phrasing, repetitive explanations, formulaic reversals, excessive punctuation habits, and common AI clichés. The package includes separate guidance for essays, forums, fiction, short formats, reviews, and revision. A Python checker enforces explicit rules, and a condensed version can be pasted directly into general chat interfaces.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    Agentic Commerce Protocol (ACP)

    Agentic Commerce Protocol (ACP)

    Interaction model for connecting buyers to complete purchases

    ACP is an open, draft specification for letting buyers, their AI agents, and businesses complete purchases through a standardized interaction model. It’s maintained by OpenAI and Stripe and licensed under Apache-2.0, with the goal of being easy to adopt alongside a merchant’s existing commerce stack rather than replacing it. The repository organizes the spec as human-readable RFCs plus machine-readable OpenAPI and JSON Schema definitions, along with worked examples and a changelog so...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Start Free
  • 5
    Hathi Download Helper

    Hathi Download Helper

    Download books from the hathitrust website in a fast and easy manner

    2025-05-08 ====================== PLEASE NOTE ======================= Due to changes to the API of the hathirtust homepage, the HDH is no longer functional!! Please check the project Wiki for alternative methods. https://sourceforge.net/p/hathidownloadhelper/alternative/ ---------------------------------------------------------------------------------------------- Hathi Download Helper was a tool for downloading public domain books from hathitrust.org. E-Mail contact:...
    Leader badge
    Downloads: 35 This Week
    Last Update:
    See Project
  • 6

    AlertsOnWings

    Pinger alert

    AlertsOnWings is web-based interface for viewing a `heartbeat` of network by pinging hosts. No extra files, only DB. All reports generated "on-the-fly". And we got personal cabinet for each user.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    NASH OS

    NASH OS

    Nash Operating System for Modern Ecommerce

    The all-built-in-one, automatic, ready-to-go out-of-box, easy-to-use state-of-the-art, and really awesome NASH OS! Over 25,000+ flexible features and controls and all scalable!! The most powerful solution ever built to instantly deliver new heights of online ecommerce enterprise to you.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    We have implemented a core summarizer of scientific articles written in Spanish, with the following components: a tokenizer, a grammar checker, a clarity checker, a cohesion-coherence checker, a common-topic extractor and an output formatter.
    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
  • 10
    Virastyar

    Virastyar

    Virastyar is an spell checker for low-resource languages

    Virastyar is a free and open-source (FOSS) spell checker. It stands upon the shoulders of many free/libre/open-source (FLOSS) libraries developed for processing low-resource languages, especially Persian and RTL languages Publications: Kashefi, O., Nasri, M., & Kanani, K. (2010). Towards Automatic Persian Spell Checking. SCICT. Kashefi, O., Sharifi, M., & Minaie, B. (2013). A novel string distance metric for ranking Persian respelling suggestions.
    Leader badge
    Downloads: 276 This Week
    Last Update:
    See Project
  • 11
    Hunspell is a spell checker and morphological analyzer library and program designed for languages with rich morphology and complex compounding or character encoding. Hunspell interfaces: Curses, Ispell compatible pipe interface, OpenOffice.org UNO module
    Leader badge
    Downloads: 653 This Week
    Last Update:
    See Project
  • 12

    LillyTab

    Another free OWL/DL Reasoner

    LillyTab is a modular description logic consistency checker (reasoner) with support for a subset of OWL/DL.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Free and open source grammar checker. Currently capable of identifying errors: 1) Incomplete sentence (fragment) 2) Subject Verb Plurality Agreement Incomplete Sentence Example: "John a very man." Subject Verb Plurality Agreement Example: "They walks into a classroom." This software utilizes parts-of-speech tagging software that was developed and published by the Natural Language Processing Group at Stanford University.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    CoGrOO: Open|LibreOffice Grammar Checker
    CoGrOO (A LibreOffice & OpenOffice.org Grammar Checker), the only open source Portuguese grammar checker that can be used with LibreOffice & OpenOffice.org.
    Leader badge
    Downloads: 67 This Week
    Last Update:
    See Project
  • 15
    MCMAS-C is an extension to the most famous model checker MCMAS, which is implemented to verify multi-agent system. Our extension is related to check social commitments that agents can create and their fulfillment. It is model checker for CTLC logic.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    The MOJO NLP platform is a set of tools designed to tackle Natural Language Processing challenges. This project includes MojoMapper, an automated medical concept identification system and MojoSpell, a spell checker to handle medical language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Luna Code Checker

    Luna Code Checker

    An advanced web-based tool for checking JavaScript code using ESLint.

    Luna Code Checker An advanced web-based tool for checking JavaScript code using ESLint. How to Use Clone the repository. Run npm install to install the dependencies. Run npm start to start the server. Open http://localhost:3000 in your web browser. Write or paste your JavaScript code in the textarea. Click the "Check Code" button to see linting results.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next