Showing 11 open source projects for "validate"

View related business solutions
  • Your monitoring isn't a stack. It's a pile. Fix that. Icon
    Your monitoring isn't a stack. It's a pile. Fix that.

    Errors, performance, logs, uptime. One install, one invoice, one UI.

    Replace Datadog, New Relic, and Sentry without adding three more dashboards.
    Free 30 days.
  • $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
  • 1
    Umbrel

    Umbrel

    A beautiful personal server OS for Raspberry Pi or any Linux distro

    Run your personal server with a Bitcoin and Lightning node in your home, self-host open source apps like Nextcloud and Matrix to break away from big tech, and take full control of your data. For free. All our interactions on the internet today are mediated by a few companies who offer “free” services in exchange for storing our data on their servers to spy on us. Running a personal server fundamentally changes that. You and your family’s photos, videos, files, notes, passwords, everything,...
    Downloads: 21 This Week
    Last Update:
    See Project
  • 2
    alphageometry

    alphageometry

    AI-driven neuro-symbolic solver for high-school geometry problems

    ...The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” AlphaGeometry integrates a symbolic deduction engine with a transformer-based language model to propose and validate geometric constructions in a stepwise proof process. The DDAR solver focuses purely on rule-based reasoning, while AlphaGeometry enhances this by using a learned model to suggest auxiliary constructions when logical reasoning alone is insufficient. The repository includes pre-trained weights, vocabulary files, and detailed configuration options for reproducing experiments.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 3
    simple-java-maven-app

    simple-java-maven-app

    For an introductory tutorial on how to use Jenkins

    simple-java-maven-app is a reference repository created for the Jenkins tutorial on building a Java application with Maven. It contains a minimal Java program that prints “Hello world!” and includes unit tests to validate functionality, with test results exported in JUnit XML format. The repository provides an example that demonstrates how to configure a Jenkins Pipeline for building and delivering applications. It also includes scripts that define commands executed in pipeline stages, showcasing automation in continuous integration and delivery (CI/CD). ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    RaspiBolt

    RaspiBolt

    Bitcoin & Lightning full node on a Raspberry Pi

    ...With this guide, you can set up a Bitcoin and Lightning node from scratch, doing everything yourself. You will learn about Linux, Bitcoin, and Lightning. As a result, you’ll have your very own RaspiBolt node, built by you and no one else. Let your node validate your own Bitcoin transactions. No need to ask someone else to tell you what’s happening in the Bitcoin network. Connect your wallets to your node so that you no longer need to reveal their whole financial history to external servers. Run your own Lightning node for everyday payments and help building a robust, decentralized Bitcoin Lightning network. ...
    Downloads: 1 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.
    Try It Free
  • 5
    Super-Linter

    Super-Linter

    Combination of multiple linters to install as a GitHub Action

    This repository is for the GitHub Action to run a Super-Linter. It is a simple combination of various linters, written in bash, to help validate your source code. The super-linter finds issues and reports them to the console output. Fixes are suggested in the console output but not automatically fixed, and a status check will show up as failed on the pull request. The design of the Super-Linter is currently to allow linting to occur in GitHub Actions as a part of continuous integration occurring on pull requests as the commits get pushed. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    xsd2pgschema

    Relational database replication tool based on XML Schema

    xsd2pgschema is a Java application suite, which converts XML Schema 1.1 (hierarchical data model) to PostgreSQL DDL (relational data model) and supports XML data migration into PostgreSQL based on the XML Schema without defects on information content. It also supports full-text indexing via either Apache Lucene or Sphinx Search utilizing the relational data model. File conversion from XML to CSV, TSV, or JSON is possible as well as mapping XML Schema to JSON Schema. Obtained PostgreSQL...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 7
    CSRmanage

    CSRmanage

    Centralized vetting and records of Certificate Signing Requests (CSRs)

    CSRmanage is an application that can be used to validate CSRs (Certificate Signing Requests) and store them along with anciliary information about the personnel involved with CSRs and certificate installations and approvals. CSR evaluation is configurable/very strict. With adequate configuration, CSRmanage may save organizations time and money by ensuring that CSRs to be submitted are formatted corrrectly and conform to organizational network/I.T/DNS naming conventions. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Kubernetes Examples

    Kubernetes Examples

    Minimal self-contained examples of standard Kubernetes features

    A reference repository of YAML with canonical and as-simple-as-possible demonstrations of Kubernetes functionality and features. Minimal self-contained examples of standard Kubernetes features and patterns in YAML.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    miRPV

    miRPV: An automated pipeline for miRNA Prediction and Validation in si

    miRPV is an Automated tool that allows users to predict and validate microRNA from genome/gene sequence. System Requirement CPU: AMD64 (64bit) Memory: 2Gb RAM Storage: 5Gb Ubuntu 18.04
    Downloads: 0 This Week
    Last Update:
    See Project
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • 10

    Linux Test Project

    Testsuite to validate the reliability, robustness, stability of Linux.

    Linux Test Project (LTP) is a joint project started by SGI, OSDL and Bull developed and maintained by SUSE, Red Hat, Fujitsu, IBM, Cisco, Oracle and others. The project goal is to deliver tests to the open source community that validate reliability, robustness, and stability of the Linux Kernel. The testing suites contain a collection of tools for testing the Linux kernel and related features. Our goal is to improve the Linux kernel and system libraries by bringing test automation.
    Leader badge
    Downloads: 959 This Week
    Last Update:
    See Project
  • 11
    PK7
    Utility to validate, extract, show and create digital documents included in files with "pk7" and "fp7" extensions such as electronic bills provided by some phone companies in Spain like Movistar and Telefonica.
    Downloads: 7 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
Auth0 Logo