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: 3 months 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 | 130 |
 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 | 915 |
 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 with the goal of providing a teachable, scalable, modern, and precise language with high-level capabilities. | 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 designed to support the development of complex software applications using agent-oriented principles | 143 |
 wren-lang/wren | A small, class-based scripting language with concurrent capabilities. | 6,948 |
 covscript/covscript | An open-source interpreter for a cross-platform programming language designed to make programming easier | 227 |
 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. | 134 |
 coq-concurrency/pluto | A Coq-based web server written in a functional programming language | 86 |