ante
gecko
Our great sponsors
| ante | gecko | |
|---|---|---|
| 23 | 1 | |
| 1,825 | 19 | |
| - | - | |
| 8.1 | 9.3 | |
| 12 days ago | over 1 year ago | |
| Rust | Rust | |
| MIT License | The Unlicense |
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/
- 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.
gecko
-
Statically-typed, Rust-like programming language
Hey guys,
I've been working on a Rust-like programming language written in Rust. I've worked on this compiler for the past months, and it's coming along very well.
The language features closures, higher-order function support, recursion, among other interesting things.
Here's the GitHub link, take a look!: https://github.com/geckolang/gecko
Also, come hang out on the official Discord server, I'm very interested on the compiler-design topic and can help you out if you have any questions about the project or designing your own compiler!
https://discord.gg/H3eMUXp
What are some alternatives?
riju - ⚡ Extremely fast online playground for every programming language.
CSpydr - A static typed low-level compiled programming language inspired by Rust and C
FStar - A Proof-oriented Programming Language
holymer - (WIP) A programming language
verona - Research programming language for concurrent ownership
llrl - An experimental Lisp-like programming language
woo - A fast non-blocking HTTP server on top of libev
luxya - Programming language with a tree-walking interpreter written in Rust©™.
duck-editor - 基于scheme开发的鸭子编辑器
molten - An LLVM compiler for an ML-like language (written in Rust)
azula - A fast, statically typed compiled language
blazex - AOT compiled object oriented programming language