登录
Safe-DS
分类：工具软件 访问：5 下载量：0

软件介绍

更新时间：2025-05-07
工具软件 Visual Studio Code sds snippet data science machine learning DSL __ext_sds __ext_sdsdev __ext_sdsstub programming language SafeDS safe-ds SafeDS Dev Safe-DS Dev SafeDS Stub Safe-DS Stub safe-ds-dev safe-ds-stub SDS Dev SDS Stub static checking

新的介绍内容：

Safe-DS：安全开发数据科学程序的利器

Safe-DS是一款专为数据科学开发设计的工具，采用静态检查的域特定语言（DSL）并集成了数据检查功能，确保您的数据科学项目更加安全和高效。

demo

安装指南

要设置一个功能强大的Safe-DS集成开发环境（IDE），请按照以下步骤进行：

  1. 安装Visual Studio Code（简称VS Code）。
  2. 安装Safe-DS扩展至VS Code。

要运行Safe-DS程序，您还需要Safe-DS Runner：

  1. 安装Python（3.11或3.12）。请确保在安装过程中将Python添加到系统的PATH中。通过在命令行中运行python --version来验证安装情况，您应该看到类似于Python 3.12.2的输出。
  2. 打开VS Code。
  3. 打开命令面板（菜单栏 > 查看 > 命令面板）。
  4. 输入并选择安装Safe-DS Runner，然后按Enter。
  5. 选择安装Safe-DS Runner的位置。

请注意，安装过程可能需要几分钟，因为它需要下载并安装包括PyTorch在内的多个大型库。

文档

您可以在此处找到Safe-DS的完整文档。

贡献

我们欢迎来自各方的贡献。作为起点，请查看以下资源：

  • 贡献页面

如果您需要进一步的帮助，请使用我们的讨论论坛。

本站所有资源都是由网友投稿发布，或转载各大下载站， 请自行检测软件的完整性！

本站所有资源仅供学习与参考，请勿用于商业用途，否则 产生的一切后果将由您自己承担！

如有侵权请联系我们删除下架，联系方式：study_golang@163.com

相关推荐

查看更多

最新更新

查看更多

最新教程

查看更多
  • Golang云原生架构师课程
    Golang云原生架构师课程
    Go是一门并发支持、垃圾回收的编译型系统编程语言；本课程转载自哔哩哔哩：https://www.bilibili.com/video/BV1Mh411M7A
  • MySQL数据管理之备份恢复案例解析视频教程
    MySQL数据管理之备份恢复案例解析视频教程
    《MySQL数据管理之备份恢复案例解析视频教程》MySQL是一个开放源码的小型关联式数据库管理系统，目前MySQL被广泛地应用在Internet上的中小型网站中。由于其体积小、速度快、总体拥有成本低，尤其是开放源码这一特点，许多中小型网站为了降低网站总体拥有成本而选择了MySQL作为网站数据库。
  • MySQL索引优化解决方案
    MySQL索引优化解决方案
    本套课程是根据MySQL索引的设计理念与数据结构、索引使用场景、索引分类、索引运用场景、索引性能分析、查询优化、MySQL索引的慢查询等组成，主要讲述了MySQL索引优化的解决方案，非常适合有MySQL使用基础或者有一定工作经验的同学。课程讲解了解决大数量查询慢的问题、如何编写一个高效的SQL、查询语句应该如何优化、索引的实现原理是什么、索引又应该如何优化...等诸多SQL索引优化的难点和面试点。
  • 极客学院Docker视频教程
    极客学院Docker视频教程
    Docker是PaaS提供商dotCloud开源的一个基于LXC的高级容器引擎，源代码托管在Github上,基于go语言并遵从Apache2.0协议开源。Docker自2013年以来非常火热，无论是从github上的代码活跃度，还是各大厂商的支持，都使Docker成为了时下最受关注的技术，甚至微软都声称在下一代WindowsServer中集成对Docker的支持。所以我们收集了《极客学院Docke
  • Golang进阶实战编程
    Golang进阶实战编程
    本课程是在《Go语言基础视频》基础之上录制的，是Go语言基础的后半部分。包括包的管理，IO操作，Go语言最大的亮点：高并发，goroutine，channel，反射等。本视频主要为了帮助Go语言的初学者，从零到一的快速入门。学完本套课程，可以学会如果通过包管理Go项目，并发模型，以及并发实现，channel通道如何传递数据，反射等等。
  • JavaScript极速入门
    JavaScript极速入门
    本套课程将帮助大家迅速掌握JavaScript这门高端的、动态的、弱类型编程语言。知识点简单明了，让你学习0压力，适合新手观看学习......