# vekatze/neut

A functional programming language with static memory management

Repository: https://github.com/vekatze/neut
Canonical: https://ross.abutalabs.com/products/neut
Homepage: https://vekatze.github.io/neut/
Language: Haskell
License: MIT
License Family: permissive
Last push: 2026-08-26T04:31:55+00:00

## Health v2 (maintenance only)
Score: 94/100 (v2, computed 2026-09-03T02:39:23.370411+00:00)
- activity 99, release rhythm 85, longevity 100
- inputs: {"age_days": 2321, "days_push": 7, "days_rel": 101, "gap_med": 7.5, "n_releases_24m": 23}
- flags: none
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 1008, forks 16 (observed 2026-08-28T04:03:12.670692+00:00)

## What it is
Neut is a functional programming language with static, type-directed memory management that compiles to LLVM IR and native binaries. It offers full lambda calculus, ADTs, a box modality for borrowing-like behavior, and built-in LSP, formatter, and scripting-style prototyping support.

## Use cases
- write functional programs with predictable memory management without garbage collection
- compile a functional language to native binaries via LLVM
- learn a language with type-directed copy/discard semantics
- get LSP and formatting support for a new functional language
- prototype quickly in a compiled functional language
- explore linear-style memory management via a box modality

## When to choose
- you want functional programming with static memory management and no GC
- you need predictable, compiler-managed allocation without extra type annotations
- you want a compiled language with built-in LSP and formatter

## When to avoid
- you need a mature ecosystem with extensive libraries and community support
- you require garbage collection or dynamic runtime features
- you need Windows support or broad platform coverage

## Facets
- artifact type: cli-tool
- maturity: active
- function: compiler, programming-language, type-system, formatter, cli
- domain: programming-languages, compilers, developer-tools
- platform: cli, cpp
- tags: functional-programming, static-memory-management, llvm, linear-types, system-f-omega, lsp, call-by-value, linux, macos

## Member repositories
- vekatze/neut (main) score 94

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:03:12.670692+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-30T07:12:22.248955+00:00, confidence not recorded.
  - readme: https://github.com/vekatze/neut (fetched 2026-08-28T04:03:12.670692+00:00, sha 12d4c2db6a47)
  - homepage: https://vekatze.github.io/neut/ (fetched 2026-08-29T13:12:21.295196+00:00, sha cf39d2f0b794)
- Data as of 2026-08-30T08:39:29.467469+00:00.