Search Results for "x86_64-linux-gnu"
Sort By:
38 programs for "x86_64-linux-gnu" with 2 filters applied:
-
Deploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.
-
Evolia is a web and mobile platform that connects enterprises with 1000’s of local shift workers and offers free workforce scheduling and time and attendance solutions. Is your business on Evolia?
-
1
Agena
Agena is an interpreted procedural programming language.
Agena is an easy-to-learn procedural programming language suited to be used in scientific, mathematical, scripting, networking, and many other applications. Binaries are available for Solaris, Windows, Linux, OS/2, Mac OS X, Raspberry Pi and DOS. -
2
KingJamesPureBibleSearch
GUI Application to Search and Count the Pure King James Bible
Study and analyze the Fingerprint of God in the mathematical structure, known as the King James Code, of the King James text of the Holy Bible. Allows instant real-time searches, with an autocompleter droplist to assist with words which come next. Jump to specific words, verses, or chapters by number, and see all possible count statistics of phrases within the text. Graphically visualize search results, cross-reference sources and word lexicons, and search foreign translations derived... -
3
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed. -
4
ALEPH-w
Data structures and Algorithms library
... to free deleted entries. Dynamic linear hash tables are implemented too. The main algorithms on graphs are implemented in an easy way and with good performance features. Network Flow (maximum and min cost), cut points, topological sort, spanning trees, min paths. etc. The graphs are generic in the sense that they can contain data independent of the algorithm. Several containers of the C++ STL library are implemented with Aleph-w. Their performance is better than GNU implementation -
ChangeGear provides IT staff with the functions required to manage everything from ticketing to incident, change and asset management and more. ChangeGear includes a virtual agent, self-service portals and AI-based features to support analyst and end user productivity.
-
5
GeMarge
GeMarge: Logiciel de gestion d’émargement des Professeurs
GeMarge est un Logiciel de gestion d’émargement des professeurs, enseignants des écoles (Primaires, Collèges, Lycées et Universités) privées et du public. Développé par Gueu Pacôme. -
6
CSharp MARC
Full featured editor for reading and manipulating MARC Records
*** THIS PROJECT HAS MOVED TO GITHUB *** https://github.com/frozen-solid/CSharp_MARC/ ********************************************************** C# MARC: C# class structures for reading and manipulating Library of Congress MARC records using the MARC21 standard. Based upon the PHP Pear package File_MARC (http://pear.php.net/package/File_MARC) by Dan Scott. C# MARC Editor: A full featured SQLite based editor for quickly modifying MARC records and exporting them to MARC21 or MARCXML. -
7
OpenAxiom: Scientific Computation System
A system for computer algebra and symbolic mathematics
OpenAxiom is an open source Computer Algebra System. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences. -
8
... Windows, Linux, and FreeBSD just go to Files. > https://sourceforge.net/projects/freeware/files/ final note: this learning space assumes that you already have support for **7zip** and **.tar.gz** archives. if you don't, please go get it. > http://www.7zip.org/ for tar.gz: 1. open the terminal 2. enter "gunzip file.tar.gz" 3. enter "tar -xzvf file.tar" Now accepting Bitcoin donations: 1AFMeDXvwenkKV96tLaYnXdRVxjZSRWhP
-
9
DIASER
Cloud storage class, open source software.
DIASER, Geo-data duplication long-term archive system & WAN vault. Manage mixed data archives generated by existing backup software. Ensure availability using commodity hardware. Retain administrative and financial control. -
Manage your enterprise’s compensation lifecycle and accurately recognize top performers with a digitized, integrated system. Keep employees invested and your HR team in control while preventing compensation chaos.
-
10
Coptic Encoder
A full system for transcoding between legacy Coptic character sets.
... encoding and then turn it into Unicode than to type directly in Unicode. This package aims to act as a stepping stone to Unicode, by including several legacy fonts hard-coded to take advantage of the multiple encodings, as well as a UNIX shell script, in multiple shell languages, to transcode between these encodings. All twelve encodings in wide use are supported. The fonts in this package are compatible with many operating systems; the shell scripts support Mac and Linux (more soon). -
11
svmradiusmargin
code for convex formulation of radius-margin based SVM
Matlab code for the novel algorithms presented in the paper Convex formulation for radius-margin based Support Vector Machines -
12
Parallel_Algorithms
list of parallel Algorithms developed in Parallel Algo course
These are the implementation of various parallel algorithms like Symmemtric division for sum and maximum, Optimal sum using parallel algorithms, List ranking, Tree contraction, Matrix vector multiplication, Counting the number of vowels, consonants, digits, Matrix transpose, Block based matrix multiplication, the project folder has 4 implemenations of Matrix Multiplication algorithms, one simple muliplication, Transpose based multiplication, Strip based matrix mulitiplication -
13
Al-anvar is an open source freeware dedicated for Quranic study and research. Some of its features are: Advanced search , Commenting tool , Indexing and Grouping , Add-ons for different translations and commentaries in many languages , Online and offline recitation
-
14
Okul kütüphanesini yeniledik. Artık yeni kullanıcılar eklenebilecek. Okullar için düzenlenmiş kütüphane programı. En çok kitap okuyanı ve en çok okunan kitabı görebilmek için başlangıçta kullanıcı şifrenizi girmeniz yeterli. Kurulumdan sonra yetkili kullanıcılar "123456" olan ilk şifreyi değiştirmeleri tavsiye olunur. İstediğiniz kadar yetkili kullanıcı tanımlayabilirsiniz. Diğer kullanıcılar sadece okunan kitapların kaydını tutabilir.
-
15
Okullar için düzenlenmiş kütüphane programı. En çok kitap okuyanı ve en çok okunan kitabı görebilmek için başlangıçta sistem tarihini girmeniz yeterli.
-
16
Human mouse
Human-like mouse movements
Library provides a function of 'human-like mouse movements', ie mouse movements as human. The library will be useful for those who are developing all kinds of bots for games or online casino \ poker. Written in C + +, has a small size of 13 kilobytes. -
17
-
18
Shark Virtual Library
The best way to store and share files
Shark Virtual Library (shark-vlibrary) allows to share trougth an web java application educational, cultural and other types of documents (e-books, researches, articles, sounds...) it is specially designed for educational purposes and institutios, Three kinds of users can manage and use the documents what are saved in diffrerent sections that you can add. -
19
MarcXimiL is a flexible multi-platform bibliographic similarity analysis framework. Features: deduplication, information monitoring, visual analysis, plagiarism detection. Supported: MARCXML, OAI-PMH2 harvesting, and importation of text MARC.
-
20
Implementation of algorithm from paper 'Numerical Approximation of Option Premia in Displaced-Lognormal Heston Models' by A Dickinson. For code: click link under 'Develop' & checkout via svn or click link under Browse Code->SVN & download tarball
-
21
Schema validation with simple dom php classes, that will check the xsd file before the xml based forms will accept any submit. The ajax wrapper should work with widgets to show any validation error to the form user.
-
22
libNT is a Number Theory Library which is based on a BigInteger Class. It will contain several algorithms for solving Number Theory Problems. Written in the IDE Code::Blocks
-
23
JeromeDL [Semantic Digital Library] - e-Library with semantics - is a digital library system based on J2EE platform and the Semantic Web technologies. It utilizes MarcOnt ontology, FOAFRealm and HyperCuP
-
24
DASS-GUI is a graphical user interface for pattern search in non-sequential data.
-
25
Será una clase C++ para representar números enteros en cualquier base de 2 a 255. Servirá para ayudar en educación sobre Electrónica Digital, en temas de representación de números.