Search Results for "x86_64-linux-gnu" - Page 6
Sort By:
Showing 237 open source projects for "x86_64-linux-gnu"
View related business solutions-
Our Free Plans just got better! | Auth0 by OktaYou 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 secuirty. Auth0 now, thank yourself later.
-
User Testing Platform | TesteumTired of bugs and poor UX going unnoticed despite thorough internal testing? Testeum is the SaaS crowdtesting platform that connects mobile and web app creators with carefully selected testers based on your criteria.
-
1
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... -
2
Text-Oriented Messaging Interfaces for Ada. Wrappers for various client/server and pub/sub messaging protocols, focusing exclusively on text message communications. Currently supporting AMQP, STOMP, and ZeroMQ.
-
3
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.
-
4
Ada projects - for educational purposes. Each is a small project illustrating a particular tool, technique. Ada is the primary language but will touch upon Qt, Networking, Image processing and so on.
-
Red Hat Ansible Automation Platform on Microsoft AzureDeploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.
-
5
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. -
6
ATI_SCOPE
Open Source Traffic Control Software
...) 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. SCOPE is easily ported to any platform and has wireless Android Tablet / Java PC interfaces. -
7
cryptfile
Cryptfile encrypts small files (sub 2 MB) for secure transfer.
Cryptfile employed cryptographic primitives in an unsafe way. If you have files protected with Cryptfile, please migrate them to Sidony, Truecrypt, or another secure tool. -
8
C.Y.O. Adventures, text game generator
Text-based adventure game creator and player. Comes with demo games.
C.Y.O. Adventures is an Ada 2005 compatible text-based game player and game generator. The games are structured as "decision trees." You can choose options at each game branch to decide the path you want to go in the game. There are several games included in the "games" directory. Users can generate their own text-based games with the program. Please upload any games you make to the open source collection, if you want to share your games with others! -
9
-
Payroll Services for Small Businesses | QuickBooksEasily pay your team and access powerful tools, employee benefits, and supportive experts with the #1 online payroll service provider. Manage payroll and access HR and employee services in one place. Pay your team automatically once your payroll setup is complete. We'll calculate, file, and pay your payroll taxes automatically.
-
10
-
11
z9basic
Z9basic application and database environment
Z9basic aims to be a high integrity & performance version of its predecessor bdbbasic. Language is modernized BASIC with screen and PostgreSQL database support. Targeted at Home, SOHO, Small business, Scientific or Engineering users. This project is incomplete and in limbo, due to a general lack of time. Those looking for this type of application functionality are encouraged to look at the bdbbasic project instead, which is complete and functional. -
12
C2Ada is a translator from the C programming language to the Ada programming language.
-
13
-
14
-
15
Florist is an open-source implementaton of IEEE Standard 1003.5b-1996, the POSIX Ada binding, including real-time extensions and a test suite.
-
16
Providing an up to date implementations of Annex E (Distributed Systems) of the ISO standard ISO/IEC 8652:1995/COR1:2000 for GNAT.
-
17
Ada framework providing work sharing/seeking services for distributing work amongst CPU cores on multi-core machines.
-
18
-
19
SPARKUnit is a unit test framework for the SPARK programming language. It enables developers to create unit tests which can be analysed by the SPARK Examiner. This allows for testing of operations with preconditions and flow analysis of test cases.
-
20
The objective of CairoAda is to develop an Ada 95/05 binding for Cairo and certain related libraries.
-
21
CORALLO aims to be a portable media-independent module for reliable and efficient live streaming of multimedia data over peer-to-peer networks.
-
22
A formally verified implementation of cryptographic algorithms using the SPARK programming language. For the complete library proofs of the absence of run-time errors are available. Some of its subprograms include proofs of partial correctness.
-
23
Un petit simulateur de collision de particules codé en langage ADA (utilisant la SDL pour l'affichage). A small simulator of particule collisions coded in ADA (using the SDL for graphics).
-
24
The Widget Set for Super-Light Applications is a minimalist GUI toolkit written in Pascal. Rendering backends include Xlib, SDL and DirectFB. Visit our trac wiki for more information and updates: http://sourceforge.net/apps/trac/wiseslap
-
25
Inspiring Operating System replaces Windows 8, Vista, XP and Mac OS X. (Are you tired of nasty viruses, worms, trojans, rootkits, dialers, spyware, and malware?). If so, make a smart move and get a newbie friendly free Linux Operating System today!