savi
Concurrent language
A language designed to write fast, concurrent software with memory safety guarantees
A fast language for programmers who are passionate about their craft.
156 stars
8 watching
12 forks
Language: Crystal
last commit: 6 days ago
Linked from 1 awesome list
actor-modelcompilerconcurrent-programmingllvmprogramming-languagesavi
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 senegallang/senegal | A dynamically-typed, concurrent programming language with modern syntax and fast single-pass compiler | 129 |
 niconex/tau | A dynamically-typed concurrent programming language with minimalistic design and support for first-class functions, concurrency, error handling, and implicit return values. | 59 |
 aliceml/aliceml | A functional programming language with support for concurrent and distributed computing, extending Standard ML with various features. | 212 |
 inko-lang/inko | A language and compiler for building concurrent software with predictable performance and error handling | 899 |
 safareli/free | A library for combining parallel and sequential computations while maintaining the flexibility of a monadic programming paradigm. | 58 |
 wadehennessey/wcl | Enables efficient development of large numbers of concurrent Common Lisp applications on Unix systems. | 79 |
 didactic-drunk/concurrent.cr | A library that provides modern concurrency tools for parallel processing in Crystal | 48 |
 samskivert/compose | An experimental programming language aiming to be teachable, scalable, and powerful while minimizing complexity. | 18 |
 jlangch/venice | A sandboxed Lisp dialect with Java interoperability, designed to make scripting tasks easier and more efficient. | 33 |
 sarl/sarl | A general-purpose programming language for implementing multi-agent systems with concurrency, distribution, and interaction features. | 140 |
 wren-lang/wren | A small, class-based scripting language with concurrent capabilities. | 6,928 |
 covscript/covscript | An open-source interpreter for a cross-platform programming language designed to make programming easier | 225 |
 tchajed/iris-simp-lang | Instantiates a simple programming language with Iris to verify concurrent separation logic programs | 49 |
 fantom-lang/fantom | A language and runtime environment for building concurrent, object-oriented applications with static typing. | 131 |
 coq-concurrency/pluto | A Coq-based web server written in a functional programming language | 86 |