Search Results for "linux command"
Sort By:
Showing 31 open source projects for "linux command"
View related business solutions-
Turn traffic into pipeline and prospects into customersDocket is an AI-powered sales enablement platform designed to unify go-to-market (GTM) data through its proprietary Sales Knowledge Lake™ and activate it with intelligent AI agents. The platform helps marketing teams increase pipeline generation by 15% by engaging website visitors in human-like conversations and qualifying leads. For sales teams, Docket improves seller efficiency by 33% by providing instant product knowledge, retrieving collateral, and creating personalized documents. Built for GTM teams, Docket integrates with over 100 tools across the revenue tech stack and offers enterprise-grade security with SOC 2 Type II, GDPR, and ISO 27001 compliance. Customers report improved win rates, shorter sales cycles, and dramatically reduced response times. Docket’s scalable, accurate, and fast AI agents deliver reliable answers with confidence scores, empowering teams to close deals faster.
-
The Most Powerful Software Platform for EHSQ and ESG ManagementChoose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
-
1
Alire
Command-line tool from the Alire project and supporting library
Alire is a source-based package manager for the Ada and SPARK programming languages. It facilitates the building and sharing of projects within the Ada community, allowing developers to easily manage dependencies and publish their own libraries or programs. Alire aims to streamline the development process for Ada and SPARK by providing a standardized approach to package management. -
2
emergeance
Ada Engeneering over GNU/Linux for Ada projects
Projects managment for Ada engeneering over GNU/Linux (using Gnat) -
3
Differential Calculator
Terminal calculator with differential error estimates
This is a terminal calculator with a remarkable twist. It uses symbolic differentiation to provide a numerically precise error estimate with each calculated answer. It mimics the functionality of an HewlettPackard ReversePolishNotation [RPN] calculator simply because I like RPN. But along with your answer, you get some measure of its trustworthiness. Runs on PCs or laptops running Windows or Linux. -
4
ALI_Parse
Parser for the .ali (Ada Library Information) files generated by GNAT
ALI_Parse is a parser for the .ali files generated by the GNAT Ada compiler. ALI means Ada Library Information. You find the .ali files in the same directories as the object files (.o) containing the machine code produced by GNAT. Currently, ALI_Parse is focused at cross-references within a set of Ada source files. Two command-line tools using the parser are provided: * GNATHTML, which generates a set of Web pages from Ada sources * ALI_Stats, which shows the list of entities, the... -
Rezku Point of SaleRezku is an all-inclusive ordering platform and management solution for all types of restaurant and bar concepts. You can now get a fully custom branded downloadable smartphone ordering app for your restaurant exclusively from Rezku.
-
5
hbox
Sokoban solver written in Ada
This is a commandline-terminal sokoban solver written in Ada. It is "generic" in the sense that it contains no domain specific strategies. It also provides a demonstration of the incredible power of the Hungarian Algorithm. The proper command to extract the archive and maintain the directory structure is "7z x filename". -
6
RufaSwap
Permuted picture puzzle, allows using your own PNG pictures.
RufaSwap, is a simple permuted picture puzzle where the challenge is to restore the picture elements to their proper order. Two elements are selected with cursor clicks to initiate a swap. User controls the level of difficulty. The proper command to extract the archive and maintain the directory structure is "7z x filename". Works on Macs running OS-X, PCs running GNU/Linux, and PCs running Windows. Also see: https://sourceforge.net/projects/adagate/ https://sourceforge.net/projects/rufascube/ https://sourceforge.net/projects/rufasslider/ https://sourceforge.net/projects/sevenslider/ -
7
RufasSlider
Klotsky class block slider puzzles.
...Here, the long rectangles represent cars or trucks that can only move [roll] lengthwise...the goal being to move the red car toward the shaded "exit door". The proper command to extract the archive and maintain the directory structure is "7z x filename". -
8
rufascube
Unique 3D slider puzzle that looks like a rubics cube.
...After a randomization, the goal is to restore the cube to its original configuration based on color and alphabetic hints. Written in Ada and compiles on Windows, OS-X or GNU/Linux. Nice laptop controls and support for Mac Retina displays. Requires OpenGL v3.3, and on Macs a recent version of OS-X. Now with mouse wheel zoom (2-finger swipe on MacBooks). Includes a smaller 2x2x2 version called SevenSlider. Works on Windows, Macs running OS-X and PCs running GNU/Linux. The proper command to extract the archive and maintain the directory structure is "7z x filename". -
9
WorldCupSokerban
Soccer-themed 3D Sokoban Game
...Notice that these strange soccer balls roll in two perpendicular directions only! Now with a user adjustable viewpoint! The mouse wheel can let you zoom in on the action! Works on Macs running OS-X and PCs running Windows or GNU/Linux. The proper command to extract the archive and maintain the directory structure is "7z x filename". -
AestheticsPro Medical Spa SoftwareAestheticsPro is the most complete Aesthetics Software on the market today. HIPAA Cloud Compliant with electronic charting, integrated POS, targeted marketing and results driven reporting; AestheticsPro delivers the tools you need to manage your medical spa business. It is our mission To Provide an All-in-One Cutting Edge Software to the Aesthetics Industry.
-
10
AdaVenture
kid-friendly retro point & click 3D OpenGL "adventure" game
...You must find the keys to various realms, defend yourself against dragons, avoid snakes and pesky bats who steal things only to drop them in random locations, and survive the maze. Now with the music of Korla Pandit. The proper command to extract the archive and maintain the directory structure is "7z x filename". -
11
Portable OpenAL Sound
Concurrent, asynchronous sounds package for Ada apps.
...The proper command to extract the archive and maintain the directory structure is "7z x filename". -
12
MATTA
Morse Code Utilitiies to convert text messages to & from sound files.
...Tonal frequency or wpm-speed does not seem to matter. Now includes an inverse commandline app, txt2wav that creates a morse code WAV file from English text. The proper command to extract the archive and maintain the directory structure is "7z x filename". -
13
ZanyBlue: Ada libraries towards a finite element framework
-
14
AVR-Ada
Ada cross compiler and libraries for AVR µCs
The AVR-Ada project provides the gcc based Ada compiler GNAT for the AVR 8-bit microcontrollers. This includes: - the Ada compiler - the Ada run time system and the AVR support library - documentation and some sample programs. The project is now superseded by the Alire crates - [AVRAda_RTS](https://github.com/RREE/AVRAda_RTS) - [AVRAda_MCU](https://github.com/RREE/AVRAda_MCU) - [AVRAda_Lib](https://github.com/RREE/AVRAda_Lib) -... -
15
The Ada 95 Booch Components is a container library, supporting Bags, Collections, Maps, Queues, Rings, Sets, Stacks, and Trees of various flavours, together with supporting utilities. The software is issued under the GPL Version 2 with the following additional permission: As a special exception, if other files instantiate generics from this unit, or you link this unit with other files to produce an executable, this unit does not by itself cause the resulting executable to be covered...
-
16
arknos
Intelligent OS Interface
Command launcher with task managment and others capabilities. -
17
GNAT Util Library
Provides access to GNAT compiler internals for AdaCore utilities
With GNAT GPL 2013, AdaCore have extracted internal compiler components into a library called gnat_util, which is used by (at least) ASIS and GNATColl. GNAT Util GPL 2013 contains components from the GNAT GPL 2013 compiler. At least for ASIS, the components used to build it must match the components in the compiler, so if building ASIS for use with (for example) FSF GCC 4.8.0 a version of GNAT Util is needed which contains components from FSF GCC 4.8.0. This project provides such a... -
18
ColdFrame generates Ada framework code and documentation from UML models. The project has now moved to Github (https://github.com/simonjwright/coldframe). The software is issued under the GPL Version 2 with the following additional permission: As a special exception, if other files instantiate generics from this unit, or you link this unit with other files to produce an executable, this unit does not by itself cause the resulting executable to be covered by the GNU General Public...
-
19
gnaies
Command and accounting
Provide a dual application to call somme command in line and an simple additionner for floating point. -
20
ghdl-updates
GHDL - a VHDL simulator
GHDL is the leading open source VHDL simulator. *** Now on github.com/tgingold/ghdl *** We have binary distributions for Debian Linux, Mac OSX and Windows. On other systems, getting GHDL from here means downloading the current source package and building GHDL from source. Alternatively you can get the latest source version (warning : occasionally unstable!) by pulling a snapshot from the git repository. -
21
GnuArchman
Gnu/Linux Evolved interface
Hybrid textual/Graphical Gnu/Linux evolved interface. -
22
ssprep is a tool that generates file-trees from a given set of templates. The intent is generation of project structures. The major design goals has been: * Simple. * Platform independent. * Configurable. * Recursive.
-
23
ASIS (Ada Semantic Interface Specification) for GNAT on gcc. ASIS is a published international ISO standard (ISO/IEC 15291:1999). ASIS based tools are available as well.
-
24
Ada manufacture
Gnu/Linux Ada manufacture
Gnu/Linux Ada manufacture is small application to create and manage your Ada projects. In systemic vision, or cybernetic prevision. -
25
C2Ada is a translator from the C programming language to the Ada programming language.
