Our great sponsors
ante | Beef | |
---|---|---|
23 | 26 | |
1,827 | 2,362 | |
- | 0.9% | |
8.1 | 9.4 | |
17 days ago | 11 days ago | |
Rust | C++ | |
MIT License | GNU General Public License v3.0 or later |
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.
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.
Beef
- Odin Programming Language
-
Crystal 1.9.1 Is Released
Is it really a one man show? It looks like Beef Lang has excellent home page https://www.beeflang.org/ and I never heard about it until now.
-
I'm sorry honey, it's just not working out. Our relationship worked when we were younger, but we're both older now and we've grown apart. This issue is to fully eliminate LLVM, Clang, and LLD libraries from the Zig project.
Jai is dead, this is the year of Beef from the genius behind Plants vs. Zombies and Bookworm Adventures Deluxe.
- The Beef Programming Language
-
Transpiler to C++
On one hand, I feel there are so many similar languages out there {(Val, Vala, Vale, Corroded Iron, Beef, Zig, Carbon, cppfront, Jai)...}, that we don't need yet another, but also I encourage further thought because it may be inspiration for future improvements to C++ itself. The number one faux pas I see them make is trying to directly compete with C++ (inventing their own type system, their standard library, their build system, own package format...), whereas your (by its very nature as a transpiler) embraces C++.
- 0.43.4
-
Sharing Saturday #428
This project is an exploration of two things. Firstly I wanted to dig into the exciting new language and IDE, Beef. If you're the low-level code oriented type I _highly_ recommend checking it out. Beef is a systems-level language (like C/C++) that borrows heavily from C# but ditches the garbage collector. It comes with a wonderful IDE and a great debugger and just an excellent work flow. Check it out at https://www.beeflang.org/.
- Suggest an interesting language for me to try out, that I can use for 2D Games. Something that I might not have considered, or is not particularly well known.
- Carbon - an experimental C++ successor language
-
[OC] C++ developers be like...
That's why I love C#, Rust and Beef so much - no need to worry about pointers and segfaults and the code is generally nice to read unless you do something extremely crazy.
What are some alternatives?
riju - ⚡ Extremely fast online playground for every programming language.
Odin - Odin Programming Language
FStar - A Proof-oriented Programming Language
zig - General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
verona - Research programming language for concurrent ownership
Vale - Compiler for the Vale programming language - http://vale.dev/
blazex - AOT compiled object oriented programming language
carbon-lang - Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
ispc - Intel® Implicit SPMD Program Compiler
woo - A fast non-blocking HTTP server on top of libev
juCi++