Search Results for "linux-abi"
Sort By:
Showing 201 open source projects for "linux-abi"
View related business solutions-
Build Agents and Models on One PlatformGemini 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.
-
Error to trace to log to deploy. One click. No SSH.AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
-
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
Ada Class Library
Ada Class Library - an object orientated library for Ada.
Text search and replace. Scripting (small tool programs). CGI scripts. Execution of external programs (incl. I/O redirection). Garbage Collection. Extendended Booch Components. CD-Recorder -
3
PLplot
Cross-platform, scientific graphics plotting library
PLplot is a cross-platform, scientific graphics plotting library that supports math symbols and human languages (via UTF-8 user input strings); plot capabilities for multiple non-interactive plot file formats and in multiple interactive environments; and bindings for multiple computer languages. -
4
Generic Image Decoder
A standalone, portable generic Ada package for decoding images
The Generic Image Decoder is a package for decoding a broad variety of image formats, from any data stream, to any kind of medium. Unconditionally portable code: OS-, CPU-, compiler- independent code. More information on... http://gen-img-dec.sf.net Alire crate: https://alire.ada.dev/crates/gid Mirror: https://github.com/zertovitch/gid -
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
5
paraffin
Iterative and recursive parallelism generics for Ada 2005 and Ada 2012
A suite of Ada 2012 generics to facilitate iterative and recursive parallelism for multicore systems and provide safer recursion for single and multicore systems. Generics include Ravenscar compatible versions for real-time systems. Also Includes paraffinalia, which is a set of useful generics for parallel quicksort, fast fourier transform, function integration, prefix sum, and Red-Black trees -
6
HAC Ada Compiler
HAC Ada Compiler - small Ada compiler fully in Ada
HAC - HAC Ada Compiler - is a small, quick, open-source Ada compiler, covering a subset of the Ada language. HAC is perhaps the first open-source (albeit partial) Ada compiler fully programmed in Ada itself. More information on: http://hacadacompiler.sf.net For an editor integrated with HAC, check LEA: https://l-e-a.sf.net/ Pre-built binary for Windows: https://sf.net/projects/hacadacompiler/files/hac-2024-03-21-v.0.30-bin-win64.zip Alire crate: https://alire.ada.dev/crates/hac Mirror:... -
7
Excel Writer
A standalone, portable Ada package for producing Excel spreadsheets
Excel_Out is a standalone, portable Ada package for writing Excel spreadsheets with basic formattings and formulas, easily and programmatically. Enables the automatic production of reports. No interaction needed with Excel or MS Office. More information on: http://excel-writer.sf.net Alire crate: https://alire.ada.dev/crates/excel_writer Mirror: https://github.com/zertovitch/excel-writer -
8
Zip-Ada
A standalone, portable Ada library for .zip archives
Zip-Ada is a library for .zip archives. Full sources are in Ada and are unconditionally portable. Input and output can be any stream (file, buffer,...) for archive creation as well as data extraction. Task safe and endian-neutral. More information on: http://unzip-ada.sf.net Alire crate: https://alire.ada.dev/crates/zipada Mirror: https://github.com/zertovitch/zip-ada/ -
9
ULID-Ada
Implementation of ULID in Ada
A ULID code (Universally Unique Lexicographically Sortable Identifier) is a combination of a 48-bit time stamp (most significant part, with a millisecond accuracy), and a 80-bit random number (least significant part), totalling 128 bits, that is 16 bytes (octets). The package ULID provides two functions Generate. One function produces a 128-bit number that can be output (for instance) in the UUID format. One function produces a string in the Base32 format (Crockford variant) - the... -
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
10
This project currently provides the GNAT Studio Ada development environment, packaged for macOS. For a source of the compiler and software packages, for various operating systems, see https://ada-lang.io and Alire. For up-to-date releases of the GNAT compiler packaged for macOS, see https://github.com/simonjwright/distributing-gcc/releases. Older releases are retained for historical reasons.
-
11
TeXCAD
A simple LaTeX {picture} drawing tool
TeXCAD is a program for drawing or retouching {picture}s in LaTeX. It extends the original {picture} capabilities, even without any obligatory LaTeX package, class or style sheet. Core of TeXCAD is totally portable. A MS Windows version is available. More information on... https://texcad.sourceforge.io/ Alire crate: https://alire.ada.dev/crates/texcad Mirror: https://github.com/zertovitch/texcad -
12
Ada PDF Writer
A standalone, portable package for producing dynamically PDF documents
PDF_Out is an Ada package for writing easily PDF files dynamically. Enables the automatic production of reports. Standalone and unconditionally portable code. No external resource is needed. More information on... http://apdf.sf.net Alire crate: https://alire.ada.dev/crates/apdf Mirror: https://github.com/zertovitch/ada-pdf-writer -
13
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... -
14
AZip
AZip - A portable Zip Archive Manager
AZip is a free Zip Archive Manager with unique features such as: built-in content Search, smart archive Update, archive Recompression. The goal is to keep the user interface as simple as possible and bother the user the least possible with options or useless gadgets. More details and screenshots on the AZip Web site: http://azip.sf.net Alire crate: https://alire.ada.dev/crates/azip Mirror: https://github.com/zertovitch/azip -
15
Ada Bar Codes
Bar Code (1D or 2D) generator in pure Ada
The project Ada Bar Codes provides a framework for generating various types of bar codes (1D, or 2D, like QR codes) on different output formats and devices. Alire crate: https://alire.ada.dev/crates/bar_codes Mirror: https://github.com/zertovitch/ada-bar-codes -
16
Mathpaqs
A collection of mathematical packages in pure Ada
Various mathematical packages including algebra, finite elements, random variables, probability dependency models, unlimited integers. Pure Ada, fully portable. More information on... http://mathpaqs.sf.net Alire crate: https://alire.ada.dev/crates/mathpaqs Mirror: https://github.com/zertovitch/mathpaqs -
17
AdaGate
3D OpenGL dungeon game using Ada: a tribute to Narbacular Drop
...Each room has a barrier that must be circumvented using portals. The barriers include water with piranha, molten magma, and walls. Runs on Windows, OSX, and GNU/Linux. The linux binary now runs on many linux distros! Includes all source code, build scripts & resources. -
18
RufasSlider
Klotsky class block slider puzzles.
RufaSlider is a collection of 16 different block slider puzzles for kids and casual puzzlers that works on laptops and PCs running Windows, OSX or GNU/Linux. It includes a Klotski-style family, a DirtyDozen family, and a Traffic-Rush family. And now these puzzle families come with AutoSolvers to help you. The Klotski family uses rectangles of 4 sizes: 1x1, 2x2, 1x2, 2x1. The objective in each game is stated near the window top, but usually involves moving a large block to a specified location within the window. ... -
19
Corporate Bullshit Generator
A high-performance random text generator focused on corporate bullshit
The Corporate Bullshit Generator is a best-in-class, high-performance random text generator that is focused on corporate bullshit. It is able to produce, per second, 1000 A4 full pages of inspired sentences like "Our turn-key branding strategy drives corporate, scalable, wide-ranging and profit-oriented idiosyncratic incentives." Online app: visit ----> https://tinyurl.com/y3d6wyd6 . Alire crate: https://alire.ada.dev/crates/cbsg Mirror: https://github.com/zertovitch/cbsg -
20
Asud
Sudoku Assistant
Pencil & paper Sudoku fans that need help will find that this [free & offline] app can help them to identify & eliminate candidate digits, using Windows or Linux. ASUD is a sudoku assistant tool designed to help with manually solving Sudoku puzzles. It handles routine tasks so you can focus on more advanced puzzle solving strategies. Algorithms have been added to detect and display (hidden or naked) pairs, triples, & quads, whose display can be toggled. Executables that run [offline] on Windows, and GNU/Linux are delivered. ... -
21
Fuzzy machine learning framework
A library and a GUI front-end for fuzzy machine learning
Fuzzy machine learning framework is a library and a GUI front-end for machine learning using intuitionistic fuzzy data. The approach is based on the intuitionistic fuzzy sets and the possibility theory. Further characteristics are fuzzy features and classes; numeric, enumeration features and features based on linguistic variables; user-defined features; derived and evaluated features; classifiers as features for building hierarchical systems; automatic refinement in case of dependent... -
22
MAX! home automation
MAX! cube GUI
MAX home automation is a GTK+ application to manage ELV/eQ-3 MAX! cubes. A cube is a gateway to a network of radiator thermostats, shutter contacts etc. Radiator and wall-mounted thermostat schedule can be edited uploaded, stored into a file and restored from there. Wall-mounted thermostat temperature graphs are indicated on a separate page sorted by the installation room. HTTP server is provided for integration with HTTP-enabled controls. E.g. thermostats can be queried and controlled... -
23
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". -
24
Reliquarium
3D slider puzzles for kids; helps teach solid geometry
...They can help improve 3D visualization and problem solving skills. Suitable for children preparing for math or geometry, as well as adults. Works on laptops or PCs or Macs running Windows, OSX, or Linux. -
25
RufaSwap
Permuted picture puzzle, allows using your own PNG pictures.
...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/
