Search Results for "gnat"
Sort By:
Showing 33 open source projects for "gnat"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
1
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 list of cross-references, the count of references to each entity and the list of files. ... -
2
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.
-
3
emergeance
Ada Engeneering over GNU/Linux for Ada projects
Projects managment for Ada engeneering over GNU/Linux (using Gnat) -
4
RufasSok
Sokoban with many families of puzzles provided.
This is a minimalist version of the Sokoban puzzle game that runs on Windows, OSX, and Linux. The best thing about this game that is different: you can use the built-in solvers a little bit.. Sometimes I want to know the best next move or two, but no more. Other times I want to solve part way and watch the solver step thru the remainder of the solution at whatever speed I choose. -
Full-stack observability with actually useful AI | Grafana CloudBuilt 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.
-
5
Reliquarium
3D slider puzzles for kids; helps teach solid geometry
Reliquarium is a very unique set of 3-Dimensional slider puzzles with a Crystal Skull theme. A totally new category of puzzle that would be impossible to build or manipulate in physical form. 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. -
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... -
7
rufascube
Unique 3D slider puzzle that looks like a rubics cube.
This is NOT another Rubic's Cube. It's a much simpler slider puzzle that is incrementally solvable. A 3x3x3 arrangement of cubelets with the center one missing allows sliding permutations. 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. ... -
8
WorldCupSokerban
Soccer-themed 3D Sokoban Game
This is a soccer-themed, 3rd-person 3D sokoban puzzle game. It uses data in a format that is commonly found on the internet. It has undo <u> and restart <r> functions. Comes with many puzzle files, each typically having dozens of "levels". The next <n> and previous <p> keys move between levels. The <Lshft> and <Rshft> keys move between the different puzzle files. The <z> key creates a setpoint (reZero) so that subsequent restarts restore that setpoint. To move the "kicker" use the... -
9
AdaVenture
kid-friendly retro point & click 3D OpenGL "adventure" game
AdaVenture is a kid-friendly retro point&click game, intended to be a minimal extension to 3D of the original 2D Atari game named "Adventure". Now runs on Windows, OSX, and Gnu/Linux -- all distros. Set in ancient Persia, it begins outside the castle of the young King Xerxes, who inherited a golden chalice from his father, Darius the Great. It was recently stolen by a surly foe named King Leonidas of Sparta. Your quest is to find and return the royal chalice to its pedestal within... -
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
10
AdaGate
3D OpenGL dungeon game using Ada: a tribute to Narbacular Drop
AdaGate is a 3D OpenGL strategy game with escape rooms in a Stargate fantasy setting. It is an elaborate example of modern OpenGL programming using the Ada language; and a tribute to Narbacular Drop, and Amelia Earhart. 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. -
11
CoTerminalApps
defunct, get SliderPuzzles or RetroArcade, instead
This collection of ASCII games has been split into a) SliderPuzzles & b) RetroArcade . CoTerminalApps is a collection of ASCII games & puzzles. that can run on Windows, Mac/OSX, & Linux. Includes SpaceInvaders, Pacman & Frogger arcade games and an RPN calculator. -
12
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) - [AVRAda_Examples](https://github.com/RREE/AVRAda_Examples) Start with the examples (alr get avrada_examples) and Alire will install everything else. -
13
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. ... -
14
The Ada 2005 standard defines real and complex matrix and vector operations. Not every possible operation is supported, so for example only symmetric or hermitian matrices can be solved. This project provides extensions to the Standard for GNAT. The software is issued under the GPL Version 3 with the GCC Runtime Library Exception.
-
15
GNAT
GNAT recognizes gene names in text and maps them to NCBI Entrez Gene
GNAT is a BioNLP/text mining tool to recognize and identify gene/protein names in natural language text. It will detect mentions of genes in text, such as PubMed/Medline abstracts, and disambiguate them to remove false positives and map them to the correct entry in the NCBI Entrez Gene database by gene ID. March 2017: We started to upload GNAT output on Medline. -
16
Cortex GNAT Run Time Systems
Supports writing Ada software for Cortex-M3, M4F boards
DEVELOPMENT OF THIS PROJECT HAS MOVED TO GITHUB, at https://github.com/simonjwright/cortex-gnat-rts This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due (http://www.arduino.org) and the STM32F4-series evaluation boards from STMicroelectronics (http://www.st.com). It is intended that releases will allow the development of proprietary software (by the use of the GCC Runtime Library exception for project-developed code, and by only using manufacturer’s software where the same permission applies). -
17
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.
-
18
The ARM-Ada project provide ravenscar runtime system and some useful libraries for deeply embedded applications written in gcc ada (gnat) language. For now RTS port for lpc21xx is done.
-
19
Systems Glycobiology
Glycosylation Network Analysis Toolbox (GNAT)
...The second version of this software (GNATv2beta.zip) upgrades the original GNAT program with additional features that are geared towards incorporating glycan-structure experimental data into the simulation environment. For information about GNAT installation and usage, please see the GettingStarted.pdf file enclosed in the package. To cite GNAT: [1] Gang Liu, Apurv Puri and Sriram Neelamegham, Glycosylation Network Analysis Toolbox (GNAT): a MATLAB based environment for systems glycobiology, Bioinformatics 2013 29: 404-406 -
20
Ada projects - for educational purposes. Each is a small project illustrating a particular tool, technique. Ada is the primary language but will touch upon Qt, Networking, Image processing and so on.
-
21
MSP430-Ada
Ada compiler support for TI MSP430 processors
Compiler and device support for Ada programs on the ultra-low-power TI MSP430 microcontrollers. This project builds on the Gnu Gnat/GCC Ada compiler, the Sourceforge mspgcc back-end and MSP430 CPU support. It was inspired by the Sourceforge AVR-Ada project. -
22
The GNAT GPL and SPARK GPL Editions are made available to the free software developers by AdaCore. They are not intended for professional development, and AdaCore makes NO WARRANTY on them.
-
23
Providing an up to date implementations of Annex E (Distributed Systems) of the ISO standard ISO/IEC 8652:1995/COR1:2000 for GNAT.
-
24
Florist is an open-source implementaton of IEEE Standard 1003.5b-1996, the POSIX Ada binding, including real-time extensions and a test suite.
-
25
