web analytics
My Image
Libraries are prefixed by a logo relative to the given OpenSource License.
ALR: Component available through the ALIRE crates (component) manager and repository.
ℹ️ Click on the arrow to go to the section beneath with some more details.
ℹ️ Click on the earth symbol 🌎 to go to the mentioned site.
ℹ️ Hover on, or Click on the little page symbol 📄 to read a short description.
 
 


APPS - Functional Domain


IoT

Home Automation

  • ELV/eQ-3 MAX! cubes
      • MAX! home automation GTK GUI
        Link: sourceforge.net/projects/max-home-automation/
        LastCheck: 29 janv. 2022
        Author: dmitry-kazakov
        Copyright: Dmitry Kazakov
        Repository: SourceForge

        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 remotely via HTTP GET-queries.
        Components:
        GTK+
        HTTP server
        On-line graphs
        MQTT broker
        ODBC datalogging
        SQLite datalogging


Model

3D CAD

3D

      • Globe-3D
        Link: sourceforge.net/projects/globe3d/
        LastCheck: 24 juil. 2020
        Author: gdemont,rodkay
        Copyright: SICS
        Repository: SourceForge

        GLOBE_3D: GL Object Based Engine for 3D. GLOBE_3D is a free, open-source, real-time 3D Engine written in Ada, based on OpenGL. Up-to-date GL bindings - portal rendering - binary space partition - object I/O - tools for importing - and more...
        More information on... http://globe3d.sf.net
        Features
        Real-time rendering
        Full eye movements and rotations ("6D")
        Displays combinations of colours, materials, textures
        Multitexturing
        Transparency
        Portal rendering
        Binary space partition (BSP)
        Collision detection
        Input-output of 3D objects
        Screenshots (.bmp) and video captures (.avi)


Robotics

    • robotics
      • Agpl
        Link: alire.ada.dev/crates/agpl
        LastCheck: 26 janv. 2022 à 16:22
        Author: mosteo

        Ada General Purpose Library with a robotics flavor — 0

      • Rclada
        Link: alire.ada.dev/crates/rclada
        LastCheck: 26 janv. 2022 à 16:22
        Author: mosteo

        ROS2 Ada Client Library — ["ros", "robotics", "client"]

      • Rclada_examples
        Link: alire.ada.dev/crates/rclada_examples
        LastCheck: 26 janv. 2022 à 16:22
        Author: mosteo

        ROS2 Ada Client Library - Examples — ["ros", "robotics", "client"]


Science

DNA

Earth

Human

Math

  • FFT

  • Geometry

      • Gnatcoll
        Link: alire.ada.dev/crates/gnatcoll
        LastCheck: 26 janv. 2022 à 16:22
        Author: Fabien-Chouteau

        GNAT Components Collection - Core packages — ["gnatcoll", "json", "email", "refcount", "projects", "gpr", "vfs"]

  • Intervals

  • Chebyshev Ploynomials

      • Simple_components
        Link: alire.ada.dev/crates/simple_components
        LastCheck: 29 janv. 2022 à 16:22
        Author: dmitry-kazakov

        Simple Components - A collection of support packages — 0
        The Simple components for Ada library provides implementations of smart pointers for automatically collected objects (using reference counting), object persistence, unbounded and bounded arrays of smart pointers, generic unbounded arrays of private objects and plain pointers, generic sets, maps, B-trees, directed graphs, directed weighted graphs, stacks, and storage pools. It also includes table management, string editing, IEEE 754 support, and infix expression parsing tools. Implementations of some lock-free shared data structures are provided.
        Features:
        B-trees in-memory and externally held
        Chebyshev series
        Doubly-linked webs and lists
        Lock-free blackboards
        Graphs (directed, weighted, acyclic, trees)
        Events (plain, pulse, array of)
        HTTP implementation, socket-select based for massive connections number
        Lock-free FIFO
        IEEE 754 portable encoding and decoding
        Multiple connection TCP servers
        Protable mutexes
        Reference counted objects and handles to
        ODBC bindings
        SQLite3 bindings
        Table-driven parsers
        Persistency layer, supporting objects with dependencies
        Storage pools implementations
        Sets and maps
        Stacks
        Streams implementations, String-backed, in-memory streams
        Unbounded arrays and unbounded arrays of pointers
        Tables for Ada and Strings Edit for Ada libraries are included
        Examples (full Ada 95 expression parser, calculator etc)
        Ada 95, 2005, 2012 compliant
        MQTT stack and full broker implementation
        ASN.1 implementation, no code generator used
        LDAP client and server
        X.509 certificates
        MODBUS stack
        JSON parser
        Interprocess RPC, memory pools, mutexes, events

  • Splines

  • Math Package

      • MathPaq
        Link: sourceforge.net/projects/mathpaqs/
        LastCheck: 14 déc. 2020
        Author: gdemont
        Copyright: Stephen L. Moshier
        Repository: SourceForge

        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

Physics

  • Convert

      • Units of measurements
        Link: sourceforge.net/projects/unitsofmeasurementforada/
        LastCheck: 29 janv. 2022
        Author: dmitry-kazakov
        Copyright: Dmitry Kazakov
        Repository: SourceForge

        The library provides an implementation of dimensioned values for Ada. Unit checks are made at run-time, if not optimized out by the compiler. SI and irregular measurement units are supported. Shifted units like degrees Celsius are supported too. Conversions from and back to strings are provided for all various irregular units. An extensive set of GTK widgets for dealing with dimensioned values is included, though use of GTK is not mandatory for the rest of the library.

  • Units

      • Si_units
        Link: alire.ada.dev/crates/si_units
        LastCheck: 26 janv. 2022 à 16:22
        Author: Jellix

        Pretty print physical values in properly scaled metric (SI) units. — ["utilities", "formatting"]

