ante
Azula
Our great sponsors
ante | Azula | |
---|---|---|
23 | 6 | |
1,825 | 145 | |
- | - | |
8.1 | 1.5 | |
11 days ago | 2 months ago | |
Rust | Swift | |
MIT License | GNU Affero General Public License v3.0 |
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.
Azula
-
[Discussion] TrollStore JIT enabler for apps
I’m trying to enable JIT in Play! emulator using Azula to patch the .ipa with TrollStoreJitEnabler, but it gives an error: “couldn’t copy dylib to workspace”. Azula is a mobile clone of Azule that should work on jailed devices (but it doesn’t atm), can someone jailbroken or with a Mac please try to patch it with Azule instead?
- C
- [Free Release] AzulaApp - Inject tweaks into IPA (iOS 14-16, macOS 11-13)
- [Free Release] Azula - App for injecting dylibs into IPA
- [Free Release] AzulaApp: App for injecting dylibs into IPA (iOS 14-16, macOS 11-13)
-
[Free Release] Azula, an IPA patcher for macOS and iOS
Hopefully this will be useful to someone. If you find any bugs or have suggestions for an improvement, lmk on my GitHub (which is also the download and source code) or in the comments ^^
What are some alternatives?
riju - ⚡ Extremely fast online playground for every programming language.
packages - List of packages for Nimble
FStar - A Proof-oriented Programming Language
backtracer.cr - Crystal shard aiming to assist with parsing backtraces into a structured form.
verona - Research programming language for concurrent ownership
woo - A fast non-blocking HTTP server on top of libev
duck-editor - 基于scheme开发的鸭子编辑器
azula - A fast, statically typed compiled language
Vale - Compiler for the Vale programming language - http://vale.dev/
blazex - AOT compiled object oriented programming language
felix - The Felix Programming Language
mlton - The MLton repository