Showing 18 open source projects for "linux operating system"

View related business solutions
  • Full-stack observability with actually useful AI | Grafana Cloud Icon
    Full-stack observability with actually useful AI | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • Earn up to 16% annual interest with Nexo. Icon
    Earn up to 16% annual interest with Nexo.

    Let your crypto work for you

    Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform. Geographic restrictions, eligibility, and terms apply.
    Get started with Nexo.
  • 1
    alphageometry

    alphageometry

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

    AlphaGeometry, developed by Google DeepMind, is a theorem-proving system that combines symbolic reasoning with deep learning to solve challenging geometry problems, such as those found in mathematical Olympiads. 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...
    Downloads: 22 This Week
    Last Update:
    See Project
  • 2
    BASH antoniovandre_mathgame
    Um simples jogo de operações aritméticas escrito em BASH.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Drception

    Drception

    Fractals generator with powerful functionality.

    Fractals generator with powerful functionality. E-mail: programmingspecial@gmail.com
    Downloads: 2 This Week
    Last Update:
    See Project
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Try Free
  • 5
    The Thot toolkit repository has moved to http://daormar.github.io/thot/ Thot is a toolkit for statistical machine translation. The new Thot toolkit includes fully automatic and interactive machine translation, incremental training of statistical models, parallel estimation, ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    Model Transformation Tools

    Bond-graph based modelling tools

    A set of tools for modelling dynamic physical systems using the bond-graph methodology and transforming these models into representations suitable for analysis, control and simulation. These tools use, and generate m files for, GNU Octave.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    PortableLatex is LaTeX without installation; you download and use it straight away, without changing a byte of your system. Plus a complete suite of apps to comfortably edit, view, compile and handle latex or tex projects, glued by some scripting.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8
    A set of Unix command line tools for quick and convenient batch processing of tabular text files (a.k.a., tab-delimited, csv, or flat file format) with a header line. Provides delimiter and compression detection, column reference by name. * tblmap: per-line ("map") computation: derive columns through an expression, delete, reorder, filter rows. * tblred: compute ("reduce") aggregations (e.g., sum, average) over groups defined by key columns. * tbldesc: Summarize columns in file...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    [ Interestelar 1975 ]
    A Interactive Network VideoGame
    Downloads: 0 This Week
    Last Update:
    See Project
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • 10
    MASyV (Multi-Agent System Visualization) enables one to write agent-based models/cellular automata, eg. in C, visualize them in real time & capture to movie file with MASyVs GUI & message passing lib. Includes examples: Hello World, ants, viral infection
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    An SQL handler to interface multiple databases data to the OpeNDAP Hyrax (BES) server. Written in C++, it uses unixODBC to query DB and can be dynamically extended to use proprietary ODBC API driver in many easy ways. It is bundled with scripts to ge
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    This project is for maintaining a linux system that concentrates on math, logic, and geometry related softwares.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 13
    This is an opensource project for the calculation of the mathematical constant Pi. If you are a mathematician or programer please contribute ideas or code for this project. Non professionals are also welcome to contribute.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    FrAid(FRactal AID) is an interface to Java, allowing it to proc. math. data(functions/equations). A compl. standalone system utilizing the FrAid prog. lang. is available(no need to be Java programmer to use it!). Use instead of Matlab. High res. graphics
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    OOoLatex is no more maintained. Please consider using TexMaths (http://roland65.free.fr/texmaths/) OOoLatex is a set marcos designed to provide latex support into OpenOffice. Complex equations can be inserted as images, the latex code is saved into the image attribute while simpler equations are expanded into symbol characters to be inserted as text.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 16
    Sound Orgy is a suite of command line tools for the purpose of sound production and modification as well other misc sound related functons. Sound Orgy consists of components which use command line piping to connect to each other much like patch cords.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    take Data, by a GPS Reciver, post process them over EUREF, convert to Gauss Krueger, calculate Area Size, visualize with SVG. ESRI Shape File import.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Web Assisted Teaching Environment. Software system for creating, updating, distributing, and reusing Electronic Teaching Resources, (particularly Multiple Choices Quizzes).
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB