Search Results for "gnu/linux"
Sort By:
37 projects for "gnu/linux" with 2 filters applied:
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
1
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... -
2
ALEPH-w
Data structures and Algorithms library
...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 -
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
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. -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
5
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. -
6
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. -
7
...i will always give my source code so that you may study it and practice it yourself and/or provide constructive feedback so you can help me learn how I can make improvements. for a complete list of my software featuring 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
-
8
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. -
9
Coptic Encoder
A full system for transcoding between legacy Coptic character sets.
...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). -
Build Securely on Azure 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
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 -
11
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 -
12
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
-
13
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.
-
14
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.
-
15
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. -
16
-
17
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. -
18
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.
-
19
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
-
20
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.
-
21
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
-
22
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
-
23
DASS-GUI is a graphical user interface for pattern search in non-sequential data.
-
24
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.
-
25
