Search Results for "ada" - Page 2
Sort By:
Showing 65 open source projects for "ada"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
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
AdaControl
Ada source code controller
A tool that detects the use of many constructs in Ada programs. Use it to control style or programming rules, but also as a powerful tool to search for use (or non-use) of various forms of programming styles or design patterns. -
2
The ZLib.Ada is a thick binding to the popular compression/decompression library ZLib http://www.gzip.org/zlib/. ZLib.Ada provide Ada style access to the ZLib C library.
-
3
This package contains a set of Ada95 container classes, both generic and inheritance based. It also contains a set of utilities, including an abstract I/O interface, a telnet protocol engine, and others.
-
4
ZanyBlue: Ada libraries towards a finite element framework
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
5
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. -
6
AdaAutoDiff
C++ Templates and Ada Package for Automatic Differentiation
...It also means that those complex expressions are essentially calculated at compile time, and merely evaluated at runtime. First order derivatives only, forward accumulation. Choose "files" and either the "initial_submission" directory for the Ada version, or the other directory "cpp_AD" for the C++ version. -
7
AdaFontDemo
Ada Fonts is a minimalistic example of using freetype fonts in OpenGL
...The only 3rd-party tool required is an Ada compiler. -
8
Syntastic
Syntax checking hacks for vim
...If syntax errors are detected, the user is notified and is happy because they didn't have to compile their code or execute their script to find them. At the time of this writing, syntastic has checking plugins for ACPI Source Language, ActionScript, Ada, Ansible configurations, API Blueprint, AppleScript, AsciiDoc, Assembly languages, BEMHTML, Bro, Bourne shell, C, C++, C#, Cabal, Chef, CMake, CoffeeScript, Coco, Coq, CSS, Cucumber, CUDA, D, Dart, DocBook, Dockerfile, Dust, Elixir, Erlang, eRuby, Fortran, Gentoo metadata, GLSL, Go, Haml, Haskell, Haxe, Handlebars, HSS, HTML, Java, JavaScript, JSON, JSX, LESS, Lex, Limbo, LISP, LLVM intermediate language, Lua, Markdown, MATLAB, Mercury, NASM, Nix, Objective-C, Objective-C++, OCaml, Perl, Perl POD, PHP, etc. -
9
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 by the GNU General Public License. ...
-
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.
-
10
GNAT Util Library
Provides access to GNAT compiler internals for AdaCore utilities
...The code is released under GPL V3.0 without any Runtime Exception, because the compiler components are themselves pure GPL. NOTE: This library was written to support building Ada tools for Darwin (Mac OS X), and contains Darwin-specific choices. -
11
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 License. ...
-
12
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). -
13
padacore
Eclipse plug-in that enables Ada development.
Padacore is an Eclipse plugin aiming at enabling Ada development within the Eclipse environment. -
14
AdaDoc is a tool for developers using the Ada programming language (currently Ada95). Its goal is to create documentation in different formats (XML, HTML, LaTeX, ...) from a package specification.
-
15
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.
-
16
SLOCCount is an easy-to-use tool that counts Source Lines of Code (SLOC). It auto-determines the language(s) (inc. C, C++, Ada, Assembly, shell, COBOL, C#, Fortran, Haskell, Java, LISP/Scheme, Perl, PHP, Python, Ruby, SQL). It also estimates cost & time.
-
17
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.
-
18
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.
-
19
ABTools provides an open environment based on ANTLR and Java and provides some facilities for design and test the B language and somes extensions. ABTools est un environnement de développement base sur ANTLR et Java. Il permet de manipuler le langag
-
20
Ahven
Unit testing framework for Ada
Ahven is a simple unit testing framework for Ada 95 programming language. The source code is fully portable and works with any Ada 95 (and also Ada 2005) compiler. -
21
It is (no stack based!) VM in a form of a library. It supports different language paradigms without data type restrictions, allows both interpretation and JIT, produces a fast code. Our goal - to have a GENERIC and POWER tool for code migration.
-
22
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. -
23
SSQML
A schema to describe ANSI/ISO SQL in XML and associated tools
...The schema is based on Backus Normal Form (BNF) representations of ANSI-ISO/IEC SQL Standards; ISO/IEC 9075 :2003, ISO/IEC 9075 :2006, ISO/IEC 9075 :2008, ISO/IEC 9075-14 :2013 XML-Related Specifications (SQL/XML) Does not include support for Embedded SQL Ada, C, COBOL, Fortran, MUMPS, Pascal, or PL/I programs. These may be added in future. This schema was generated by automation taking the SQL BNFs as input. It was then run through schema validators and manually modified further to result in a valid schema. The schema was designed such that if an instance document has its tags removed and the order of the content preserved, a valid SQL statement or fragment will be left. ... -
24
jWords is a port of WORDS (by William Whitaker, a free latin-to-english dictionary program written in Ada), to Java. Besides the dictionary will be translated to the German language.
-
25
C2Ada is a translator from the C programming language to the Ada programming language.
