Unpacking Software Livestream

Join our monthly Unpacking Software livestream to hear about the latest news, chat and opinion on packaging, software deployment and lifecycle management!

Learn More

Chocolatey Product Spotlight

Join the Chocolatey Team on our regular monthly stream where we put a spotlight on the most recent Chocolatey product releases. You'll have a chance to have your questions answered in a live Ask Me Anything format.

Learn More

Chocolatey Coding Livestream

Join us for the Chocolatey Coding Livestream, where members of our team dive into the heart of open source development by coding live on various Chocolatey projects. Tune in to witness real-time coding, ask questions, and gain insights into the world of package management. Don't miss this opportunity to engage with our team and contribute to the future of Chocolatey!

Learn More

Calling All Chocolatiers! Whipping Up Windows Automation with Chocolatey Central Management

Webinar from
Wednesday, 17 January 2024

We are delighted to announce the release of Chocolatey Central Management v0.12.0, featuring seamless Deployment Plan creation, time-saving duplications, insightful Group Details, an upgraded Dashboard, bug fixes, user interface polishing, and refined documentation. As an added bonus we'll have members of our Solutions Engineering team on-hand to dive into some interesting ways you can leverage the new features available!

Watch On-Demand
Chocolatey Community Coffee Break

Join the Chocolatey Team as we discuss all things Community, what we do, how you can get involved and answer your Chocolatey questions.

Watch The Replays
Chocolatey and Intune Overview

Webinar Replay from
Wednesday, 30 March 2022

At Chocolatey Software we strive for simple, and teaching others. Let us teach you just how simple it could be to keep your 3rd party applications updated across your devices, all with Intune!

Watch On-Demand
Chocolatey For Business. In Azure. In One Click.

Livestream from
Thursday, 9 June 2022

Join James and Josh to show you how you can get the Chocolatey For Business recommended infrastructure and workflow, created, in Azure, in around 20 minutes.

Watch On-Demand
The Future of Chocolatey CLI

Livestream from
Thursday, 04 August 2022

Join Paul and Gary to hear more about the plans for the Chocolatey CLI in the not so distant future. We'll talk about some cool new features, long term asks from Customers and Community and how you can get involved!

Watch On-Demand
Hacktoberfest Tuesdays 2022

Livestreams from
October 2022

For Hacktoberfest, Chocolatey ran a livestream every Tuesday! Re-watch Cory, James, Gary, and Rain as they share knowledge on how to contribute to open-source projects such as Chocolatey CLI.

Watch On-Demand

F* language

This is not the latest version of F* language available.

  • 1
  • 2
  • 3

0.9.5.0 | Updated: 05 Sep 2017

Downloads:

8,627

Downloads of v 0.9.5.0:

526

Software Author(s):

  • FStarLang

F* language 0.9.5.0

This is not the latest version of F* language available.

Legal Disclaimer: Neither this package nor Chocolatey Software, Inc. are affiliated with or endorsed by FStarLang. The inclusion of FStarLang trademark(s), if any, upon this webpage is solely to identify FStarLang goods or services and not for commercial purposes.

  • 1
  • 2
  • 3

All Checks are Passing

3 Passing Tests


Validation Testing Passed


Verification Testing Passed

Details

Scan Testing Successful:

No detections found in any package files

Details
Learn More

Deployment Method: Individual Install, Upgrade, & Uninstall

To install F* language, run the following command from the command line or from PowerShell:

>

To upgrade F* language, run the following command from the command line or from PowerShell:

>

To uninstall F* language, run the following command from the command line or from PowerShell:

>

Deployment Method:

NOTE

This applies to both open source and commercial editions of Chocolatey.

1. Enter Your Internal Repository Url

