microsoft/BosqueLanguage

Health v2 · maintenance only

Flags: no_releases archived no_license

Adoption not part of the score

5210 stars · 282 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

Bosque is an experimental programming language from Microsoft combining functional semantics with block-based syntax, designed for regularized, machine-assisted software development. It includes a built-in testing framework with SMT-powered property-based testing and a runtime focused on predictable latency.

Use cases

• experiment with a regularized functional programming language
• write high-reliability code with typed strings and pre/post conditions
• use SMT-based property testing to prove absence of errors
• explore cloud-first serverless and microservice language design
• research automated code reasoning via a bytecode IR

When to choose

• you want to research or experiment with novel language design and regularized programming
• you need built-in symbolic/property-based testing with provable guarantees
• you care about predictable low-tail-latency runtime behavior

When to avoid

• you need a production-ready language with a mature ecosystem and libraries
• you expect active maintenance - this repo is archived and development moved to BosqueLanguage/BosqueCore
• you need broad tooling, IDE support, or community packages

Facets

cli-tool · maturity abandoned

programming-language compiler testing type-system programming-languages compilers developer-tools cloud-computing cross-platform cli regularized-design functional-programming smt-testing machine-assisted-development microsoft-research archived programming-language nodejs

Member repositories

For agents

markdown · JSON · MCP: product_card(name="microsoft/BosqueLanguage")