Search Results for "linux" - Page 3
Sort By:
Showing 201 open source projects for "linux"
View related business solutions-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
-
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.
-
1
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) -
2
MATTA
Morse Code Utilitiies to convert text messages to & from sound files.
This is a commandline utility that converts a WAV sound file containing morse code to English text. Pre-built binaries run on OSX, MsWindows, & GNU/linux. It is written in Ada, so can be rebuilt on any platform with an Ada compiler. The input wav file must be monaural, with a 16-bit signed integer encoding, and a sample rate of 8000 Hz. Either sox or audacity can easily transform to this format. The wav file is expected to be international morse code, preferrably clean and properly spaced. ... -
3
RetroArcade
ASCII SpaceInvaders, Pacman, Frogger
RetroArcade is a highly portable collection of ASCII arcade games with sound that run in a commandline terminal on Windows, OS-X and Gnu/Linux. Includes SpaceInvaders, Pacman & Frogger. Includes full source code. ----------------------------------------------------------- Featuring * no installation * no dependencies (Ncurses not needed) * simply unzip in your Downloads directory, or any other writeable directory, and run; * or unzip onto a USB flash drive [w/same file format] and run. -
4
RufaSwap
Permuted picture puzzle, allows using your own PNG pictures.
...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 see: https://sourceforge.net/projects/adagate/ https://sourceforge.net/projects/rufascube/ https://sourceforge.net/projects/rufasslider/ https://sourceforge.net/projects/sevenslider/ -
Simple, Secure Domain RegistrationRegister or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.
-
5
Warborg-repost
Warborg is Wargames movie based game
Search and destroy anothers WOPR with more weapons -
6
PNG_IO
An Ada 2012 library for reading and writing PNG image files
PNG_IO is an Ada2012 coder/decoder for Portable Network Graphics, allowing Ada2012 programs to read and write PNG files. It is portable across machines and operating systems. It depends on Zlib and Zlib_Ada to perform lossless compression and decompression. Versions prior to v5 were in Ada95. -
7
lorenz
Ada contributions : demos of GTKAda, binding to PCRE
Ada contributions : 1/Lorenz is a small animation program which draws the Lorenz attractor using GTK+. For maximum portability, it uses Ada and GTKAda with a Glade3 interface Windows executable bundled with all the GTK DLL's is provided. Upgraded to Gtk3 in 2017 2/Thin Ada binding to PCRE regular expression. 3/Gate3 : Ada code sketcher for glade3. generates an Ada prototype from a XML file. Enables RAD of user interface with glade 4/Julia set with GtkAda 5/OpenGL demos... -
8
PLplot
Cross-platform, scientific graphics plotting library
PLplot is a cross-platform, scientific graphics plotting library that supports math symbols and human languages (via UTF-8 user input strings); plot capabilities for multiple non-interactive plot file formats and in multiple interactive environments; and bindings for multiple computer languages. -
9
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. -
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
10
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. -
11
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.
-
12
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. -
13
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.
-
14
ZanyBlue: Ada libraries towards a finite element framework
-
15
Agar
Cross Platform GUI Toolkit
Agar provides a base GUI framework and a standard set of widgets from which graphical applications can be built which run natively under X11, Windows, MacOS X, SDL and others. It takes advantage of texture and GPU acceleration wherever available. Agar can also attach to an existing framebuffer, SDL or OpenGL context and operate as a self-contained window-manager. It includes a standard library of general-purpose widgets, and is also designed to be extended externally. New widgets can be... -
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
...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 only 3rd-party tool required is an Ada compiler. -
19
-
20
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...
-
21
AdaSNTP
Simple Network Time Protocol in Ada
AdaSNTP is an open-source implementation of the Simple Network Time Protocol in Ada, based on the code generator 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. This exception does not... -
22
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada. The software is issued under the GPL Version 3 with the additional permissions granted by the GCC Runtime Library Exception version 3.1.
-
23
arknos
Intelligent OS Interface
Command launcher with task managment and others capabilities. -
24
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. This project provides such a... -
25