blazex
ante
Our great sponsors
blazex | ante | |
---|---|---|
3 | 23 | |
50 | 1,827 | |
- | - | |
0.0 | 8.1 | |
over 1 year ago | 17 days ago | |
Rust | Rust | |
Apache License 2.0 | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
blazex
-
What was the Rust project in your portfolio that got you hired as a Rust developer?
I didn't get hired but https://github.com/BlazifyOrg/blazex
-
Blazescript
I'm looking for collaborators who have good knowledge in C/C++/Rust and decent knowledge on how bytecode compilers and VMs work. The Github of the Project. Contact Us
-
Blazescript - A simple Scripting
So I've been developing a interpreted language in rust, it has many awesome features such as Classes, Functions, Objects, etc which is necessary for current day coding. So if anyone's interested you could contribute to it at https://github.com/BlazifyOrg/blazescript and currently we have a bug so if anyone could make a pull request or comment on it would be greatly appreciated. Once this bug is fixed we'll start working on a stdlib :)))
ante
- Dada, an Experiement by the Creators of Rust
-
Graydon Hoare: Batten Down Fix Later
Have you had a look at Ante? It looks a lot like a Rust 2.0 with better ergonomics. There are a lot of interesting ideas.
-
Why is there no simple C-like functional programming language?
Ante is what you are looking for. It's an ML descendant with no RTS nor AGC.
- Rust's Ugly Syntax
- Opinions on ante?
- Ante - A safe, easy systems language
- [User study] Interest in a Rust-like garbage-collected programming language?
-
Cell Lang: Why yet another programming language?
In my experience, people believe that programming languages are a solved space, and we should stick with what we have.
It's unfortunate; because languages are very polarized today. I think there's a lot of room for languages that are safe, fast, and most importantly, *easy.* Today's languages are generally two out of three.
Luckily, a lot of languages are exploring that space!
* Vale is blending generational references with regions, to have memory-safe single ownership without garbage collection or a borrow checker. [0]
* Cone is adding a borrow checker on top of GC, RC, single ownership, and even custom user allocators. [1]
* Lobster found a way to add borrow-checker-like static analysis to reference counting. [2]
* HVM is using borrowing and cloning under the hood to make pure functional programming ridiculously fast. [3]
* Ante is using lifetime inference and algebraic effects to make programs faster and more flexible. [4]
* D is adding a borrow checker!
[0] https://verdagon.dev/blog/zero-cost-refs-regions
[1] https://cone.jondgoodwin.com/
[2] https://www.strlen.com/lobster/
[3] https://github.com/Kindelia/HVM
[4] https://antelang.org/
- Ante: A safe, easy, low-level functional language for exploring refinement types, lifetime inference, and other fun features.
-
Not well known programming languages with interesting features?
[Ante](https://antelang.org/): lifetime inference, refinement types, algebraic effects.
What are some alternatives?
passerine - A small extensible programming language designed for concise expression with little code.
riju - ⚡ Extremely fast online playground for every programming language.
ctru-rs - Rust wrapper for libctru
FStar - A Proof-oriented Programming Language
Ruma - A set of Rust crates for interacting with the Matrix chat network.
verona - Research programming language for concurrent ownership
pdf - Rust library to read, manipulate and write PDF files.
Vale - Compiler for the Vale programming language - http://vale.dev/
mollusc - Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
woo - A fast non-blocking HTTP server on top of libev
automodera - A Publish-Subscribe Network for Distributing Perceptual Hashes of Images, written in Java and Rust.
duck-editor - 基于scheme开发的鸭子编辑器