jfecher / anteLinks
A safe, easy systems language
☆2,057Updated this week
Alternatives and similar repositories for ante
Users that are interested in ante are comparing it to the libraries listed below
Sorting:
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,117Updated 2 months ago
- Koka language compiler and interpreter☆3,502Updated 2 weeks ago
- A small extensible programming language designed for concise expression with little code.☆1,073Updated 8 months ago
- Compiler for the Vale programming language - http://vale.dev/☆1,887Updated last year
- Systems language with linear types and capability-based security.☆1,318Updated 2 weeks ago
- A static, type inferred and embeddable language written in Rust.☆3,313Updated 5 months ago
- The Flix Programming Language☆2,286Updated this week
- A programming language with static memory management based on λ-calculus☆1,003Updated last week
- A purely functional programming language with first class types☆2,665Updated last week
- A data-parallel functional programming language☆2,527Updated this week
- A modern proof language☆3,676Updated 4 months ago
- A fast and lightweight native programming language☆1,292Updated last week
- A dynamic language and bytecode vm☆3,848Updated last week
- Source code for the Mun language and runtime.☆2,040Updated last week
- A language for building concurrent software with confidence☆1,162Updated this week
- A rusty dynamically typed scripting language