Search Results for "des"
Sort By:
Showing 1316 open source projects for "des"
View related business solutions-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
-
Empower Your Workforce and Digitize Your Shop FloorEasily connect to most tools and equipment on the shop floor, enabling efficient data collection and boosting productivity with vital insights. Turn information into action to generate new ideas and better processes.
-
1
Datalog Educational System
Deductive Database with Datalog, SQL, RA, TRC, DRC
The Datalog Educational System (DES) is a deductive database with Datalog, SQL, Relational Algebra, Tuple Relational Calculus and Domain Relational Calculus as query languages developed mainly for education. It can be used from most common Prolog interpreters over any supported OS and from portable executables (Windows, Linux and MacOS).">
-
2
Mullvad VPN desktop and mobile app
The Mullvad VPN client app for desktop and mobile
In a society that is increasingly determined to weaken that right, a fast, reliable and easy-to-use VPN connection is a good first step towards achieving this. By connecting to the Internet with Mullvad, we ensure that traffic to and from your device is encrypted to the highest standards, even when using public Wi-Fi in a coffee shop or hotel. We do not keep activity logs or ask for personal information, and we even encourage anonymous payments using cash or any of the accepted... -
3
Lightning Design System for React
Salesforce Lightning Design System for React
Accessible, localization-friendly, presentational React components. The Lightning Design System for React is an implementation of the Lightning Design System with accessible patterns and established best practices. The source code is licensed under BSD 3-Clause. For a no hassle setup and compatibility with Create React App, transpiled ES6 and CommonJS module versions have been included within the NPM package. If using this setup, please re-write the import statement in the documentation site... -
4
phpseclib
PHP secure communications library
...MIT-licensed pure-PHP implementations of SSH-2, SFTP, X.509, an arbitrary-precision integer arithmetic library, Ed25519 / Ed449 / Curve25519 / Curve449, ECDSA / ECDH (with support for 66 curves), RSA (PKCS#1 v2.2 compliant), DSA / DH, DES / 3DES / RC4 / Rijndael / AES / Blowfish / Twofish / Salsa20 / ChaCha20, GCM / Poly1305. The only requirement that phpseclib 3.0 has is that you must be using PHP 5.6+. Using phpseclib2_compat will actually bring a few enhancements to your dependency. -
The all-in-one Omnichannel Experience Management PlatformBuild conversational surveys of any type, for any purpose, in any language. Get 40% more responses.
-
5
Proton VPN GTK App
Official ProtonVPN Linux app
...It supports features expected of a full VPN client—such as secure tunnels, automatic reconnection, and location selection—while respecting desktop conventions like system tray icons and notifications. The GTK client helps bring ProtonVPN’s privacy-focused service to the Linux ecosystem in a way that fits naturally with widely used Linux DEs, making secure connectivity accessible to users who prefer open systems for development, business, or privacy reasons. -
6
PrimTux
La distribution éducative
Distribution éducative basée sur Ubuntu et Debian. Compatible 32 et 64 bits. La version 64 Bits est le téléchargement par défaut.">
-
7
conducteo
conducteö - logiciel de calcul des ponts thermiques linéiques
conducteö est un logiciel de modélisation et de simulation des ponts thermiques linéiques, conforme à la RT 2012 et aux principales normes européennes concernant les ponts thermiques.">
-
8
IRAMUTEQ : Interface de R pour les Analyses Multidimensionnelles de Textes et de Questionnaires. Logiciel de traitement de données pour des corpus texte ou de type individus/caractères. Permet notamment de réaliser des analyses de type "ALCESTE"
-
9
Clavier français normalisé (AZERTY)
Pilote de clavier Azerty Windows norme Afnor NF Z 71-300
Basé sur la norme Afnor NF Z71-300, portant sur les dispositions de clavier informatique à 105 touches dans sa version bureautique, et à 72 touches dans sa version compacte, le pilote de clavier AZERTY normalisé permet : La saisie des caractères courants en français tels que les capitales accentuées É, È, Ç, À, Ù, Ÿ ou les ligatures œ, æ, Œ, Æ ; mais aussi l'ensemble des caractères des langues régionales de France et des langues à alphabet latin présentes sur le continent européen ; la saisie plus accessible des jeux de caractères et symboles : alphabet grec, symboles mathématiques… Deux versions : Version classique sous Windows 32 ou 64 bits avec installation du pilote dll : kbfafnor.zip Version portable sans droits d'administrateur : PKL-Fr-Afnor.zip NOTA : Avec la mise à jour de Windows 11, version 24H2 (octobre 2024), le pilote KBDFRNA.DLL est intégré en natif : Français (Standard, AZERTY). ... -
The most advanced C and C++ source code analyzerTrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
-
10
PlanifKanban
Planification complête via Kanban pour Gantt et Listes
PlanifKanban est une application de gestion de tâches opérationnelles pour équipes de production avec interface Kanban et visualisation Gantt. Elle permet de suivre et planifier efficacement les projets en organisant les tâches en colonnes (À faire, En cours, En test, Terminée) tout en tenant compte des jours ouvrables. Fonctionnalités principales: - Déplacement des tâches par glisser-déposer entre les colonnes - Visualisation Gantt avec planification basée sur les jours ouvrables - Vue d'ordonnancement détaillée pour analyser la charge de travail - Gestion des délais avec dates demandées, prévues, et de finalisation - Calcul automatique de la durée en jours ouvrables entre dates - Importation de tâches depuis Excel - Exportation du diagramme Gantt au format PDF - Exportation de la planification au format Excel Conçue pour les ateliers et équipes de production, PlanifKanban offre une interface intuitive pour coordonner les ressources, visualiser la charge de travail -
11
Digirisk
GÉREZ VOTRE DOCUMENT UNIQUE, AFFICHAGE LÉGAL, ET BIEN PLUS
ÉVALUATION DES RISQUES PROFESSIONNELS DigiRisk votre logiciel gratuit pour réaliser votre document unique, votre affichage légal et bien plus… 2 méthodes d’évaluation des risques 18 catégories de risques identifiés par l’INRS dans l’ED840 L’impression de votre Document Unique La saisie du personnel impliqué dans la démarche du DUER. Intégration de votre intranet pour communiquer vos éléments de sécurité : FDS, Affichage, quart d’heure sécurité etc… La gestion de : votre registre des accidents bénins et presque accidents vos causeries sécurités votre plan d’action sécurité simplement votre permis de feu multi-société et/ou multi-services DigiRisk est livré sous licence libre, il est gratuit. ... -
12
AlgoSim
AlgoSim : création, analyse et exécution des algorithmes
AlgoSim un Logiciel de création, analyse, simulation et exécution des algorithmes. Il ne nécessite aucun apprentissage de langage de programmation. Ce logiciel n'utilise pas un éditeur de texte comme les logiciels classiques de programmation. Ce logiciel peut être utilisé par des débutants pour apprendre la programmation et exercer leurs connaissances. Il peut être utilisé par des professionnel pour tester leurs algorithmes, les vérifier et générer des programme présentables (pseudo-code ou programme Pascal) . -
13
Misterknock Compta
Accounting on Office365 / Comptabilité sous Office 365
.... / La page concerne mkCompta, un logiciel fonctionnant sous Office 365 permettant de gérer sa comptabilité en important les opérations bancaires depuis sa banque.Utilisation d'une base de données Access pour la manipulation des données.Exploitation d'un fichier Excel pour la consultation des données.Importation des opérations bancaires à partir de fichiers CSV.Regroupement des dépenses et revenus par budget, et association des fonds à un support (compte bancaire, assurance vie, portefeuille, etc.). -
14
Massar Auto-Sign
Automatisation de la signature et du cachet des bulletins scolaires
...Massar Auto-Sign est un utilitaire gratuit conçu pour l'administration pédagogique marocaine. Il permet d'automatiser entièrement la tâche fastidieuse de signature et de tamponnage des bulletins de notes (PDF) exportés depuis la plateforme Massar.">
-
15
...Elle offre une gamme de fonctionnalités pour la gestion de texte et la personnalisation tout en respectant un design moderne.Éditeur de Texte : Éditez et sauvegardez des fichiers texte (.txt) et des documents Word (.docx). Formatage de Texte : Appliquez des styles de police tels que gras, italique et souligné, ajustez la taille et la famille de la police, et changez la couleur du texte. Gestion des Utilisateurs : Ajoutez et supprimez des utilisateurs, et gérez une liste d'utilisateurs. Notifications : Recevez des notifications périodiques pour rester informé. ...
-
16
Kotidien
Finances personnelles assistées par ordinateur.
...Kotidien vous donne un accès permanent et en temps réel sur vos différents soldes, permets aussi d'automatiser l'écriture de vos transaction récurrentes, de pointer celles mises à jour sur votre interface bancaire, etc Agencées au jour le jour, supplantées par une vue calendrier, et synthétisées sur des graphiques clairs, toutes vos transactions sont réunies au sein de Kotidien. La complétion automatique des différentes informations permet une saisie plus rapide des données. Plusieurs languages vous sont proposés avec par défaut le Français. -
17
NTK Ultra-Compression
Logiciel de compression de fichiers maximal indépendant du temps.
Le logiciel NTK Ultra-Compression répond à une problématique essentielle de l’ère numérique : comment réduire la taille des données à leur minimum absolu sans compromis sur leur intégrité, tout en s’affranchissant des contraintes temporelles ? Dans un monde où les volumes de données explosent et où les solutions actuelles de compression restent limitées par des compromis entre rapidité, efficacité et complexité, nous proposons une approche disruptive. -
18
...Il faut vérifier le serveur au moment des élections. Je n'ai pas la liste des bureaux donc vous pouvez vous approprier un domaine pour installer ce service. J'ai averti un parti politique pour vérifier les élections avec ce service. Peu après, Glucksmann chutait dans les sondages.
-
19
Noid Linux
The Noid Linux live image maker
Noid Linux (Naz's Void Linux-based iso) is my personal customization of Void Linux. It's tailored to my preferences and comes with a custom XBPS repository enabled out of the box. -
20
Sidérion
Application de planification de sessions astronomique
Sidérion est une application spécialement conçue pour faciliter la planification précise et détaillée des observations astronomiques amateur. Elle est destinée aux astronomes amateurs et aux astrophotographes, en offrant des outils pratiques pour optimiser chaque session d'observation. -
21
GeminiBot-CLI
Assistant Gemini AI - 100% en mode Console
...Fonctionnalités principales : >Clé API chiffrée localement via Fernet >Stockage sécurisé dans %APPDATA %\GeminiBot_CLI >Setup Windows professionnel (validation de licence, historique intégré) >Historique automatique des interactions Licence : GNU General Public License v3.0 Gratuit et Open-Source -
22
Municipales
Free Cities Elections Server
...Il faut vérifier le serveur au moment des élections. Aussi: https://sourceforge.net/projects/legislatives/files/ Je n'ai pas la liste des bureaux donc vous pouvez vous approprier un domaine pour installer ce service. J'ai averti un parti politique pour vérifier les élections avec ce service. Peu après, Glucksmann chutait dans les sondages -
23
RadarLoc
RadarLoc : Votre Compagnon de Route Intelligent et Informé
Dans un monde où la circulation routière est de plus en plus dense et réglementée, rester informé des zones de contrôle de vitesse est devenu un atout majeur pour une conduite sereine et responsable. C'est dans cette optique que l'application RadarLoc a été conçue. Véritable assistant de conduite, RadarLoc combine des données de localisation précises, une base de données de radars constamment mise à jour, et une interface utilisateur intuitive pour offrir une expérience de conduite améliorée, en alertant les utilisateurs à l'approche des zones de contrôle. -
24
Cheksafe est une application Python qui automatise la vérification de fichiers pour détecter les malwares en utilisant l'API de VirusTotal. Avec une interface utilisateur conviviale et des thèmes personnalisables, Cheksafe permet aux utilisateurs de sélectionner plusieurs fichiers et d'obtenir des résultats d'analyse clairs et détaillés.
-
25
openjardin
A software for the management of a permaculture oriented garden.
...(Français-Italiano-English) It allows interactive management of crop plots, with annual planning and crop rotation . Le logiciel Open jardin est destiné à la gestion des cultures d'un jardin à partir d'un plan avec la représentation de parcelles, de fiches de cultures, d'un tableau du planning annuel par parcelle, et d'un tableau des rotations de cultures sur 5 ans pour chaque parcelle avec la visualisation des cultures précédentes colorées selon la famille botanique.