azula
ante
| azula | ante | |
|---|---|---|
| 1 | 23 | |
| 26 | 1,841 | |
| - | - | |
| 0.0 | 8.0 | |
| about 2 years ago | 27 days ago | |
| Rust | Rust | |
| MIT License | 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.
azula
-
An Introduction to Crystal
It‘s not the Hello World that takes 8s to compile, it‘s the author‘s project Azula (https://github.com/azula-lang/azula)
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?
schedule.cr - :clock3: Run periodic tasks in Crystal
riju - ⚡ Extremely fast online playground for every programming language.
backtracer.cr - Crystal shard aiming to assist with parsing backtraces into a structured form.
FStar - A Proof-oriented Programming Language
packages - List of packages for Nimble
verona - Research programming language for concurrent ownership
nim-neo4j - A Nim driver for the Neo4j graph database.
blazex - AOT compiled object oriented programming language
mollusc - Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
duck-editor - 基于scheme开发的鸭子编辑器
te - C++17 Run-time polymorphism (type erasure) library
Vale - Compiler for the Vale programming language - http://vale.dev/