Search Results for "school-software"
Sort By:
Showing 22 open source projects for "school-software"
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.
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
1
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 -
2
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 -
3
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 -
4
Interval arithmetic for Ada
An implementation of interval arithmetic
The library provides an implementation of intervals for Ada. It includes arithmetic and relational operations. The library supports intervals with integer and floating-point bounds. Dimensioned intervals are also supported -
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
5
Deepend
Deallocate groups of objects in a single call
Deepend is a storage pool with subpool capabilities for Ada 2022, Ada 2012, Ada 2005, and Ada 95. Memory allocations can be associated with subpools and subpools can be deallocated as a whole which provides a safer alternative than managing deletions of individual objects. It also is likely to be more deterministic and efficient than garbage collection. -
6
Simple components for Ada
A software components library
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, arbitrary precision arithmetic, B-trees, directed graphs, directed weighted graphs, stacks, and storage pools. It also includes table management, string editing, IEEE 754 support, and infix... -
7
Fuzzy sets for Ada
Fuzzy sets, logic, numbers; intuitionistic fuzzy sets, fuzzy linguis
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... -
8
Strings Edit
String editing and formatting library for Ada
Strings edit is a library that provides I/O facilities for integers, floating-point numbers, Roman numerals, and strings. Both input and output subroutines support string pointers for consequent stream processing. The output can be aligned in a fixed size field with padding. Numeric input can be checked against expected values range to be either saturated or to raise an exception. For floating-point output either relative or absolute output precision can be specified. UTF-8 encoded strings... -
9
gnoga
gnoga - The GNU Omnificent GUI for Ada
Gnoga uses modern web technologies to allow simple creation of cross platform GUIs for Ada with native or custom look and feels that perform on par to native toolsets locally and can be easily and securely remoted as web apps over the internet as well. -
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.
-
10
Tables for Ada
Tables indexed by strings
This library provides an implementation of tables indexed by strings. The binary search is used for names of known length. It is also possible to search a table for names of unknown length, i.e. to parse a string using some table. Table elements can be of any private type. Key- insensitive tables are supported. -
11
Ada industrial control widget library
A GUI library for designing gauges, meters, oscilloscopes, plotters
...The library supports caching graphical operations and stream I/O for serialization and deserialization. Ready-to-use gauge, meter, oscilloscope widgets are provided as samples as well as an editor widget for WYSIWYG design of complex dashboards. The software is based on GtkAda and cairoada, the Ada bindings to GTK+ and cairo. -
12
GtkAda contributions
Contributions to Ada bindings to GTK+
The library is a contribution to GtkAda, an Ada bindings to GTK+ toolkit. It deals with the following issues: tasking support; custom models for tree view widget; custom cell renderers for tree view widget; multi-columned derived model; an extension derived model (to add columns to an existing model); an abstract caching model for directory-like data; tree view and list view widgets for navigational browsing of abstract caching models; file system navigation widgets with wildcard filtering;... -
13
Units of measurement for Ada
Handling dimensioned values in Ada
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. -
14
Portable OpenAL Sound
Concurrent, asynchronous sounds package for Ada apps.
This is an Ada package that can play WAV files on Windows, OSX, and Linux, using Ada tasking and OpenAL libraries. It includes a partial Ada binding to OpenAL. It provides sound-playing capabilities for Ada apps to * asynchronously start and stop music/sound loops, * initiate transient sounds, * allow unlimited sound concurrency. It is suitable for any Ada application that needs music, sound loops or transient sound effects; eg. games. The proper command to extract the... -
15
corlpack
Ada Library for heterogenous vectors
Corlpack consists of a library and tools aiming to simplify and accelerate programming of small, scientific, computational applications. One of the planned features is the loading and saving of a variety of research data into a single generic data structure, that is much like the named list from R, thus removing the need to learn many data access APIs. -
16
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) -... -
17
AdaAutoDiff
C++ Templates and Ada Package for Automatic Differentiation
Operators are overloaded so that a normal looking function definition provides access to not only evaluations of itself, but to evaluations of any of its analytic derivatives. Automatic differentiation means the user does not need to define the analytic expressions for all the various partial derivatives. It also means that those complex expressions are essentially calculated at compile time, and merely evaluated at runtime. First order derivatives only, forward... -
18
AdaFontDemo
Ada Fonts is a minimalistic example of using freetype fonts in OpenGL
Ada Fonts is a minimalistic example of using freetype fonts in OpenGL Ada applications using Felix Krause's FreeTypeAda package It is intended to be the modern version of the "glut font" demos from a previous era. It also uses Stephen Sangwine's PNG-IO package, and thin bindings to OpenGL, SDL2. More importantly, it shows how to encapsulate the scripts and runtime libraries necessary to easily compile and run on any computer running Windows, OS-X, or GNU/Linux. The... -
19
Xia1
XPath In Ada
An Ada implementation of nearly all of the XPath 1.0 specification. -
20
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.
-
21
Evex is an "Ada flavored", full-featured run-time expression evaluation library for Ada providing built-in mathematical and string manipulation operators and functions, run-time function definition, and application-provided function registration.
-
22
- Previous
- You're on page 1
- Next
