Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge. Learn more →
Top 23 Rust programming-language Projects
-
I had been only following this language with some interest, I guess this was born in gitlab not sure if the creator(s) still work there. This is what I'd have wanted golang to be (albeit with GC when you do not have clear lifetimes).
But how would you differentiate yourself from https://gleam.run which can leverage the OTP, I'd be more interested if we can adapt Gleam to graalvm isolates so we can leverage the JVM ecosystem.
-
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
-
Onboard AI
Learn any GitHub repo in 59 seconds. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.
-
Project mention: Gluon is a static, type inferred and embeddabble language written in Rust | news.ycombinator.com | 2023-07-01
-
The java based ruby, removes the GIL, which provides us real multithreading.
Truffleruby is "A high performance implementation of the Ruby programming language, built on GraalVM." If you prefer there is even a rust based ruby https://github.com/artichoke/artichoke
again, IMO, the microbenchmark, doesn't matter. What matters is the problem domain, whole stack and the whole "speed", including development, deployment and etc, and for some domains, ruby is the best and fast choice.
-
-
A Lisp, a weird dialect of Lisp, is not better than Lua. Why use Rune [0]?!
-
command-line-rust
Code for Command-Line Rust (O'Reilly, 2022, ISBN 9781098109417) https://learning.oreilly.com/library/view/command-line-rust/9781098109424/
You absolutely must write programs, preferably using tests to ensure you are creating correct and reproducible code. May I suggest starting with my book, Command-Line Rust (O'Reilly, 2022). All the code/data/tests are in https://github.com/kyclark/command-line-rust Note that there are branches showing how to use the 4.x version of clap (command-line argument parser) rather than the 2.33 that was current when the book was published.
-
InfluxDB
Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.
-
tao
A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc. (by zesterer)
Project mention: What backwards-incompatible changes would you make in a hypothetical Rust 2.0? | /r/rust | 2023-04-19If you want some prior work on this, I've implemented effect-objects-as-return-values in my own language Tao, using uniqueness types. There's still work to be done, but I think it's sufficient as a proof of concept that this approach is viable without type soup.
-
-
kcl
KCL Language Core. KCL is a constraint-based record & functional language mainly used in configuration and policy scenarios. (CNCF Sandbox Project). https://kcl-lang.io
Project mention: KCL is an open-source constraint-based record and functional language | news.ycombinator.com | 2023-10-28 -
Some people tried using Rust to implement programming languages, right now I do not know any bigger language with compiler written in Rust but there was an attempt with astro. Match statements make parsing in Rust pretty comfortable.
-
-
-
-
Not related to this post, but man his other project https://aussieplusplus.vercel.app/ is hilarious and ingenious :)
-
-
numbat
A statically typed programming language for scientific computations with first class support for physical dimensions and units
Project mention: Show HN: Numbat – A programming language with physical dimensions as types | news.ycombinator.com | 2023-11-16> 365·243 ought to be 365·2425 exactly:
Yes. This is also how it is defined: https://github.com/sharkdp/numbat/blob/ba9e97b1fbf6353d24695...
The calculation above is showing a rounded result (6 significant digits by default).
-
pen
The parallel, concurrent, and functional programming language for scalable software development (by pen-lang)
-
Project mention: Bril: A Compiler Intermediate Representation for Learning | news.ycombinator.com | 2023-06-30
-
-
-
-
lurk-rs
Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
NOTE:
The open source projects on this list are ordered by number of github stars.
The number of mentions indicates repo mentiontions in the last 12 Months or
since we started tracking (Dec 2020).
The latest post mention was on 2023-12-05.
Rust programming-language related posts
- Why do lifetimes need to be leaky?
- Steel – An embedded scheme interpreter in Rust
- A language like C, but with a borrow-checker
- Ask HN: Which language will you try for this year's Advent of Code and why?
- Inko Programming Language
- Gleam
- Banging Errors in Go
-
A note from our sponsor - InfluxDB
www.influxdata.com | 9 Dec 2023
Index
What are some of the best open-source programming-language projects in Rust? This list will help you:
| Project | Stars | |
|---|---|---|
| 1 | gleam | 5,586 |
| 2 | leo | 3,072 |
| 3 | gluon | 3,019 |
| 4 | artichoke | 2,956 |
| 5 | erg | 2,371 |
| 6 | rune | 1,387 |
| 7 | command-line-rust | 1,057 |
| 8 | tao | 1,030 |
| 9 | passerine | 1,021 |
| 10 | kcl | 954 |
| 11 | astro | 713 |
| 12 | csml-engine | 692 |
| 13 | inko | 625 |
| 14 | steel | 618 |
| 15 | aussieplusplus | 579 |
| 16 | wu | 457 |
| 17 | numbat | 430 |
| 18 | pen | 425 |
| 19 | bril | 409 |
| 20 | wain | 374 |
| 21 | crust | 365 |
| 22 | koto | 354 |
| 23 | lurk-rs | 348 |
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com