Fuzzy machine learning

      • GUI front-end for fuzzy machine learning
        Link: sourceforge.net/projects/fuzzyml/
        LastCheck: 29 janv. 2022
        Author: dmitry-kazakov
        Copyright: Dmitry Kazakov
        Repository: SourceForge

        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 features; incremental learning; fuzzy control language support; object-oriented software design with extensible objects and automatic garbage collection; generic data base support through ODBC or SQLite; text I/O and HTML output; an advanced graphical user interface based on GTK+; and examples of use.

      • Fuzzy Sets, logic, numbers
        Link: sourceforge.net/projects/fuzzysetsforada/
        LastCheck: 29 janv. 2022
        Author: dmitry-kazakov
        Copyright: Dmitry Kazakov
        Repository: SourceForge

        Fuzzy sets for Ada is a library providing implementations of confidence factors with the operations not, and, or, xor, +, and *, classical fuzzy sets with the set-theoretic operations and the operations of the possibility theory, intuitionistic fuzzy sets with the operations on them, fuzzy logic based on the intuitionistic fuzzy sets and the possibility theory; fuzzy numbers, both integer and floating-point with conventional arithmetical operations, and linguistic variables and sets of linguistic variables with operations on them. String-oriented I/O is supported. A rich set of GTK+ GUI widgets is provided.


Simulators

VHDL simulator

Link: en.wikipedia.org/wiki/List_of_HDL_simulators


Syntax Analyser

    • FLex / Yacc
      • Aflex
        Link: alire.ada.dev/crates/aflex
        LastCheck: 26 janv. 2022 à 16:22
        Author: stcarrez

        An Ada Lexical Analyzer Generator — ["parser","generator","grammar"]

      • Ayacc
        Link: alire.ada.dev/crates/ayacc
        LastCheck: 26 janv. 2022 à 16:22
        Author: stcarrez

        An Ada LARL(1) parser generator — ["parser", "generator", "grammar"]

    • ANTLR

Gaming

    • utilities

      • Evdev
        Link: alire.ada.dev/crates/evdev
        LastCheck: 26 janv. 2022 à 16:22
        Author: onox

        Ada 2012 library for input and force-feedback using Linux' evdev API — ["evdev", "force-feedback"]

      • Pygamer_bsp
        Link: alire.ada.dev/crates/pygamer_bsp
        Author: Fabien-Chouteau

        Board Support Package for the AdaFruit PyGamer — ["embedded", "nostd", "pygamer", "adafruit", "game", "console", "bsp"]

    • Framework

    • game

      • Adabots
        Link: alire.ada.dev/crates/adabots
        LastCheck: 26 janv. 2022 à 16:22
        Author: TamaMcGlinn

        Learn Ada by programming Minecraft robots — ["learn", "ada", "minecraft", "computercraft", "robots", "teach", "children"]

      • Eagle_lander
        Link: alire.ada.dev/crates/eagle_lander
        LastCheck: 26 janv. 2022 à 16:22
        Author: Fabien-Chouteau

        Apollo 11 lunar lander simulator — ["simulator", "game", "gtk"]

      • Geste
        Link: alire.ada.dev/crates/geste
        LastCheck: 26 janv. 2022 à 16:22
        Author: Fabien-Chouteau

        GEneric Sprite and Tile Engine — ["game", "nostd", "rendering", "sprite"]

      • Geste_examples
        Link: alire.ada.dev/crates/geste_examples
        LastCheck: 26 janv. 2022 à 16:22
        Author: Fabien-Chouteau

        Example for the GESTE game engine — 0

      • Hangman
        Link: alire.ada.dev/crates/hangman
        LastCheck: 26 janv. 2022 à 16:22
        Author: mosteo

        Hangman game for the console — 0

      • Mandelbrot_ascii
        Link: alire.ada.dev/crates/mandelbrot_ascii
        LastCheck: 26 janv. 2022 à 16:22
        Author: mosteo

        Mandelbrot renderer using Unicode glyphs — 0

      • Play_2048
        Link: alire.ada.dev/crates/play_2048
        LastCheck: 26 janv. 2022 à 16:22
        Author: mgrojo

        2048 game: merge tiles with the same number until you add up to 2048 — ["game", "puzzle", "cross-platform", "sfml"]

      • Pygamer_simulator
        Link: alire.ada.dev/crates/pygamer_simulator
        LastCheck: 26 janv. 2022 à 16:22
        Author: Fabien-Chouteau

        SDL simulator of the AdaFruit PyGamer console — ["pygamer", "adafruit", "game", "console", "simulator"]

      • Shoot_n_loot
        Link: alire.ada.dev/crates/shoot_n_loot
        LastCheck: 26 janv. 2022 à 16:22
        Author: Fabien-Chouteau

        Platform game for the AdaFruit PyGamer console — ["pygamer", "game", "simulator"]

      • Tiled_code_gen
        Link: alire.ada.dev/crates/tiled_code_gen
        LastCheck: 26 janv. 2022 à 16:22
        Author: Fabien-Chouteau

        Generate GESTE data from Tiled maps and tilesets — ["geste", "gamedev", "game", "tiled"]

      • TrainWorld
        Link: github.com/AlexanderC2/TrainWorld
        LastCheck: 29 mars 2013
        Author: AlexanderC2
        Copyright: Julian Schutsch
        Repository: GitHub

      • Virtapu
        Link: alire.ada.dev/crates/virtapu
        LastCheck: 26 janv. 2022 à 16:22
        Author: Fabien-Chouteau

        A virtual Audio Processing Unit to simulate 8-bit era game sounds — ["nostd", "audio", "synth", "game"]


Graphs

GraphViz

PlantUML

EEC GDPR compliant