Search Results for "ada"
Sort By:
21 projects for "ada" with 2 filters applied:
-
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.
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
1
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. -
2
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 linguistic variables with operations on them. ... -
3
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 -
4
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. -
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
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 -
6
Ada industrial control widget library
A GUI library for designing gauges, meters, oscilloscopes, plotters
...The software is based on GtkAda and cairoada, the Ada bindings to GTK+ and cairo. -
7
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... -
8
OpenAvionics is a hardware/software projet to design low cost instrumentation (air/attitude, navigation, voice, engine) for light and ultra light aircrafts. The display part of the project may be used in aircraft simulation projects.
-
9
FFTW_Ada
An Ada 2012 binding to the FFTW fast Fourier transform library
FFTW_Ada is an Ada binding to the FFTW (fast Fourier transform) library written at MIT by Matteo Frigo and Steven G. Johnson. FFTW is written in C. FFTW_Ada allows calls to FFTW from an Ada program, thus allowing Ada code to compute fast Fourier and certain other related transforms. FFTW_Ada v2 works with FFTW v3 and requires Ada 2012. -
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.
-
10
eprb_signal_correlations
Simulation of a two-channel Bell test, with closed-form proofs
Derivation, entirely by probability theory, of the correlation coefficient for a two-channel Bell test, with simulation in Ada and other languages. The Nobel Committe for Physics bans this program for subversive content. (Mirror of the repository at https://github.com/chemoelectric/eprb_signal_correlations) -
11
ZanyBlue: Ada libraries towards a finite element framework
-
12
MSqBAT
Label-free protein quantification for LC-MS
MSqBAT is a freely-available all-platform software application for label-free quantification of proteins from LS-MS data. It was developed in the lab of Dr. Christoph Rösli at the Heidelberg Institude for Stem Cells and Experimental Medicine (HI-STEM) and the German Cancer Research Center (DKFZ). It’s main features are 1) Label-free, MS1-based quantification 2) Support both LC-MALDI-MS- as well as LC-ESI-MS data 3) Supports both GeLC-MALDI-MS- and GeLC-ESI-MS data 4) Convenient,... -
13
ghdl-updates
GHDL - a VHDL simulator
GHDL is the leading open source VHDL simulator. *** Now on github.com/tgingold/ghdl *** We have binary distributions for Debian Linux, Mac OSX and Windows. On other systems, getting GHDL from here means downloading the current source package and building GHDL from source. Alternatively you can get the latest source version (warning : occasionally unstable!) by pulling a snapshot from the git repository. -
14
A parallel-programming framework for concurrently running large numbers of small autonomous jobs, or microthreads, across multiple cores in a CPU or CPUs in a cluster. Each microthread is conceptually similar to a task in Ada and it is much lighter weight than an operating system thread. SpikeOS was designed to handle millions of microthreads, for example in a neural network hosting millions of spiking model neurons. SpikeOS handles microthread scheduling, synchronization, distribution and communication. *** This project has been forked. NeuraNEP (sourceforge.net/projects/neuranep) represents a major update to SpikeOS. ...
-
15
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.
-
16
-
17
-
18
It's a tool who shows the concepts of a type of neuronal networks (multi-layers percetron). It's not a real ocr, it's just a little didactical application.
-
19
UniParser is a parser toolkit for creating grammar parsers of streams (of e.g. Unicode characters) with Ada 95 programming language. (If you will request, I may port it to C++.) Very feature rich, flexible, and extensible; however somehow slow and bloate
-
20
Parallel Port Eprom Programmer contains a GNU/Linux driver that controls the eprom programmer throught the parallel port and a tool which allows reading and writing eproms.
-
21
A GPL (with same special exception as the GNAT run-time) package hierarchy for the I/O of Image Data (PPM, TIFF, others...) as well as packages for manipulation of that data. There is no intension of producing packages in the main library for displayi
- Previous
- You're on page 1
- Next
