garble-lang
erg
garble-lang | erg | |
---|---|---|
1 | 17 | |
36 | 2,602 | |
- | 0.8% | |
7.1 | 9.8 | |
4 days ago | 10 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.
garble-lang
-
Tandem - A Multi-Party Computation Engine written in Rust
MPC has in the past been mostly confined to academia, but thanks to some recent papers has finally become fast enough for practical applications. Internally, Tandem uses Garbled Circuits, encrypted circuits consisting of boolean gates. While there have been other implementations based on these ideas, Tandem tries to provide a much better user experience than previous attempts. For example, the Tandem repo includes a server, a command line client and client libs for wasm and native architectures. To make it easier to run practical applications, programs can be written in Garble, a custom Rust-like programming language that compiles to Garbled Circuits.
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?
tandem - A maliciously secure two-party computation engine which is embeddable and accessible
pyxel - A retro game engine for Python
zk-paillier - A collection of Paillier cryptosystem zero knowledge proofs
pytype - A static type analyzer for Python code
gluon - A static, type inferred and embeddable language written in Rust.
nimpy - Nim - Python bridge
gleam - ⭐️ A friendly language for building type-safe, scalable systems!
libtmux - ⚙️ Python API / wrapper for tmux
artichoke - 💎 Artichoke is a Ruby made with Rust
cats-effect - The pure asynchronous runtime for Scala
Flask - The Python micro framework for building web applications.
Jupyter Scala - A Scala kernel for Jupyter