1.aidenybai / tla-ts
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
+177 stars
from 2 · score 5.18
Trending repositories
Ranked by Attention Score: stars gained over the last 7 complete days
12 repositories by Attention Score · Oct 28, 2026 – Nov 3, 2026 (UTC)
2.RustPython / RustPython
A Python Interpreter written in Rust
- rust
- python3
- python-language
- jit
- interpreter
- hacktoberfest
- +3 more
+28 stars
from 22,427 · score 3.37
3.meta / hermes
A JavaScript engine optimized for running React Native.
+15 stars
from 11,398 · score 2.77
+11 stars
from 7,173 · score 2.48
5.dotnet / runtime
.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
- dotnet
- hacktoberfest
- help-wanted
+9 stars
from 18,395 · score 2.30
6.nuskey8 / Lua-CSharp
High performance Lua interpreter implemented in C# for .NET and Unity
+7 stars
from 873 · score 2.08
+4 stars
from 6,998 · score 1.61
8.d5 / tengo
A fast script language for Go
+3 stars
from 3,842 · score 1.39
+1 stars
from 5,623 · score 0.69
+1 stars
from 3,460 · score 0.69
11.dotnet-script / dotnet-script
Run C# scripts from the .NET CLI.
- csx
- roslyn
- csharp-script
- csi
- dotnet-script
+1 stars
from 3,011 · score 0.69
12.ring-lang / ring
A simple, lightweight, flexible, embeddable, portable and multi-paradigm dynamic programming language for developing applications, tools, and domain-specific languages
- programming-language
- compiler
- virtual-machine
- ring
- language
- ring-programming-language
- +14 more
+1 stars
from 1,469 · score 0.69