# jfecher/ante

A safe, easy systems language

Repository: https://github.com/jfecher/ante
Canonical: https://ross.abutalabs.com/products/ante
Homepage: http://antelang.org
Language: Rust
License: MIT
License Family: permissive
Topics: compiler, language, systems-language, refinement-types, llvm, ante
Last push: 2026-08-25T17:09:31+00:00

## Health v2 (maintenance only)
Score: 67/100 (v2, computed 2026-09-02T17:46:02.011165+00:00)
- activity 99, release rhythm 8, longevity 100
- inputs: {"age_days": 4040, "days_push": 8, "days_rel": null, "gap_med": null, "n_releases_24m": 0}
- flags: none
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 2335, forks 115 (observed 2026-08-28T04:06:38.009785+00:00)

## What it is
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
- artifact type: cli-tool
- maturity: experimental
- function: compiler, programming-language, type-system
- domain: programming-languages, compilers, developer-tools
- platform: windows, rust, cpp
- tags: systems-language, functional-language, llvm-backend, effect-handlers, ownership-borrowing, refinement-types, memory-safety, ante, linux, macos

## Member repositories
- jfecher/ante (main) score 67

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:06:38.009785+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-30T02:37:44.321708+00:00, confidence not recorded.
  - readme: https://github.com/jfecher/ante (fetched 2026-08-28T04:06:38.009785+00:00, sha 06e9222b3ed2)
  - homepage: http://antelang.org (fetched 2026-08-29T10:18:16.881649+00:00, sha 70c009b97072)
  - site_page: https://antelang.org//docs/ideas (fetched 2026-08-29T10:18:16.896551+00:00, sha db410c438677)
  - site_page: https://antelang.org//docs/roadmap (fetched 2026-08-29T10:18:16.899283+00:00, sha 2bdc47ff19e7)
  - site_page: https://antelang.org//docs/faq (fetched 2026-08-29T10:18:16.901106+00:00, sha 78ae910ed6a6)
  - site_page: https://antelang.org/docs/roadmap (fetched 2026-08-29T10:18:16.902837+00:00, sha 2bdc47ff19e7)
  - site_page: https://antelang.org/docs/language (fetched 2026-08-29T10:18:16.904893+00:00, sha 3e56b8648363)
  - site_page: https://antelang.org/docs/ideas (fetched 2026-08-29T10:18:16.909904+00:00, sha db410c438677)
  - site_page: https://antelang.org//docs/language (fetched 2026-08-29T10:18:16.891236+00:00, sha 3e56b8648363)
- Data as of 2026-08-30T08:39:29.467469+00:00.