alumina
erg
alumina | erg | |
---|---|---|
10 | 17 | |
154 | 2,590 | |
1.3% | 3.1% | |
4.6 | 9.8 | |
about 2 months ago | 3 days ago | |
Rust | Rust | |
MIT License | Apache License 2.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.
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.
erg
-
Pylyzer – A fast static code analyzer and language server for Python
Looking through the code, Pylyzer seems to be a thin wrapper around Erg [1]. To typecheck, it converts your Python AST to an Erg AST, then runs its through the Erg typechecker and returns the errors.
Faster typechecking for Python is very much needed. But this project seems like it was built in a hackathon —- it is not a true standalone typchecker.
[1] https://github.com/erg-lang/erg
-
This Week in Python
erg – A Python-compatible statically typed language
- erg: A Python-compatible statically typed language
- erg: A Python-compatible statically typed language written in Rust
-
Erg: a Python-Compatible Statically Typed Language
I have been developing a programming language for a few years and this week I published it on GitHub.
- Erg: A Python-compatible statically typed language
- GitHub - erg-lang/erg: A Python-compatible statically typed language
- Erg: a statically typed language that is Python compatible
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: ^^^
pyxel - A retro game engine for Python
llvm-cbe - resurrected LLVM "C Backend", with improvements
pytype - A static type analyzer for Python code
tree-sitter-visitor - Procedural macro for generating a visitor trait for Tree Sitter Rust bindings
nimpy - Nim - Python bridge
libtmux - ⚙️ Python API / wrapper for tmux
cats-effect - The pure asynchronous runtime for Scala
Flask - The Python micro framework for building web applications.
Jupyter Scala - A Scala kernel for Jupyter
pyright - Static Type Checker for Python
mypy - Optional static typing for Python