Annuaire des initiatives
Pertinence
Vous ne trouvez pas l'initiative qui correspond à votre besoin ? Notre assistant peut vous aider.
- Ce projet est une ressource pédagogique dédiée à l'apprentissage et à la pratique de la programmation fonctionnelle. Il propose un environnement simple pour compiler et exécuter des programmes écrits en OCaml, un langage de programmation fonctionnel. Idéal pour les étudiants ou les développeurs souhaitant se familiariser avec ce paradigme.
- Notoriété 39 %Le projet vim-ocaml fournit des fichiers d'exécution Vim pour le langage de programmation OCaml. Il inclut un support amélioré pour le langage OCaml ainsi que pour d'autres outils tels que dune, opam et oasis. Les utilisateurs sont encouragés à utiliser ce dépôt pour bénéficier des dernières mises à jour.
- Bibliothèque OCaml permettant la programmation concurrente en décrivant les comportements causaux des programmes. Elle offre une interface modulaire et haut niveau pour décrire les semantiques causales de langages de programmation, tout en conservant une saveur opérationnelle. Elle supporte les calculs concurrents et non déterministes, et propose plusieurs implémentations des opérations monadiques qui exécutent le programme de manière séquentielle et déterministe, en retournant tous les comportements possibles.
- Notoriété 26 %Le dépôt caml-mode contient des fichiers définissant un mode Emacs pour l'édition de programmes OCaml, ainsi qu'un inferior-caml-mode pour exécuter un toplevel. Ce mode supporte l'indentation, la compilation, la récupération d'erreurs et l'envoi de phrases à un toplevel. Il inclut également des fonctionnalités de surlignage syntaxique, de recherche de mot et d'autocomplétion.
- Notoriété 7 %Basthon est une plateforme pédagogique en ligne permettant d'apprendre et d'enseigner la programmation directement dans un navigateur. Elle exécute du code en Python, SQL, OCaml, JavaScript, XCAS, C et R sans nécessiter d'installation ni de compte utilisateur. Intégrant des outils de visualisation et d'évaluation, elle facilite l'enseignement et l'apprentissage en classe tout en garantissant la sécurité et le respect de la vie privée des utilisateurs.
5 initiatives
10