5 Star 6 Fork 2

Gitee 极速下载/Silq

Create your Gitee Account
Explore and code with more than 12 million developers,Free private repositories !:)
Sign up
此仓库是为了提升国内下载速度的镜像仓库,每日同步一次。 原始仓库: https://github.com/eth-sri/silq
Clone or Download
contribute
Sync branch
Cancel
Notice: Creating folder will generate an empty file .keep, because not support in Git
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.

About

Silq 是用于具有强大静态类型系统的量子计算的高级编程语言 expand collapse
Q# and 6 more languages
BSL-1.0
Cancel

Releases

No release

Contributors

All

Activities

Load More
can not load any more
马建仓 AI 助手
尝试更多
代码解读
代码找茬
代码优化
1
https://gitee.com/mirrors/Silq.git
git@gitee.com:mirrors/Silq.git
mirrors
Silq
Silq
master

Search