jfecher/ante

Health v2 · maintenance only

Adoption not part of the score

2335 stars · 115 forks observed · 2026-08-28

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

Ante is a low-level functional systems programming language exploring safe shared mutability, algebraic effect handlers, ownership/borrowing, and traits via implicits. This repository contains its compiler, written in Rust with an optional LLVM backend, and is still in an early, actively developed state.

Use cases

• compile a functional systems language to native code via LLVM
• explore algebraic effects and effect handlers in a systems language
• write memory-safe low-level code without Rust's borrow checker friction
• experiment with safe shared mutability and shared types
• learn how a compiler with ownership and refinement types is implemented
• try a language that mixes high-level ergonomics with low-level control

When to choose

• you want to experiment with novel language features like effects and safe shared mutability
• you need unboxed, low-level types with memory safety
• you want to contribute to or study an early-stage compiler written in Rust
• you prefer readable functional syntax over Rust's for systems programming

When to avoid

• you need a production-ready, stable language for shipping software
• you require mature tooling, package ecosystem, or long-term support
• you cannot install LLVM 21.1 or build from source
• you need guaranteed language stability - designs may change significantly

Facets

cli-tool · maturity experimental

compiler programming-language type-system programming-languages compilers developer-tools windows rust cpp systems-language functional-language llvm-backend effect-handlers ownership-borrowing refinement-types memory-safety ante linux macos

Member repositories

For agents

markdown · JSON · MCP: product_card(name="jfecher/ante")