StackShareStackShare
Follow on
StackShare

Discover and share technology stacks from companies around the world.

Follow on

© 2025 StackShare. All rights reserved.

Product

  • Stacks
  • Tools
  • Feed

Company

  • About
  • Contact

Legal

  • Privacy Policy
  • Terms of Service
  1. Home
  2. Companies
  3. FStarLang
FStarLang

FStarLang

www.fstar-lang.org

An ML-like language aimed at program verification

0tools
0decisions
0followers
OverviewTech StackDev Feed

Tools Owned

FStar
FStar
8 followers2 stacks