1.aidenybai / tla-ts
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
+143 stars
from 37 · score 4.97
Trending repositories
Ranked by Attention Score: stars gained over the last 7 complete days
14 repositories by Attention Score · Oct 29, 2026 – Nov 4, 2026 (UTC)
2.RustPython / RustPython
A Python Interpreter written in Rust
- rust
- python3
- python-language
- jit
- interpreter
- hacktoberfest
- +3 more
+22 stars
from 22,431 · score 3.14
3.meta / hermes
A JavaScript engine optimized for running React Native.
+12 stars
from 11,401 · score 2.56
+9 stars
from 7,177 · score 2.30
5.nuskey8 / Lua-CSharp
High performance Lua interpreter implemented in C# for .NET and Unity
+9 stars
from 873 · score 2.30
6.dotnet / runtime
.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
- dotnet
- hacktoberfest
- help-wanted
+8 stars
from 18,397 · score 2.20
+5 stars
from 6,998 · score 1.79
+2 stars
from 5,623 · score 1.10
9.d5 / tengo
A fast script language for Go
+2 stars
from 3,843 · score 1.10
+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.pocketpy / pocketpy
Portable Python 3.x Interpreter in Modern C
- header-only
- interpreter
- language
- python
- programming-language
- scripting-language
- +3 more
+1 stars
from 2,134 · score 0.69
13.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
14.astrochili / narrator
The Ink language parser and runtime implementation in Lua
- ink
- lua
- narrative
- interactive-fiction
- lpeg
- defold
+1 stars
from 166 · score 0.69