---
title: "#general-purpose articles | Hashnode"
description: "Explore 1 articles tagged #general-purpose on Hashnode. Tutorials, guides, and how-tos from the community."
url: "https://hashnode.com/tag/general-purpose"
---

Tag

# #general-purpose

1 posts · 0 followers

[Sakshi from KushoAI](https://hashnode.com/@SakshiPriya01) · [Feb 8, 2025](https://hashnode.com/posts/f-a-general-purpose-proof-oriented-programming-language/67a7642859ebd12bb51a0a46)

### [F\* : A general-purpose proof-oriented programming language](https://software-deep-dives.hashnode.dev/f-a-general-purpose-proof-oriented-programming-language?utm_source=hashnode&utm_medium=feed)

F\*, a proof-oriented programming language for formal verification, advanced programming, and secure software development

3 min read · [software-deep-dives.hashnode.dev](https://software-deep-dives.hashnode.dev/f-a-general-purpose-proof-oriented-programming-language?utm_source=hashnode&utm_medium=feed)