alumina
leo
alumina | leo | |
---|---|---|
10 | 1 | |
154 | 4,767 | |
1.3% | 0.2% | |
4.6 | 9.8 | |
2 months ago | about 15 hours ago | |
Rust | Rust | |
MIT License | GNU General Public License v3.0 only |
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.
alumina
-
Ask HN: LLVM vs. C
You can go surprisingly far with C, though LLVM is probably a better long-term option for a serious compiler, because it's a tool made for the job (unless you target exotic and/or embedded platforms that don't have LLVM support - but that's fairly unlikely).
C is very easy to get started with if you don't already know LLVM. The downside is that once your compiler is reasonably complete, you may spend quite a bit of time working around quirks of C (e.g. int promotion is very annoying when you already have full type information, so your compiler either has to understand C semantics fairly well or defensively cast every subexpression).
I have a C backend in my compiler (https://github.com/alumina-lang/alumina) and it works really well, though the generated C is really ugly and assembly-like. With #line directives, you can also get source-level debugging (gdb/lldb) that just works out of the box.
There are a few goodies that LLVM gives you that you don't get with C, like coverage (https://clang.llvm.org/docs/SourceBasedCodeCoverage.html). It works when done through clang, but easily be made to track the original sources.
- Alumina Programming Language
-
Show HN: Alumina Programming Language
Totally agreed about FFI. I wanted to make it easy to interop with C code and write expressive bindings.
Check for example the language bindings to LLVM's C API (fairly low level) and Tree-Sitter which is used internally (a bit higher level bindings)
https://github.com/tibordp/alumina/tree/master/libraries/llv...
https://github.com/tibordp/alumina/blob/master/libraries/tre...
-
Alumina programming language
However, I am not super happy with the current structure of the compiler and for the self-hosted one I'd like to fix those mistakes. For example, mono.rs is a giant module that does everything from mixin expansion, lowering from AST to IR, type checking and monomorphization. There are some bugs in Alumina that are quite hard to fix without a big refactoring (e.g. if a nested function binds generic parameters of the parent) and I'd like to get it right the next time around.
leo
What are some alternatives?
bitloops-language - Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^
ZoKrates - A toolbox for zkSNARKs on Ethereum
llvm-cbe - resurrected LLVM "C Backend", with improvements
noir - Noir is a domain specific language for zero knowledge proofs
tree-sitter-visitor - Procedural macro for generating a visitor trait for Tree Sitter Rust bindings
Spartan - Spartan: High-speed zkSNARKs without trusted setup
snarkOS - A Decentralized Operating System for ZK Applications