Ranked by Attention Score: stars gained over the last 30 complete days
401–500 of 929 by Attention Score · Oct 6, 2026 – Nov 4, 2026 (UTC)
A simple, lightweight, flexible, embeddable, portable and multi-paradigm dynamic programming language for developing applications, tools, and domain-specific languages
A Coq library for Homotopy Type Theory
Typed, correct GraphQL requests and responses in Rust
libsodium compiled to Webassembly and pure JavaScript, with convenient wrappers.
SimpleITK: a layer built on top of the Insight Toolkit (ITK), intended to simplify and facilitate ITK's use in rapid prototyping, education and interpreted languages.
ChucK Music Programming Language
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
A Lisp-to-JavaScript compiler bootstrapped from Common Lisp
An axiom-free formalization of category theory in Coq for personal study and practical work
The APL programming language (a subset thereof) compiling to Common Lisp.
Functional Reactive Programming domain-specific language for efficient hybrid systems
Clinical Quality Language (CQL) is an HL7 specification for the expression of clinical knowledge that can be used within both the Clinical Decision Support (CDS) and Clinical Quality Measurement (CQM) domains. This repository contains complementary tooling in support of that specification.
Rocq plugin embedding Elpi
A TypeScript/JavaScript wrapper for the Steamworks SDK using Koffi FFI, designed for Node.js and Electron applications with Steamworks SDK integration.
This maintains proposals for changes and user-visible enhancements to the Swift Programming Language.
Grumpy is a Python to Go source code transcompiler and runtime.
A strongly-typed language that compiles to JavaScript
Rust bindings for writing safe and fast native Node.js modules.
Native Node bindings to Git.
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
🍃 A refreshing programming language for the front-end web.
:atom: Run code interactively, inspect data, and plot. All the power of Jupyter kernels, inside your favorite text editor.
JRuby, an implementation of Ruby on the JVM
Modern concurrency for C++. Tasks, executors, timers and C++20 coroutines to rule them all
TranslatedThe Golang version of "Jieba" (结巴, "stammerer") Chinese word segmentation
The libdispatch Project, (a.k.a. Grand Central Dispatch), for concurrency on multicore hardware
Lua Fun is a high-performance functional programming library for Lua designed with LuaJIT's trace compiler in mind.
tiny recursive descent expression parser, compiler, and evaluation engine for math expressions
Asynchronous, Reactive Programming for Scala and Scala.js.
Simplified distributed locking implementation using Redis
A port of Clojure to the CLR, part of the Clojure project
An interpreter for the Lua language, written entirely in C# for the .NET, Mono, Xamarin and Unity3D platforms, including handy remote debugger facilities.
Next-gen phpDoc parser with support for intersection types and generics
A C# parser construction toolkit with high-quality error reporting
Derives and generates mundane golang functions that you do not want to maintain yourself
A pure Python HTML5 parser that just works. No C extensions to compile. No system dependencies to install. No complex API to learn.
The source for the Dart website.
Ahead of time compiler for JVM bytecode targetting iOS, Mac OSX and Linux
The only reasonable scripting engine for Go.
Powerful multi-threaded coroutine dispatcher and parallel execution engine
A Ruby wrapper library to the tesseract-ocr API.
Easy and elegant parser combinators for Python. With awesome docs.
[Go]Distributed Actor/Grain framework for Golang with goodies
Java type safe statically compiled mustache
The project provides high-performance concurrency, enabling highly parallel computation.
Formal verification for OCaml, with Rocq
state machine which runs code
A realtime visual programming language for interactive media.
Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.
Fast, safe, complete libvips bindings for image processing in Java / JVM projects
A mysqldump anonymizer
Static & dynamic D bindings to SDL and the SDL_* libraries, compatible with BetterC, @nogc, and nothrow. (Mirror)
Pure Go FFI for WebGPU - CGO-free GPU access via wgpu-native bindings
Pure Go Shader Compiler — WGSL to SPIR-V, MSL, GLSL, HLSL, DXIL. Zero CGO.
RxJava – Reactive Extensions for the JVM – a library for composing asynchronous and event-based programs using observable sequences for the Java VM.
An alternative side effect model for Redux apps
Arnold Schwarzenegger based programming language
A Java to iOS Objective-C translation tool and runtime.
Modern concurrency tools including agents, futures, promises, thread pools, supervisors, and more. Inspired by Erlang, Clojure, Scala, Go, Java, JavaScript, and classic concurrency patterns.
The missing bridge between Java and native C++
Simple, elegant, Pythonic functional programming.
EventMachine: fast, simple event-processing library for Ruby programs
Easy to use F#-like ~discriminated~ unions for C# with exhaustive compile time matching
An alternative BEAM implementation, designed for WebAssembly
A standard library for the client-side Web
ClojureScript's persistent data structures and supporting API from the comfort of vanilla JavaScript
Go package for OCR (Optical Character Recognition), by using Tesseract C++ library
The repository host gives no description.
Compile shell scripts to static binaries.
GoogleSQL(formerly ZetaSQL) - Analyzer Framework for SQL
The Eta Programming Language, a dialect of Haskell on the JVM
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
A tool set for CSS including fast detailed parser, walker, generator and lexer based on W3C specs and browser implementations