Search Results for "linux for windows"
Sort By:
Showing 23 open source projects for "linux for windows"
View related business solutions-
Atera all-in-one platform IT management software with AI agentsAtera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
-
Synap is the world's leading online solution for question-based learning and assessmentThe online exam platform for schools, universities and other educational bodies. Provide your learners with the tools and insights to facilitate long-term learning ahead of live exams. Deliver engaging online exam preparation, practice tests and live, high-stakes exams all from one place with Synap’s easy-to-use platform.
-
1
MAX! home automation
MAX! cube GUI
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... -
2
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 -
3
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.
-
4
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... -
Scalable restaurant tech for stellar guest experiencesHungerRush helps restaurants compete in the toughest business on earth. We offer a fully integrated restaurant management system that’s easy to use and can be configured to engage your guests better, streamline your operations, master your own marketing, or all of the above. Want to offer online ordering? It’s built in. Want to get the latest performance data on your operations and marketing? No problem. Want to make customers for life by creating personalized experiences you know they’ll love? Order up. And since our system is backed by a dedicated and US-based support team, you’ll always be ready for the rush.
-
5
IntervalRpnCalculator
An HP RPN calculator with interval output
This terminal app runs on PCs or laptops running OSX or GNU/Linux. It attempts to mimic the functionality of an HP ReversePolishNotation [RPN] calculator with the added enhancement of interval output. So along with your answer, you get a good idea of its trustworthiness. This app uses GAOL, a C++ library to perform arithmetic with floating-point intervals. -
6
Ada industrial control widget library
A GUI library for designing gauges, meters, oscilloscopes, plotters
A library that is intended for designing high-quality industrial control widgets for Ada applications. The widgets are composed of transparent layers drawn by cairo. The widgets are fully scalable graphics. A time controlled refresh policy is supported for real-time and heavy-duty applications. 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... -
7
HungarianAlgorithm
An Ada implementation of the Hungarian Algorithm to minimize cost
The Hungarian algorithm can be described as optimally solving a workers versus jobs assignment problem that minimizes total cost. This implementation assumes a square cost matrix, i.e. the number of jobs equals the number of workers to do them. -
8
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 -
9
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. -
Shoplogix Smart Factory PlatformReal-time Visibility into Your Shop Floor's Performance. The Shoplogix smart factory platform enables manufacturers to increase overall equipment effectiveness, reduce operational costs, sustain growth and improve profitability by allowing them to visualize, integrate and act on production and machine performance in real-time. Manufacturers that trust us to drive efficiency in their factories. Real-time visual data and analytics provide valuable insights to make better informed decisions. Uncover hidden shop floor potential and drive rapid time to value. Develop a continuously improving culture through training, education and data-driven decisions. Compete in the i4.0 world by making the Shoplogix Smart Factory Platform the cornerstone of your digital transformation. Connect to any equipment or device to automate data collection and exchange it with other manufacturing technologies. Automatically monitor, report and analyze machine states to track real-time production.
-
10
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. -
11
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... -
12
Fuzzy machine learning framework
A library and a GUI front-end for fuzzy machine learning
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... -
13
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. -
14
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) -
15
ZanyBlue: Ada libraries towards a finite element framework
-
16
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... -
17
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. -
18
Ada Lapack
A partial port of Lapack to Ada 2012
These files provide a native Ada implementation of some parts of Lapack. The codes provided here are a direct translation (using f2a.pl from Oliver Kellogg) of the Fortran source to Ada. The code is written in the form of a generic package and covers the Lapack routines for - Matrix determinant and inverse on general matrices, - Eigenvalues and eigenvectors of general, real and hermitian symmetric matrices, - Solutions of systems of equations for general, real and hermitian symmetric... -
19
ATI_SCOPE
Open Source Traffic Control Software
...In has min recall, max recall, gap out, max gap, and presence modes that include advanced traffic control concepts. SCOPE interfaces with both NEMA-TS2 and Intelligent Transportation Systems (ITS) traffic cabinets. SCOPE executes under Linux or Windows. Currently it runs on a Linux based PC (used for concept and unit testing), a PowerPC prototype board with various I/O connectors (used for integration testing) and an Advanced Traffic Controller. SCOPE has the ability to simulate 64 traffic sensors and 8 pedestrian calls. It has several menu options to facilitate real time logging and debugging. ... -
20
A code template tool for VHDL development which outputs to the clipboard - this means it can be used with any tool. Written in Ada, using GTK. Runs on Windows XP and Linux with common source code
-
21
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.
-
22
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
-
23
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
