inko-lang / inko
A language for building concurrent software with confidence
☆899Updated this week
Related projects ⓘ
Alternatives and complementary repositories for inko
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,092Updated last year
- Systems language with linear types and capability-based security.☆1,123Updated 4 months ago
- Compiler for the Vale programming language - http://vale.dev/☆1,789Updated 6 months ago
- I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and ev…☆444Updated 7 months ago
- A list of programming languages implemented in Rust, for inspiration.☆876Updated last week
- A small extensible programming language designed for concise expression with little code.☆1,051Updated 2 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,134Updated 2 weeks ago
- Source code for the Mun language and runtime.☆1,881Updated this week
- Beautiful diagnostic reporting for text-based programming languages.☆1,111Updated 4 months ago
- A safe, easy systems language☆1,908Updated last week
- A static, type inferred and embeddable language written in Rust.☆3,223Updated 8 months ago
- Incremental garbage collection from safe Rust☆536Updated 2 months ago
- 👨🚀 buzz, A small/lightweight statically typed scripting language☆1,232Updated this week
- A fast and lightweight native programming language☆1,244Updated this week
- Use Tree Sitter to parse your own languages in Rust☆613Updated 3 weeks ago
- An embeddable dynamic programming language for Rust.☆1,759Updated 2 weeks ago
- The parallel, concurrent, and functional programming language for scalable software development☆448Updated this week
- A simple, expressive, embeddable programming language, made with Rust☆524Updated 2 weeks ago
- Fast and concurrent scripting.☆1,224Updated 2 months ago
- A rusty dynamically typed scripting language☆1,774Updated 8 months ago
- Language development libraries for Rust☆901Updated 6 months ago
- A fancy diagnostics & error reporting crate☆1,786Updated 2 weeks ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,846Updated 3 weeks ago
- historical archive of rust pre-publication development☆657Updated last year
- A parser combinator library for Rust☆1,302Updated 7 months ago
- JIT compiler and runtime for a toy language, using Cranelift☆642Updated last year
- Cranelift based backend for rustc☆1,630Updated last week
- The Hylo programming language☆1,241Updated this week
- An experimental stackless Lua VM implemented in pure Rust☆1,702Updated 2 months ago
- A utf8 text rope for manipulating and editing large texts.☆1,041Updated last month