Search Results for "gnu/linux"
Sort By:
18 projects for "gnu/linux" with 2 filters applied:
-
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
Auth0 B2B Essentials: SSO, MFA, and RBAC Built InAuth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
-
1
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 -
2
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. -
3
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. -
4
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. -
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
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 -
6
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 -
7
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.
-
8
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.
-
9
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. -
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
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. -
11
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
-
12
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
-
13
This is attempt to make an open source bookmarking system that supports tagging, distributed data storage, genetic "splicing" of strains of bookmarking tags and much more!
-
14
MGARCH is a software library for R-Project to simulate and estimate various MGARCH processes. This project also provides convenience tools for preparing data, summarizing and visualizing results, prediction and documentation.
-
15
The mission of libshell is to keep in place all patterns, functions and etc of shell as a library which are useful in day-to-day work activities. With libshell one can definitely obviate the task in hand.
-
16
MBDyn_sim_suite is a collection of free pre&post-processing tools and simulation models for the open-source multi-body analysis software MBDyn forming a general purpose simulation environment for structural dynamics with an emphasis on wind turbines.
-
17
La Suite Nemesis Research & Design 1.x (NemesisRD) es un conjunto de librerías multipropósito, que ofrece gran cantidad de clases y patrones implementados en C++, que tienen como objetivo facilitar la realización de las tareas más habituales a la hor
-
18
Scribe Software is a software system for the nondestructive scanning and digitization of books with the Internet Archive's Scribe machine. The Java UI and PHP image processing pipeline produce books for www.archive.org and other digital libraries.
- Previous
- You're on page 1
- Next