(this should look similar to https://community.chocolatey.org/api/v2/)


2. Setup Your Environment

1. Ensure you are set for organizational deployment

Please see the organizational deployment guide

2. Get the package into your environment

  • Open Source or Commercial:
    • Proxy Repository - Create a proxy nuget repository on Nexus, Artifactory Pro, or a proxy Chocolatey repository on ProGet. Point your upstream to https://community.chocolatey.org/api/v2/. Packages cache on first access automatically. Make sure your choco clients are using your proxy repository as a source and NOT the default community repository. See source command for more information.
    • You can also just download the package and push it to a repository Download

3. Copy Your Script

choco upgrade fstar -y --source="'INTERNAL REPO URL'" --version="'0.9.5.0'" [other options]

See options you can pass to upgrade.

See best practices for scripting.

Add this to a PowerShell script or use a Batch script with tools and in places where you are calling directly to Chocolatey. If you are integrating, keep in mind enhanced exit codes.

If you do use a PowerShell script, use the following to ensure bad exit codes are shown as failures:


choco upgrade fstar -y --source="'INTERNAL REPO URL'" --version="'0.9.5.0'" 
$exitCode = $LASTEXITCODE

Write-Verbose "Exit code was $exitCode"
$validExitCodes = @(0, 1605, 1614, 1641, 3010)
if ($validExitCodes -contains $exitCode) {
  Exit 0
}

Exit $exitCode

- name: Install fstar
  win_chocolatey:
    name: fstar
    version: '0.9.5.0'
    source: INTERNAL REPO URL
    state: present

See docs at https://docs.ansible.com/ansible/latest/modules/win_chocolatey_module.html.


chocolatey_package 'fstar' do
  action    :install
  source   'INTERNAL REPO URL'
  version  '0.9.5.0'
end

See docs at https://docs.chef.io/resource_chocolatey_package.html.


cChocoPackageInstaller fstar
{
    Name     = "fstar"
    Version  = "0.9.5.0"
    Source   = "INTERNAL REPO URL"
}

Requires cChoco DSC Resource. See docs at https://github.com/chocolatey/cChoco.


package { 'fstar':
  ensure   => '0.9.5.0',
  provider => 'chocolatey',
  source   => 'INTERNAL REPO URL',
}

Requires Puppet Chocolatey Provider module. See docs at https://forge.puppet.com/puppetlabs/chocolatey.


4. If applicable - Chocolatey configuration/installation

See infrastructure management matrix for Chocolatey configuration elements and examples.

NOTE

Private CDN cached downloads available for licensed customers. Never experience 404 breakages again! Learn more...

Package Approved

This package was approved by moderator flcdrg on 09 Sep 2017.

Description

F*: An ML-like language aimed at program verification

Build status

Notice

This package will install F* language with compatable version of z3.
It is recommended that you remove your z3 package and then install F*

F* website

More information on F* can be found at www.fstar-lang.org

Installation

See INSTALL.md

Tutorial

The F* tutorial provides a first taste of verified programming in
F*, explaining things by example.

Wiki

The F* wiki contains additional, usually more in-depth, technical
documentation on F*.

Editing F* code

You can edit F* code using your favourite text editor, but Emacs,
Atom, and Vim have extensions that add special support for F*,
including syntax highlighting and interactive development. More
details on editor support on the F* wiki .

Executing F* code

By default F* only verifies the input code, it does not compile or execute it.
To execute F* code one needs to translate it to either OCaml or F#, using
F*'s code extraction facility---this is invoked using the command line
argument --codegen OCaml or --codegen FSharp. More details on
executing F* code on the F* wiki .

Community mailing list

The fstar-club mailing list is dedicated to F* users. Here is where
all F* announcements are made to the general public (e.g. for
releases, new papers, etc) and where users can ask questions, ask for
help, discuss, provide feedback, announce jobs requiring at least 10
years of F* experience, etc.

List archives are public, but only members can post.
Join here!

Slack channel

Users can also ask questions on the #fstar Slack channel at
< http://fpchat.com/ >

Reporting issues

Please report issues using the F* issue tracker on GitHub.
Before filing please use search to make sure the issue doesn't already exist.
We don't maintain old releases, so if possible please use the
online F* editor or directly the GitHub sources to check
that your problem still exists on the master branch.

Blog

The F* for the masses blog is also expected to become an important
source of information and news on the F* project.

License

This new variant of F* is released under the Apache 2.0 license;
see LICENSE for more details.


tools\chocolateyinstall.ps1
$ErrorActionPreference = 'Stop'; # stop on all errors

Install-ChocolateyZipPackage -packageName 'FStar' -UnzipLocation $(Split-Path -Parent $MyInvocation.MyCommand.Definition) -Url64 'https://github.com/FStarLang/FStar/releases/download/v0.9.5.0/fstar_0.9.5.0_Windows_x64.zip' -checksum64 'EB7C74B4216DB33F93C915508D4489EB7AFEDC0F335E687631178C71AABB8070' -checksumType64 'sha256'

Log in or click on link to see number of positives.

In cases where actual malware is found, the packages are subject to removal. Software sometimes has false positives. Moderators do not necessarily validate the safety of the underlying software, only that a package retrieves software from the official distribution point and/or validate embedded software against official distribution point (where distribution rights allow redistribution).

Chocolatey Pro provides runtime protection from possible malware.

Add to Builder Version Downloads Last Updated Status
F* language 2024.1.13 163 Sunday, January 14, 2024 Approved
F* language 2023.9.3 126 Monday, September 4, 2023 Approved
F* language 2023.04.25 180 Tuesday, April 25, 2023 Approved
F* language 2023.04.08 100 Monday, April 10, 2023 Approved
F* language 2023.02.01 123 Thursday, February 2, 2023 Approved
F* language 2022.11.19 114 Saturday, November 19, 2022 Approved
F* language 2022.11.07 144 Tuesday, November 8, 2022 Approved
F* language 2022.10.07 118 Saturday, November 5, 2022 Approved
F* language 2022.08.10 141 Thursday, August 11, 2022 Approved
F* language 2022.07.13 132 Wednesday, July 13, 2022 Approved
F* language 2022.05.06 155 Saturday, May 7, 2022 Approved
F* language 2022.04.23 131 Sunday, April 24, 2022 Approved
F* language 2022.04.14 122 Sunday, April 17, 2022 Approved
F* language 2022.04.02 142 Sunday, April 3, 2022 Approved
F* language 2022.03.24 152 Sunday, March 27, 2022 Approved
F* language 2022.03.19 140 Sunday, March 20, 2022 Approved
F* language 2022.03.12 134 Sunday, March 13, 2022 Approved
F* language 2022.03.05 120 Sunday, March 6, 2022 Approved
F* language 2022.03.01 143 Tuesday, March 1, 2022 Approved
F* language 2022.02.12 146 Sunday, February 13, 2022 Approved
F* language 2022.02.05 144 Sunday, February 6, 2022 Approved
F* language 2022.01.29 121 Sunday, January 30, 2022 Approved
F* language 2022.01.22 130 Sunday, January 23, 2022 Approved
F* language 2022.01.15 145 Sunday, January 16, 2022 Approved
F* language 2022.01.08 136 Sunday, January 9, 2022 Approved
F* language 2022.01.01 127 Sunday, January 2, 2022 Approved
F* language 2021.12.25 139 Sunday, December 26, 2021 Approved
F* language 2021.12.18 131 Sunday, December 19, 2021 Approved
F* language 2021.12.11 140 Sunday, December 12, 2021 Approved
F* language 2021.12.10 119 Friday, December 10, 2021 Approved
F* language 2021.11.30 130 Sunday, December 5, 2021 Approved
F* language 2021.11.27 125 Thursday, December 2, 2021 Approved
F* language 2021.11.13 149 Sunday, November 14, 2021 Approved
F* language 2021.11.06 122 Sunday, November 7, 2021 Approved
F* language 2021.10.30 149 Sunday, October 31, 2021 Approved
F* language 2021.10.23 143 Sunday, October 24, 2021 Approved
F* language 2021.10.16 124 Sunday, October 17, 2021 Approved
F* language 2021.09.30 145 Sunday, October 3, 2021 Approved
F* language 2021.09.25 128 Sunday, September 26, 2021 Approved
F* language 2021.09.18 136 Sunday, September 19, 2021 Approved
F* language 2021.09.11 150 Sunday, September 12, 2021 Approved
F* language 2021.09.04 128 Sunday, September 5, 2021 Approved
F* language 2021.08.27 144 Monday, August 30, 2021 Approved
F* language 2021.07.31 156 Tuesday, August 17, 2021 Approved
F* language 0.9.7.0-alpha1 301 Thursday, June 27, 2019 Exempted
F* language 0.9.6.001 655 Wednesday, October 17, 2018 Approved
F* language 0.9.6.0 233 Tuesday, August 28, 2018 Approved
F* language 0.9.5.0 526 Tuesday, September 5, 2017 Approved
F* language 0.9.4.0 495 Wednesday, May 3, 2017 Approved

This is another big release with lots of changes and new features compared to v0.9.4.0

Main new features

  • Proofs by reification (see this paper)
  • A revision of the libraries based on a new formal account of monotonic state (see this paper)
  • Extraction of programs with user-defined effects
  • Experimental support for tactics
  • New IDE protocol and new IDE features: autocompletion, evaluation, real-time syntax checking, jump-to-definition, type-at-point, etc.

Changes and other improvements

  • A reorganization of the library and a single fstarlib.cmxa against which to link all F* programs compiled to OCaml (this change is incompatible with previous versions of F*)
  • A new printer of source terms
  • Revised error reporting from failed SMT queries
  • Improved support for separate compilation via a binary format for checked modules
  • Fixed a ton of bugs (179 closed GitHub issues)

This package has no dependencies.

Discussion for the F* language Package

Ground Rules:

  • This discussion is only about F* language and the F* language package. If you have feedback for Chocolatey, please contact the Google Group.
  • This discussion will carry over multiple versions. If you have a comment about a particular version, please note that in your comments.
  • The maintainers of this Chocolatey Package will be notified about new comments that are posted to this Disqus thread, however, it is NOT a guarantee that you will get a response. If you do not hear back from the maintainers after posting a message below, please follow up by using the link on the left side of this page or follow this link to contact maintainers. If you still hear nothing back, please follow the package triage process.
  • Tell us what you love about the package or F* language, or tell us what needs improvement.
  • Share your experiences with the package, or extra configuration or gotchas that you've found.
  • If you use a url, the comment will be flagged for moderation until you've been whitelisted. Disqus moderated comments are approved on a weekly schedule if not sooner. It could take between 1-5 days for your comment to show up.
comments powered by Disqus