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
31 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.h2o / picohttpparser
tiny HTTP parser written in C (used in HTTP::Parser::XS et al.)
+5 stars
from 2,108 · score 1.79
7.DFIRKuiper / Kuiper
Digital Forensics Investigation Platform
+4 stars
from 910 · score 1.61
8.vinniefalco / LuaBridge
A lightweight, dependency-free library for binding Lua to C++
+3 stars
from 1,788 · score 1.39
9.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
11.munificent / vigil
Vigil, the eternal morally vigilant programming language
+2 stars
from 3,036 · score 1.10
+2 stars
from 1,647 · score 1.10
+2 stars
from 847 · score 1.10
14.tc39 / proposals
Tracking ECMAScript Proposals
- proposal
- ecmascript
- javascript
- spec
- specification
- committee
- +2 more
+1 stars
from 19,204 · score 0.69
15.swannodette / mori
ClojureScript's persistent data structures and supporting API from the comfort of vanilla JavaScript
+1 stars
from 3,371 · score 0.69
16.eclipse-collections / eclipse-collections
Eclipse Collections is a collections framework for Java with optimized data structures and a rich, functional and fluent API.
- java
- eclipse-collections
- java-collections
- collections
- data-structures
- functional
- +3 more
+1 stars
from 2,663 · score 0.69
17.goldmansachs / gs-collections
GS Collections has been migrated to the Eclipse Foundation, re-branded as Eclipse Collections. https://www.eclipse.org/collections/
+1 stars
from 1,820 · score 0.69
18.clojure / clojure-clr
A port of Clojure to the CLR, part of the Clojure project
+1 stars
from 1,658 · score 0.69
19.Moddable-OpenSource / moddable
Tools for developers to create truly open IoT products using standard JavaScript on low cost microcontrollers.
+1 stars
from 1,569 · score 0.69
20.dotpcap / sharppcap
Official repository - Fully managed, cross platform (Windows, Mac, Linux) .NET library for capturing packets
- capture-packets
- c-sharp
- cross-platform
- network-monitoring
- network-programming
- npcap
- +9 more
+1 stars
from 1,483 · score 0.69
21.MobiVM / robovm
Ahead of time compiler for JVM bytecode targetting iOS, Mac OSX and Linux
+1 stars
from 1,046 · score 0.69
22.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
23.xebia-functional / macroidArchived
A modular functional UI language for Android
+1 stars
from 528 · score 0.69
24.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
27.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
28.ETHproductions / japt
Japt 1.4.5, the other JavaScript golfing language
- javascript
- esolang
- golfing-language
- programming-language
+1 stars
from 77 · score 0.69
29.math-comp / finmap
Finite sets, finite maps, multisets and generic sets
- coq
- ssreflect
- mathcomp
- finite-sets
+1 stars
from 50 · score 0.69
30.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
31.DerelictOrg / DerelictCUDA
Dynamic bindings to the CUDA library for the D Programming Language.
+1 stars
from 17 · score 0.69