vekatze/neut

Health v2 · maintenance only

Adoption not part of the score

1008 stars · 16 forks observed · 2026-08-28

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

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

cli-tool · maturity active

compiler programming-language type-system formatter cli programming-languages compilers developer-tools cli cpp functional-programming static-memory-management llvm linear-types system-f-omega lsp call-by-value linux macos

Member repositories

For agents

markdown · JSON · MCP: product_card(name="vekatze/neut")