savi
by savi-lang
A fast language for programmers who are passionate about their craft.
AI summary
Concurrent language
A language designed to write fast, concurrent software with memory safety guarantees
- stars
- 156
- forks
- 12
- watching
- 8
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Concurrent language
A dynamically-typed, concurrent programming language with modern syntax and fast single-pass compiler
Concurrent lang
A dynamically-typed concurrent programming language with minimalistic design and support for first-class functions, concurrency, error handling, and implicit return values.
Concurrent programming language
A functional programming language with support for concurrent and distributed computing, extending Standard ML with various features.
Concurrent language
A language and compiler for building concurrent software with predictable performance and error handling
Concurrency library
A library for combining parallel and sequential computations while maintaining the flexibility of a monadic programming paradigm.
Concurrent Lisp environment
Enables efficient development of large numbers of concurrent Common Lisp applications on Unix systems.
Concurrency library
A library that provides modern concurrency tools for parallel processing in Crystal
Programming Language
An experimental programming language with the goal of providing a teachable, scalable, modern, and precise language with high-level capabilities.
Scripting language
A sandboxed Lisp dialect with Java interoperability, designed to make scripting tasks easier and more efficient.
sarl/sarl143
Agent framework language
A general-purpose programming language designed to support the development of complex software applications using agent-oriented principles
wren-lang/wren6.9K
Scripting language
A small, class-based scripting language with concurrent capabilities.
Programming interpreter
An open-source interpreter for a cross-platform programming language designed to make programming easier
Concurrent programming verifier
Instantiates a simple programming language with Iris to verify concurrent separation logic programs
Concurrent lang
A language and runtime environment for building concurrent, object-oriented applications with static typing.
Web server
A Coq-based web server written in a functional programming language
Featured in 1 awesome list
Each link jumps to the spot where the list mentions savi.
