# microsoft/BosqueLanguage

The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifecycle.

Repository: https://github.com/microsoft/BosqueLanguage
Canonical: https://ross.abutalabs.com/products/bosquelanguage
Language: TypeScript
License: NOASSERTION
License Family: other
Archived: true
Last push: 2022-10-27T20:39:01+00:00

## Health v2 (maintenance only)
Score: 10/100 (v2, computed 2026-09-03T02:20:16.233290+00:00)
- activity 0, release rhythm 35, longevity 100
- inputs: {"age_days": 2733, "days_push": 1406, "days_rel": null, "gap_med": null, "n_releases_24m": 0}
- flags: no_releases, archived, no_license
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 5210, forks 282 (observed 2026-08-28T04:09:13.025938+00:00)

## What it is
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
- artifact type: cli-tool
- maturity: abandoned
- function: programming-language, compiler, testing, type-system
- domain: programming-languages, compilers, developer-tools, cloud-computing
- platform: cross-platform, cli
- tags: regularized-design, functional-programming, smt-testing, machine-assisted-development, microsoft-research, archived, programming-language, nodejs

## Member repositories
- microsoft/BosqueLanguage (main) score 10

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:09:13.025938+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-30T08:31:22.771933+00:00, confidence not recorded.
  - readme: https://github.com/microsoft/BosqueLanguage (fetched 2026-08-28T04:09:13.025938+00:00, sha 2d5fd8759ff7)
- Data as of 2026-08-30T08:39:29.467469+00:00.