The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →
Top 23 Rust programming-language Projects
-
-
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
Project mention: Gluon is a static, type inferred and embeddabble language written in Rust | news.ycombinator.com | 2023-07-01
-
-
-
-
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
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.
-
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.
-
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.
-
-
-
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).
-
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 :)
-
-
Project mention: Bril: A Compiler Intermediate Representation for Learning | news.ycombinator.com | 2023-06-30
-
pen
The parallel, concurrent, and functional programming language for scalable software development (by pen-lang)
-
-
-
-
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
Rust programming-language related posts
- The Shen Programming Language
- Gleam v1.0.0
- Gleam has a 1.0 release candidate
- Show HN: Now my pet programming language can run in the browser
- Still no love for JPEG XL: Browser maker love-in snubs next-gen image format
- Welcome to the Gleam Language Tour
- OpenD, a D language fork that is open to your contributions
-
A note from our sponsor - WorkOS
workos.com | 19 Mar 2024
Index
What are some of the best open-source programming-language projects in Rust? This list will help you:
Project | Stars | |
---|---|---|
1 | gleam | 13,107 |
2 | leo | 4,724 |
3 | gluon | 3,076 |
4 | artichoke | 2,983 |
5 | erg | 2,505 |
6 | rune | 1,505 |
7 | command-line-rust | 1,235 |
8 | kcl | 1,171 |
9 | tao | 1,057 |
10 | passerine | 1,024 |
11 | steel | 763 |
12 | numbat | 741 |
13 | astro | 728 |
14 | inko | 710 |
15 | csml-engine | 705 |
16 | aussieplusplus | 598 |
17 | wu | 459 |
18 | bril | 437 |
19 | pen | 436 |
20 | wain | 392 |
21 | koto | 391 |
22 | crust | 378 |
23 | lurk-rs | 373 |