Skip to content

v0.1.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 07 Jul 00:42
· 83 commits to main since this release
v0.1.0
d09fbd4

Ligare 0.1.0

First public release of Ligare — a dependently typed systems language that compiles to zero-runtime C.

What's included:

  • Full compiler pipeline (parse → constraint check → C code generation)
  • Dependent types, refinement types, inductive types
  • Effect system (IO isolation, do blocks)
  • Module system, namespace, interface methods
  • Metaprogramming (quote/splice, #[derive], #[tactic])
  • FFI (zero-cost external C functions)
  • LSP (diagnostics, completions, hover, go-to-definition)
  • Package management, incremental compilation, formatter

Platforms: Linux ✅ · macOS ✅ · Windows ⚠️ experimental

Install:

# Download from assets below, or build from source:
git clone https://github.com/ligare-lang/ligare
cd ligare && cargo build --release

Status: Alpha. APIs may change. Standard library is minimal.

Assets 5
Loading