Showing 7 open source projects for "linux repair disk"

View related business solutions
  • Stop Storing Third-Party Tokens in Your Database Icon
    Stop Storing Third-Party Tokens in Your Database

    Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.

    Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
    Try Auth0 for Free
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • 1
    MathCode

    MathCode

    A Frontier Mathematical Coding Agent

    MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

    GromacsProSuite

    Graphical User Interface for Gromacs

    This tool is an integrated graphical interface that simplifies molecular dynamics simulations using Gromacs. It provides a structured, tab-based environment to set up, execute, and analyze simulations data without complex command-line operations. The software automates tasks such as topology generation, solvation, ion addition, minimization, equilibration, and production runs while executing GROMACS commands in the background. Built-in monitoring tracks CPU, RAM, and disk usage to ensure...
    Leader badge
    Downloads: 3 This Week
    Last Update:
    See Project
  • 3
    aioulinux

    aioulinux

    Linux for Arduino and Makers developers

    Hello, I'm the Aioulinux founder, eager to professionally revive the project. Since 2018, the demand for an IoT and Arduino-tailored environment has been evident. Seeking partners for a 2024 version targeting schools and IoT companies, aiming for a secure and comprehensive platform. If you share this vision and wish to collaborate, reach out. Let's revive Aioulinux stronger than ever! Now seeking partners: Live Distro Specialist: Expert in live distributions to ensure...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    minder

    minder

    Monitoring your infrastructure for free.

    This software presents a flexible and configurable proposal for monitoring and management of real and virtual HPC infrastructures, compatible with paradigm of cloud computing. We help you to answer: 1) What is the performance of my resources? 2) What equipment and resources do we have already? 3) What do we need to upgrade or repair? 4) What can we consolidate to reduce complexity or reduce energy use? 5) What resources would be better reused somewhere else? Status: PreAlpha, so any help shall be welcome. Made for LINUX. GNU General Public License version 3.0 (GPLv3)
    Downloads: 0 This Week
    Last Update:
    See Project
  • Go From AI Idea to AI App Fast Icon
    Go From AI Idea to AI App Fast

    One platform to build, fine-tune, and deploy ML models. No MLOps team required.

    Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
    Try Free
  • 5

    Electrophysiology & circular stats tools

    Data analysis and circular statistics with OpenElectrophy and R

    Set of tools for basic analysis of electrophysiological data. The Python classes show how to call OpenElectrophy functions and save data. The R library applies circular statistics to spike phase data and saves the best von Mises fit and the Rayleigh statistics on the disk. The wavelet coherence analysis is done in R by the package "sowas". Check the module R_coherence to see how we solved that problem. This packages may be useful for people who start using OpenElectrophy and circular...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    A cross-platform aplication to explore online free maps (OpenStreetMap). Build with python and pygame, full immersive environnement. Actually only source code, require pygame.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    This project is a python script to abstract S.M.A.R.T. messages from /var/log/messages (from the smartd daemon) into .csv file(s), one for each disk, suitable for graphing.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB