Search Results for "gnu/linux"
Sort By:
13 projects for "gnu/linux" with 2 filters applied:
-
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.
-
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.
-
1
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. -
2
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. -
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
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). -
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.
-
5
-
6
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.
-
7
-
8
A generic, vendor-independent open-source application to determine the performance of a pub-sub infrastructure.
-
9
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.
-
Gemini 3 and 200+ AI Models on One PlatformBuild, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
-
10
OPACIAL is an open source Web 2.0 Online Public Access Catalogue (OPAC). It is based on PHP-Mysql (requires Yaz and GD). The users can isnert their own social tags/opinions and have a faceted search/browse interface (also using social tags).
-
11
PLEIAS is an open-source Inter-library Loan System (ILL) written in PHP-Mysql. Some of its major features are: custom workflow and account types, customer and supplier financial monitoring, group accounts, customer web interface for order tracking.
-
12
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
-
13
EBookShelf is a java based electronic books, documents management system. As a web-based application, the system enables users to search, browse and manage ebooks and documents shared by entire organization online.
- Previous
- You're on page 1
- Next
