Search Results for "linux-tools" - Page 7

x
Sort By:

Showing 209 open source projects for "linux-tools"

View related business solutions
Ada Clear Filters & Widen Search
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New customers can spin up VMs, build with AI, and query data at no cost.

    Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
    Start Free
  • 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
    The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    A platform independent poker timer.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    APQ is an Ada95 thick binding to allow Ada SQL client programs to access PostgreSQL, MySQL and Sybase database systems. The project is now hosted at http://framework.kow.com.br
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Logiciel de partage de fichiers pour l'INSA Toulouse (réseau basé principalement sur du VPN)
    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
    Ada Binding for high performance messaging service http://www.spread.org
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    The libFannAda is a Ada-binding to the Fann Libery
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    ADA Image Server is server specialized in photo web-publishing. No need to copy the JPEG files on a remote web server, your machine serve it directly to the web with efficient thumbnail generation, bandwidth optimization and inherited skins.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Adago is a program to play the game of Go on the internet, and to edit games in the SGF format.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    The Nexus Operating System is a planned, realtime multimedia operating system compliant with POSIX standards. Nexus is intended not to become the next fad; it is the OS all developers can develop for without losing market standing in other OS's.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Train ML Models With SQL You Already Know Icon
    Train ML Models With SQL You Already Know

    BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

    Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
    Start Free
  • 10
    Multifunctional development tool. Contains: Compiler, DBMS Libs, Network Libs, Forms support, IDE. Can be used as CRM or CMS system. Also it can compile and run some applications. Supports GCC. Interfaces: CLI, Terminal, CGI. GNAT requires.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    The libadacrypt-dev is a slow crypto library for Ada with a nice API. It is written for the i386 hardware architecture and supports AES, Twofish, 3DES, Serpent SHA, Whirlpool DSA, OAEP-RSA, HMAC, RMAC... Dependencies: make and gnat.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Dreamgate aims at providing MUD players with scriptability on par with zMUD or MUSHClient. Currently we are working on the core processing and scripting architecture. The client can be used as a proxy between the server and a graphical client.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    vsman is a server-side volume sharing manager, with a gtk interface. It is currently limited to NFS v3 and NFS V4.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    GTKAda wrapper is a very simplified interface to GTK Ada. It is intended to be used by beginner Ada programmers (students at the beginning of the computer science courses) to easily build graphical applications.
    1 Review
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Xt/Motif bindings for Ada with GUI designer.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    A collection of useful software packages to perform engineering tasks, especially electrical engineering and chip design. All packages come as shrink-wrapped installers for Apple's Mac OS X.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    A#: An Ada port to the Microsoft .NET Framework
    Downloads: 4 This Week
    Last Update:
    See Project
  • 18
    Checkstyle4Ada provides an extension to Checkstyle, which enables Checkstyle to be used with Ada95 sources. It is packaged as an Eclipse fragment, so it can be used with eclipse-cs without modification.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Offers a TKinter graphical user interface to the management of ACLs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    This is a logging API for Ada. It's not a port of log4j. This library seeks to be ultra-flexible whereas log4j was designed to be efficient. The design is essentially a graph of message stream arcs and message processing nodes.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    WLAN 802.11 frame analyzer with educational purposes it will show on different windows : the measures, the MAC data frames, the MAC control frames... Programmed for linux systems using ADA. keywords: ADA, wifi, 802.11, ENST.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    BUSH (Business Shell) combines the capabilities of BASH, PHP, GCC, and PostgreSQL into a uniform design for rapidly designing secure, reliable Web templates. It can also replace BASH, has SQL support, and is a general purpose scripting language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    GReeTinGS - GReeTinGS is a Real Time Generic Scheduler GreeTingS is an Ada library which intends to provide a generic API to schedule real time tasks using various algorithms. The library contains a few algorithms (RM, EDF, LLF) and is easily extendable
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    FreeERP is a Free Enterprise Resource Planning system.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Ada to GXL is a factextractor translating from Ada Source code to the Graph eXchange Language (http://www.gupro.de/GXL/) to support reengineering. The Ada ASIS library and the GNAT compiler will be used for the translation.
    Downloads: 0 This Week
    Last Update:
    See Project

Related Searches

Related Categories

auth0 logo