5 Star 6 Fork 2

Gitee 极速下载 / Silq

加入 Gitee
与超过 1200万 开发者一起发现、参与优秀开源项目,私有仓库也完全免费 :)
免费加入
此仓库是为了提升国内下载速度的镜像仓库,每日同步一次。 原始仓库: https://github.com/eth-sri/silq
克隆/下载
贡献代码
同步代码
取消
提示: 由于 Git 不支持空文件夾,创建文件夹后会生成空的 .keep 文件
r
Loading...
README
BSL-1.0

Silq

Silq is a high-level programming language for quantum computing with a strong static type system. More information: https://silq.ethz.ch

Installation

To install via vscode without building from source, see: https://silq.ethz.ch/install

Build Instructions

GNU/Linux and OSX

Quick build

  1. Run dependencies-release.sh to download the LDC D compiler into the local directory.

  2. Run build-release.sh to build Silq.

Additional information

Silq is written in the D programming language. D compilers are available at http://dlang.org/download.html.

FreeBSD

Silq can be built from a port or installed as a binary package on FreeBSD/amd64. Other FreeBSD platforms do currently lack the D language support required by silq.

To install from source, assuming an up-to-date ports tree is available:

$ cd /usr/ports/lang/silq
$ make install

(Or use portmaster or any of the other ports management tools available in FreeBSD ...)

To install from a package:

$ pkg install silq

Other platforms

The build instructions given here are for GNU/Linux and OSX. Silq can also be built on other platforms. Feel free to write a pull request with working build scripts for your favourite platform.

Example

$ ./dependencies-release.sh && ./build-release.sh

Using Silq

Run ./silq example.slq, where example.slq is a Silq source file to type check that source file.

Run ./silq example.slq --run, where example.slq is a Silq source file to type check and simulate the main function in that source file.

Additional command-line options

Run ./silq --help to display information about supported command-line options.

Boost Software License - Version 1.0 - August 17th, 2003 Permission is hereby granted, free of charge, to any person or organization obtaining a copy of the software and accompanying documentation covered by this license (the "Software") to use, reproduce, display, distribute, execute, and transmit the Software, and to prepare derivative works of the Software, and to permit third-parties to whom the Software is furnished to do so, all subject to the following: The copyright notices in the Software and this entire statement, including the above license grant, this restriction and the following disclaimer, must be included in all copies of the Software, in whole or in part, and all derivative works of the Software, unless such copies or derivative works are solely in the form of machine-executable object code generated by a source language processor. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, TITLE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE COPYRIGHT HOLDERS OR ANYONE DISTRIBUTING THE SOFTWARE BE LIABLE FOR ANY DAMAGES OR OTHER LIABILITY, WHETHER IN CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

简介

Silq 是用于具有强大静态类型系统的量子计算的高级编程语言 展开 收起
Q# 等 6 种语言
BSL-1.0
取消

发行版

暂无发行版

贡献者

全部

近期动态

加载更多
不能加载更多了
1
https://gitee.com/mirrors/Silq.git
git@gitee.com:mirrors/Silq.git
mirrors
Silq
Silq
master

搜索帮助