401.sindresorhus / p-map
Map over promises concurrently
- promise
- async-functions
- concurrency
- mapper
- nodejs
- javascript
- +6 more
+1 stars
from 1,518 · score 0.69
Trending repositories
Ranked by Attention Score: stars gained over the last 7 complete days
401–500 of 550 by Attention Score · Oct 29, 2026 – Nov 4, 2026 (UTC)
+1 stars
from 1,503 · score 0.69
403.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
404.emcconville / wand
The ctypes-based simple ImageMagick binding for Python
- wand
- python
- ctypes
- imagemagick
+1 stars
from 1,482 · score 0.69
405.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
406.plotly / plotly.rs
Plotly for Rust
- plot
- rust
- chart
- financial
- financial-analysis
- data-visualization
- +8 more
+1 stars
from 1,458 · score 0.69
+1 stars
from 1,414 · score 0.69
+1 stars
from 1,340 · score 0.69
+1 stars
from 1,317 · score 0.69
410.awalterschulze / goderive
Derives and generates mundane golang functions that you do not want to maintain yourself
- golang
- generator
- deriving
- functional-programming
- generics
+1 stars
from 1,265 · score 0.69
411.clojure / core.match
An optimized pattern matching library for Clojure
+1 stars
from 1,219 · score 0.69
412.datacrypt-project / hitchhiker-tree
Functional, persistent, off-heap, high performance data structure
+1 stars
from 1,219 · score 0.69
413.marpple / FxTS
A functional programming library for TypeScript/JavaScript
- fp
- typescript
- lazy
- concurrency
- javascript
+1 stars
from 1,168 · score 0.69
414.jedisct1 / libsodium.js
libsodium compiled to Webassembly and pure JavaScript, with convenient wrappers.
- libsodium
- javascript
- cryptography
- crypto
- webassembly
+1 stars
from 1,162 · score 0.69
415.qmonnet / rbpf
Rust virtual machine and JIT compiler for eBPF programs
- jit-compiler
- ebpf
- ebpf-programs
- rust
- interpreter
- packet-filtering
- +2 more
+1 stars
from 1,135 · score 0.69
+1 stars
from 1,135 · score 0.69
+1 stars
from 1,134 · score 0.69
418.ncruces / go-sqlite3
Go bindings to SQLite using wasm2go
+1 stars
from 1,131 · score 0.69
+1 stars
from 1,112 · score 0.69
420.benjamin-hodgson / Pidgin
A lightweight and fast parsing library for C#.
- parsing
- dotnet
- dotnet-core
- csharp
- parser-combinators
- parse
- +1 more
+1 stars
from 1,108 · score 0.69
421.graphql / libgraphqlparserArchived
A GraphQL query parser in C++ with C and C++ APIs
+1 stars
from 1,105 · score 0.69
422.ziutek / emgo
Emgo: Bare metal Go (language for programming embedded systems)
+1 stars
from 1,097 · score 0.69
423.markus-wa / demoinfocs-golang
A Counter-Strike 2 Demo Parser for Go (demoinfo)
- counter-strike
- csgo
- golang
- go
- parser
- demo
- +8 more
+1 stars
from 1,073 · score 0.69
424.lmbelo / python4delphi
Free components that wrap up Python into Delphi and Lazarus (FPC)
- delphi
- lazarus
- python
- pascal
+1 stars
from 1,062 · score 0.69
425.clj-commons / manifold
A compatibility layer for event-driven abstractions
- stream-processing
- future
- clojure
- async
- stream
+1 stars
from 1,055 · score 0.69
426.MobiVM / robovm
Ahead of time compiler for JVM bytecode targetting iOS, Mac OSX and Linux
+1 stars
from 1,046 · score 0.69
427.natalie-lang / natalie
a work-in-progress Ruby compiler, written in Ruby and C++
+1 stars
from 1,031 · score 0.69
428.UniMath / UniMath
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
- foundations
- rocq
- +1 more
+1 stars
from 1,021 · score 0.69
+1 stars
from 998 · score 0.69
+1 stars
from 994 · score 0.69
431.noprompt / meander
Tools for transparent data transformation
- term-rewriting
- logic-programming
- unification
- pattern-matching
- substitution
- program-transformation
+1 stars
from 985 · score 0.69
432.mpi4py / mpi4py
Python bindings for MPI
- python
- parallel-computing
- mpi
- mpi-library
- mpi-applications
- mpi4py
+1 stars
from 932 · score 0.69
433.icsharpcode / CodeConverter
Convert code from C# to VB.NET and vice versa using Roslyn
- online-snippet-converter
- code-converter
- c-sharp
- vb-net
- visual-studio
- roslyn
- +1 more
+1 stars
from 916 · score 0.69
434.ConorWilliams / libfork
A bleeding-edge, lock-free, wait-free, continuation-stealing tasking library built on C++20's coroutines
- cpp20
- coroutines
- wait-free
- threadpool
- scheduler
- work-stealing
- +9 more
+1 stars
from 901 · score 0.69
435.yeqown / go-qrcode
To help gophers generate QR Codes with customized styles, such as color, block size, block shape, and icon.
- qrcode
- golang
- colorful
- adjustable
- highly-customizable
- library
- +3 more
+1 stars
from 865 · score 0.69
436.aquasecurity / libbpfgo
eBPF library for Go. Powered by libbpf.
+1 stars
from 851 · score 0.69
+1 stars
from 840 · score 0.69
438.ruby / typeprof
An experimental type-level Ruby interpreter for testing and understanding Ruby code
+1 stars
from 833 · score 0.69
+1 stars
from 815 · score 0.69
440.elringus / bootsharp
Use C# in web apps with comfort
+1 stars
from 799 · score 0.69
441.leonoel / missionary
A functional effect and streaming system for Clojure/Script
- clojure
- clojurescript
- reactive-streams
+1 stars
from 799 · score 0.69
442.jbkunst / highcharter
R wrapper for highcharts
- r
- highcharts
- visualization
- cran
- htmlwidgets
- wrapper
- +3 more
+1 stars
from 740 · score 0.69
443.ocaml-multicore / eio
Effects-based direct-style IO for multicore OCaml
- concurrency
- effects
- io
- multicore
- ocaml
+1 stars
from 736 · score 0.69
444.Pagghiu / SaneCppLibraries
Platform Abstraction C++ Libraries
- async
- cpp
- linux
- macos
- networking
- no-dependencies
- +4 more
+1 stars
from 628 · score 0.69
445.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
446.apneadiving / waterfall
A slice of functional programming to chain ruby services and blocks, thus providing a new approach to flow control. Make them flow!
+1 stars
from 618 · score 0.69
447.luaposix / luaposix
Lua bindings for POSIX APIs
- posix
- luaposix
- posix-apis
- lua
- luajit
- lua-binding
- +1 more
+1 stars
from 596 · score 0.69
+1 stars
from 556 · score 0.69
449.jscoq / jscoq
A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
+1 stars
from 549 · score 0.69
+1 stars
from 538 · score 0.69
+1 stars
from 537 · score 0.69
+1 stars
from 531 · score 0.69
453.mikeakohn / java_grinder
Compile Java byte-code to native CPU's.
- 6502
- assembly
- atari
- c64
- java
- nintendo
- +2 more
+1 stars
from 531 · score 0.69
454.tangledpath / ruby-fann
Ruby library for interfacing with FANN (Fast Artificial Neural Network)
- ai
- ruby-fann
- ruby-gem
- neural-network
- nn
- machine-learning
- +5 more
+1 stars
from 506 · score 0.69
+1 stars
from 482 · score 0.69
456.uber / h3-go
Go bindings for H3, a hierarchical hexagonal geospatial indexing system
- spatial-indexing
- geospatial
- uber
- h3
- hexagon
- go
- +1 more
+1 stars
from 459 · score 0.69
457.wavebitscientific / functional-fortran
Functional programming for modern Fortran
- functional-programming
- fortran
+1 stars
from 438 · score 0.69
458.the-little-prover / j-bob
The repository host gives no description.
+1 stars
from 436 · score 0.69
+1 stars
from 435 · score 0.69
460.ott-lang / ott
The Ott tool for writing definitions of programming languages and calculi
+1 stars
from 428 · score 0.69
461.uriparser / uriparser
:hocho: Strictly RFC 3986 compliant URI parsing and handling library written in C99; moved from SourceForge to GitHub
- uriparser
- c
- rfc-3986
- rfc-3513
- cross-platform
- bsd-3-clause
- +6 more
+1 stars
from 417 · score 0.69
462.salvadordf / WebView4Delphi
WebView4Delphi is an open source project created by Salvador Díaz Fau to embed Edge/Chromium-based browsers in applications made with Delphi or Lazarus/FPC for Windows.
- windows
- delphi
- lazarus
- fpc
- pascal
- browser
- +13 more
+1 stars
from 416 · score 0.69
463.dazinator / DotNet.Glob
A fast globbing library for .NET / .NETStandard applications. Outperforms Regex.
- glob
- glob-pattern
- globbing-library
- csharp
+1 stars
from 404 · score 0.69
464.earthboundkid / flowmatic
Structured concurrency made easy
- concurrency
- golang
- goroutine
- structured-concurrency
- task-runner
+1 stars
from 403 · score 0.69
465.jasmin-lang / jasmin
Language for high-assurance and high-speed cryptography
+1 stars
from 389 · score 0.69
+1 stars
from 362 · score 0.69
467.cqframework / clinical_quality_language
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.
- cql
- clinical-quality-language
- cds
- java
- cqm
- fhir
- +10 more
+1 stars
from 337 · score 0.69
468.jstachio / jstachio
Java type safe statically compiled mustache
- annotation-processor
- java
- mustache
- template-engine
- type-safe
- dropwizard
- +2 more
+1 stars
from 337 · score 0.69
469.SquirrelJME / SquirrelJME
SquirrelJME is a Java ME 8 Virtual Machine for embedded and Internet of Things devices. It has the ultimate goal of being 99.9% compatible with the Java ME standard.
+1 stars
from 326 · score 0.69
+1 stars
from 324 · score 0.69
471.sonoro1234 / LuaJIT-ImGui
LuaJIT ffi binding for imgui, backends and extension widgets
- luajit
- imgui
- luajit-ffi
+1 stars
from 316 · score 0.69
472.facebookincubator / dispenso
The project provides high-performance concurrency, enabling highly parallel computation.
+1 stars
from 312 · score 0.69
473.vladopajic / go-actor
A lightweight library for writing concurrent programs in Go using the Actor model.
- actor
- go-actor
- concurrency
- concurrent-programming
- go
- golang
- +9 more
+1 stars
from 312 · score 0.69
+1 stars
from 298 · score 0.69
475.fiorix / go-diameter
Diameter stack and Base Protocol (RFC 6733) for the Go programming language
+1 stars
from 297 · score 0.69
476.orthecreedence / cl-async
Asynchronous IO library for Common Lisp.
+1 stars
from 295 · score 0.69
477.tzcnt / TooManyCooks
C++20 concurrency framework with no compromises. Excellent performance, powerful features, and simple syntax.
- coroutines
- cpp
- cpp20
- lock-free
- concurrency
- multi-threading
- +7 more
+1 stars
from 283 · score 0.69
478.formal-land / rocq-of-ocaml
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
+1 stars
from 278 · score 0.69
+1 stars
from 277 · score 0.69
480.statebox / idris-ct
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
+1 stars
from 272 · score 0.69
481.runmat-org / runmat
Open source math and physics engine that executes MATLAB-syntax code. Features a modern compiler, automatic GPU acceleration for large calculations, and support for math on geometry / FEA calculations.
- matlab
- rust
- jit-compiler
- linear-algebra
- mathematics
- numerical-analysis
- +6 more
+1 stars
from 270 · score 0.69
482.sultan99 / react-on-lambda
A JavaScript library for building React applications in more functional way. Alternative to JSX.
- fp
- react
- no-jsx
- lambda
+1 stars
from 263 · score 0.69
483.typedb / typeql
TypeQL: Built for systems, not records
+1 stars
from 256 · score 0.69
484.rocq-community / fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
- coq-ci
+1 stars
from 252 · score 0.69
485.jmapper-framework / jmapper-core
Elegance, high performance and robustness all in one java bean mapper
- annotations
- xml
- java
- jmapper
- mapper
- mapping
- +2 more
+1 stars
from 246 · score 0.69
486.math-comp / analysis
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
- ssreflect
+1 stars
from 246 · score 0.69
487.sindresorhus / p-debounce
Debounce promise-returning & async functions
+1 stars
from 239 · score 0.69
488.rocq-prover / equations
A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq
+1 stars
from 238 · score 0.69
+1 stars
from 234 · score 0.69
490.sabiwara / aja
Extension of the Elixir standard library focused on data stuctures, data manipulation and performance
- elixir
- persistent-vectors
- ordered-map
- util
- data-stuctures
+1 stars
from 226 · score 0.69
491.curiosity-ai / rocksdb-sharp
.net bindings for the rocksdb by facebook
+1 stars
from 217 · score 0.69
+1 stars
from 214 · score 0.69
+1 stars
from 211 · score 0.69
494.jeroen / V8
Embedded JavaScript Engine for R
+1 stars
from 207 · score 0.69
495.LPCIC / coq-elpi
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
- scripting
+1 stars
from 197 · score 0.69
496.pancsta / asyncmachine-go
state machine which runs code
- golang
- workflows
- state-machine
- actor-model
- aop
- consensus
- +14 more
+1 stars
from 192 · score 0.69
+1 stars
from 191 · score 0.69
498.FHIR / sushi
SUSHI (aka "SUSHI Unshortens Short Hand Inputs") is a reference implementation command-line interpreter/compiler for FHIR Shorthand (FSH).
+1 stars
from 190 · score 0.69
499.extism / go-sdk
Extism Go SDK - easily run WebAssembly modules in your Go applications
+1 stars
from 185 · score 0.69
500.GuvaCode / ray4laz
A complete header translation (binding) of the raylib 6.2 to Pascal. Without any funky helper functions for memory alignment issues. Inspired and partially based on the drezgames/raylib-pascal binding, however a little cleaner and more recent, with FPC 3.2.0 and up support.
- header-translation
- pascal-binding
- raylib
- lazarus
- lazarus-ide
- lazarus-package
- +11 more
+1 stars
from 179 · score 0.69