dotlin
erg
dotlin | erg | |
---|---|---|
6 | 17 | |
222 | 2,605 | |
- | 0.8% | |
0.0 | 9.8 | |
8 months ago | about 21 hours ago | |
Kotlin | Rust | |
- | 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.
dotlin
-
A Kotlin to Dart compiler
I just stumbled upon Dotlin. It quite intrigued me as I saw it. The following questions came to my mind and I'd like to see what you guys think:
-
React Native VS Kotlin VS Java VS Flutter. what should I choose to create android apps?
Dotlin is the way to go
-
I’m debating learning flutter, but why Dart?
There's also Dotlin, a Kotlin to Dart compiler, but also still WIP
- True purpose of Kotlin
- dotlin: Kotlin to Dart compiler
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?
pyxel - A retro game engine for Python
pytype - A static type analyzer for Python code
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
ZIO - ZIO — A type-safe, composable library for async and concurrent programming in Scala
wu - 🐉 A practical game and data language
Laminar - Simple, expressive, and safe UI library for Scala.js