vekatze / neut
A programming language with static memory management based on λ-calculus
View on GitHubAI Architecture Analysis
This repository is indexed by RepoMind. By analyzing vekatze/neut in our AI interface, you can instantly generate complete architecture diagrams, visualize control flows, and perform automated security audits across the entire codebase.
Our Agentic Context Augmented Generation (Agentic CAG) engine loads full source files into context on-demand, avoiding the fragmentation of traditional RAG systems. Ask questions about the architecture, dependencies, or specific features to see it in action.
Embed this Badge
Showcase RepoMind's analysis directly in your repository's README.
Repository Overview (README excerpt)
Crawler viewNeut Neut is a functional programming language with static memory management. Key Features • Full λ-calculus support • Predictable automatic memory management • The ability to achieve both of the above without extra type annotations Neut doesn't use a GC. Instead, it takes a type-directed approach to handle resources. It even uses the T-necessity operator to formulate borrowing. Basic Characteristics • Call by value • Impure • Compiles to LLVM IR and binary • The type system ≈ CoC + ADT + (recursion) + (T-necessity) - (universe hierarchy) • That is, the usual one in functional programming, but a bit generalized • Built-in LSP support • Built-in rapid prototyping experience like scripting languages • Built-in formatter like Go Documentation Please see: https://vekatze.github.io/neut/