Ranked by Attention Score: stars gained over the last 7 complete days
10 repositories by Attention Score · Oct 27, 2026 – Nov 2, 2026 (UTC)
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
Static reflection for enums (to string, from string, iteration) for modern C++, work with any enum type without any macro or boilerplate code
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
Next generation API for .NET
Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.
Meta-programming for Swift, stop writing boilerplate code.
Very fast synchronous and asynchronous C++17 logging library
Protocol Puffers: A little, highly templated, and protobuf-compatible serialization/deserialization header-only library written in C++20
Rocq plugin embedding Elpi