Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →
Top 23 Rust programming-language Projects
-
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
command-line-rust
Code for Command-Line Rust (O'Reilly, 2022, ISBN 9781098109417) https://learning.oreilly.com/library/view/command-line-rust/9781098109424/
-
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)
-
numbat
A statically typed programming language for scientific computations with first class support for physical dimensions and units
-
pen
The parallel, concurrent, and functional programming language for scalable software development (by pen-lang)
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Project mention: Gluon is a static, type inferred and embeddabble language written in Rust | news.ycombinator.com | 2023-07-01
> Other than safety and the like.
I think these are some good points:
https://github.blog/2023-08-30-why-rust-is-the-most-admired-...
On the one hand, "safety" avoids the "use after free" or other bugs which plague programs written in C. For systems programming, that is significant.
On the other hand, the "safety" allows for much easier concurrency.
The higher-level stuff like "pattern matching" is really nice. It's nice enough that it motivated efforts like https://github.com/borgo-lang/borgo
Somewhat implicit is that Rust has enough of a community that there are many good packages/libraries and tools around it.
Project mention: Pylyzer – A fast static code analyzer and language server for Python | news.ycombinator.com | 2024-04-11Looking through the code, Pylyzer seems to be a thin wrapper around Erg [1]. To typecheck, it converts your Python AST to an Erg AST, then runs its through the Erg typechecker and returns the errors.
Faster typechecking for Python is very much needed. But this project seems like it was built in a hackathon —- it is not a true standalone typchecker.
[1] https://github.com/erg-lang/erg
Project mention: 3 years of fulltime Rust game development, and why we're leaving Rust behind | news.ycombinator.com | 2024-04-26
KCL: A declarative configuration and policy programming language implemented by Rust, which improves the writing of a large number of complex configurations through mature programming language technology and practice, and is committed to building better modularity, scalability and stability around configuration, simpler logic writing, fast automation and good ecological extensionally.
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.
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).
I absolutely don't mind the plugin system being a Scheme. It's a plugin for a text editor, and Steel(https://github.com/mattwparas/steel) seems to be a lot less of a maintenance burden than WASM plugins(besides that I find the WASM tooling to be extremely complex).
But besides all that, Helix learned be that I don't need fancy plugins or endless finicking with config files and toolchains. Using a combination of other tools, like yazi and lazygit, helps me not only inside my editor but outside of it as well. And Kakoune does this even better. In that regard it has been a real eye-opener and refreshing. The downside is, it's hard to go back to other editors!
mkdir -p $HOME/.nargo/bin && \ curl -o $HOME/.nargo/bin/nargo-x86_64-unknown-linux-gnu.tar.gz -L https://github.com/noir-lang/noir/releases/download/v0.17.0/nargo-x86_64-unknown-linux-gnu.tar.gz && \ tar -xvf $HOME/.nargo/bin/nargo-x86_64-unknown-linux-gnu.tar.gz -C $HOME/.nargo/bin/ && \ echo 'export PATH=$PATH:$HOME/.nargo/bin' >> ~/.bashrc && \ source ~/.bashrc
Not related to this post, but man his other project https://aussieplusplus.vercel.app/ is hilarious and ingenious :)
Project mention: Bril: A Compiler Intermediate Representation for Learning | news.ycombinator.com | 2023-06-30
Rust programming-language related posts
-
Erlang/OTP 27 Highlights
-
BEAM VM The good, the bad and the ugly
-
Machine learning in Elixir is production-ready
-
Verified Rust for low-level systems code
-
Cognition: The Revolutionary Antisyntax Language Redefining Metaprogramming
-
A new programming language that compiles to Go
-
Borgo is a programming language that compiles to Go
-
A note from our sponsor - InfluxDB
www.influxdata.com | 22 May 2024
Index
What are some of the best open-source programming-language projects in Rust? This list will help you:
Project | Stars | |
---|---|---|
1 | gleam | 15,547 |
2 | leo | 4,769 |
3 | gluon | 3,121 |
4 | artichoke | 2,998 |
5 | borgo | 3,346 |
6 | erg | 2,593 |
7 | rune | 1,575 |
8 | kcl | 1,346 |
9 | command-line-rust | 1,332 |
10 | tao | 1,075 |
11 | passerine | 1,029 |
12 | numbat | 901 |
13 | steel | 883 |
14 | noir | 799 |
15 | inko | 755 |
16 | astro | 737 |
17 | csml-engine | 711 |
18 | aussieplusplus | 604 |
19 | koto | 485 |
20 | bril | 471 |
21 | wu | 463 |
22 | pen | 443 |
23 | wain | 413 |
Sponsored