OCAML

OCAML est le langage support de l'enseignement de l'Algorithmique et Programmation 1 en L1.

OCAML est la  principale implémentation du langage CAML (Categorical Abstract Machine Language) ,

OCAML est un langage de programmation  généraliste fonctionnel (ex. Objective Caml)

La version complète pour Windows est téléchargeable gratuitement via ce lien. La dernière version du logiciel est ocaml64 4.02.1+ocp1-msvc64-20160113

C'est le compilateur natif sous Windows (source ocpwin: https://www.typerex.org/ocpwin.html)

Pour utiliser OCAML sous windows :

• Télécharger le ZIP ocpwin64.zip,
• Déziper le sur la racine de votre disque.
• Lancer demarrer.bat pour lancer emacs   (vous n'aurez pas à taper c:\ocpwin\ocaml\bin\ocaml dans emacs pour interpréter votre code grâce à ce fichier "demarrer.bat")

ocpwin64v2.zip(154 984.08 Kb) Downloaded 193 times      

Cet enseignement est destiné à la préparation de l'évaluation PIX pour la création de documents basés sur des tableurs. 

Le logiciel utilisé est LibreOffice Calc (l'équivalent gratuit de Microsoft Excel). LibreOffice Calc est le composant tableur du progiciel  LibreOffice.

La version complète pour Windows est téléchargeable gratuitement via ce lien. La dernière version du logiciel est 6.3.4

LibreOffice_6.3.4_Win_x64.msi(??? Kb) Downloaded 238 times      

WebStorm

Webstorm est l'environnement utilisé dans cette enseignement. WebStorm est un IDE pour les langages Web (HTML, CSS et JavaScript), développé par l'entreprise JetBrains et basé sur la plateforme IntelliJ IDEA.

Il améliore la productivité et offre une expérience de développement agréable grâce un éditeur intelligent avec l'autocomplétion, la détection d'erreur à la volée, les refactorisations et le formatage de code, etc. Il offre un support avancé pour Node.js et les frameworks populaires comme Angular, React, Vue.js, Ionic, Cordova, React Native, Meteor et Electron.

WebStorm fournit de puissants outils intégrés pour déboguer, tester et tracer facilement votre code dans l'IDE. Pour le débogage, vous pourrez entre autres insérer des points de rupture directement dans le code source, explorer la pile d'appels et les variables, définir des observateurs et utiliser la console interactive. WebStorm intègre aussi des frameworks JavaScript de tests populaires comme Karma, Mocha, Protractor et Jest. Vous disposez également de spy-js, un outil intégré qui vous aide à tracer votre code et à identifier efficacement les éventuels goulots d'étranglement. Il fonctionne à la fois pour JavaScript (côté client) et Node.js, et supporte même les langages compilés vers JavaScript.

WebStorm offre une intégration transparente avec les outils développeur les plus populaires, qu'il s'agisse des task runners, linters, frameworks de test, gestionnaires de paquets, entre autres. Il fournit aussi une interface utilisateur unifiée pour travailler avec de nombreux systèmes de contrôle de version populaires comme Git, GitHub, Mercurial et bien d'autres.

L'éditeur offre donc divers fonctionnalités :

• Éditeur JavaScript
• Auto-complétion intelligente
• Inspection du code et correction rapide
• Navigation rapide du code et recherche d'usage d'un code
• Refactorisation du code
• Débogueur et Tests
• Débogueur JavaScript
• Test unitaire JavaScript
• Prise en charge de Node.js
• Support des langages : TypeScript, CoffeeScript, Dart et ECMAScript
• Correcteur orthographique
• Détecteur de code dupliqué
• HTML et CSS
• Prise en charge des langages HTML5, CSS3, LESS et SASS
• Validateur de code
• Affichage de contenu rapide
• Synchronisation des fichiers par FTP
• Intégration des gestions de versions : Subversion, Git, Mercurial, Perforce, CVS et TFS

La version d'évaluation (complète et valable 30 jours) pour Windows est téléchargeable via ce lien. La dernière version du logiciel est 2019.3. Il vous faudra au minimum 264.248 Mo sur votre PC pour la  télécharger et un peu plus pour l’installer ou l’exécuter.

Pour plus d'information suivre ce lien

download-thanks.html(??? Kb) Downloaded 185 times      

Notepad++

Développé par Don Ho, un informaticien situé à Paris diplômé de l'université Paris VII - Diderot en 2000, Notepad++ est un programme conçu spécifiquement pour l'édition de code source. Il est compatible avec  les langages et fichiers C, C++, Java, C#, XML, HTML, PHP, JavaScript, makefile, art ASCII, doxygen, .bat, MS fichier ini, ASP, Visual Basic/VBScript, SQL, Objective-C, CSS, Pascal, Perl, Python, R, MATLAB, Lua, TCL, Assembleur, Ruby, Lisp, Scheme, Properties, Diff, Smalltalk, PostScript et VHDL ainsi que pour tout autre langage informatique

Pour éviter les erreurs ou juste pour mettre en évidence certaines lignes de code, il est possible de faire des colorations syntaxiques et des reliefs syntaxiques. Chaque utilisateur peut du reste définir le langage qu'il veut utiliser.

Notepad++ permet de rechercher et de remplacer facilement des syntaxes ou des codes. Il est aussi possible d'avoir une carte du document pour une vue d'ensemble. Des onglets permettent de travailler sur plusieurs documents. Avec cette méthode, il est plus facile de passer d'un document à l'autre. Pour une meilleure reproduction du document à l'impression, on utilise le WYSIWYG. De cette façon, la version papier est la copie conforme de ce qu'on voit à l'écran. Une fonction autorise l'enregistrement et la lecture de macro.

Notepad++  ne bloque pas le fichier en cours d'édition et détecte toute modification apportée à celui-ci par un autre programme (il propose de le recharger). Cette caractéristique lui permet d'être WYSIWYG pour la plupart des langages interprétés (comme HTML et CSS) avec ou sans actualisation de la part de l'utilisateur (grâce aux macros, ou aux extensions).

Le succès de Notepad++ provient de la combinaison de plusieurs facteurs, qui certes, n'étaient pas nouveaux, mais qui étaient peu présents dans une même solution gratuite 

• la gratuité (et dans une moindre mesure, sa licence) ;
• la coloration syntaxique ;
• une simplicité/ergonomie suffisante pour les débutants sur des langages de programmation ;des capacités de mise en forme pertinentes dans le milieu de la programmation (ex. : indentation (tabulation) par sélection plutôt que par ligne, mise en CAPITALE/minuscue d'une sélection, repli des lignes de code…) ;
• gestion et indication précises des encodages (charset), notamment les problèmes que peuvent générer la présence de BOM sur la gestion de fichier UTF-8 sur le web (ex. : le BOM avec les entêtes HTTP en CSS) ;
• une autocomplétion (rustique) ;
• une gestion de la recherche de chaînes de caractères avancés ;
• une bonne visibilité du « manuel d'utilisation » ;
• l’appui sur un système d'extension pour les fonctionnalités souhaitées manquantes.

La version complète pour Windows est téléchargeable gratuitement via ce lien. La dernière version du logiciel est 7.8.3

v7.8.3(??? Kb) Downloaded 222 times      

UwAmp

Free Wamp Server with Apache MySQL PHP and SQLite

Without installation
UwAmp is available as a Zip archive, just unpack it and you can run the wamp server.

Easy interface
UwAmp is provided with a management interface that lets you start or stop the server with one click.

Multi PHP Version
Change PHP version in one click and download new PHP version directly from php.net repository.

CPU Monitoring
Real time Apache and MySQL process CPU monitoring.

U3 Mode
Can be run from a USB stick.

UwAmp.exe(??? Kb) Downloaded 260 times      

Visual C++ Redistributable x86 

Indispensable pour le fonctionnement du PHP 7.2+

VC_redist.x86.exe(??? Kb) Downloaded 230 times