1.lua / lua
A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. All communication should be through the Lua mailing list https://www.lua.org/lua-l.html
+14 stars
from 10,405 · score 2.71
Trending repositories
Ranked by Attention Score: stars gained over the last 7 complete days
26 repositories by Attention Score · Oct 28, 2026 – Nov 3, 2026 (UTC)
2.kaitai-io / kaitai_struct
Kaitai Struct: declarative language to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Nim / Perl / PHP / Python / Ruby / Rust
- reverse-engineering
- protocol-analyser
- file-format
- declarative-language
- ruby
- java
- +13 more
+9 stars
from 4,719 · score 2.30
3.JetBrains / kotlin
The Kotlin Programming Language.
- kotlin
- programming-language
- compiler
- gradle-plugin
- maven-plugin
- kotlin-library
- +3 more
+8 stars
from 53,525 · score 2.20
4.ash-project / ash
A declarative, extensible framework for building Elixir applications.
- elixir
- framework
- dsl
- ash
+8 stars
from 2,544 · score 2.20
5.dotnet / csharplang
The official repo for the design of the C# programming language
- csharp
- language-design
+6 stars
from 12,724 · score 1.95
6.vitalets / github-trending-repos
Track GitHub trending repositories in your favorite programming language by native GitHub notifications!
- github
- trending
- trending-repositories
+6 stars
from 3,031 · score 1.95
7.h2o / picohttpparser
tiny HTTP parser written in C (used in HTTP::Parser::XS et al.)
+5 stars
from 2,108 · score 1.79
8.DFIRKuiper / Kuiper
Digital Forensics Investigation Platform
+4 stars
from 910 · score 1.61
9.ocaml-community / awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
+3 stars
from 3,128 · score 1.39
10.joaotavora / sly
Sylvester the Cat's Common Lisp IDE
+3 stars
from 1,442 · score 1.39
11.dotnet / coreclrArchived
CoreCLR is the runtime for .NET Core. It includes the garbage collector, JIT compiler, primitive data types and low-level classes.
- coreclr
- corefx
- c-sharp
- dotnet
- dotnet-core
- dotnetcore
- +2 more
+2 stars
from 12,753 · score 1.10
+2 stars
from 10,985 · score 1.10
13.munificent / vigil
Vigil, the eternal morally vigilant programming language
+2 stars
from 3,036 · score 1.10
+2 stars
from 847 · score 1.10
15.tc39 / proposals
Tracking ECMAScript Proposals
- proposal
- ecmascript
- javascript
- spec
- specification
- committee
- +2 more
+1 stars
from 19,204 · score 0.69
16.MobiVM / robovm
Ahead of time compiler for JVM bytecode targetting iOS, Mac OSX and Linux
+1 stars
from 1,046 · score 0.69
17.javapathfinder / jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
+1 stars
from 620 · score 0.69
18.xebia-functional / macroidArchived
A modular functional UI language for Android
+1 stars
from 528 · score 0.69
19.dwyl / learn-elm
:rainbow: discover the beautiful programming language that makes front-end web apps a joy to build and maintain!
+1 stars
from 496 · score 0.69
+1 stars
from 362 · score 0.69
+1 stars
from 272 · score 0.69
22.tofgarion / spark-by-example
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
+1 stars
from 167 · score 0.69
23.ETHproductions / japt
Japt 1.4.5, the other JavaScript golfing language
- javascript
- esolang
- golfing-language
- programming-language
+1 stars
from 77 · score 0.69
24.math-comp / finmap
Finite sets, finite maps, multisets and generic sets
- coq
- ssreflect
- mathcomp
- finite-sets
+1 stars
from 50 · score 0.69
25.rocq-community / graph-theory
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
- mathcomp-ci
+1 stars
from 45 · score 0.69
26.DerelictOrg / DerelictCUDA
Dynamic bindings to the CUDA library for the D Programming Language.
+1 stars
from 17 · score 0.69