+3 stars
from 271 · score 1.39
Trending repositories
Ranked by Attention Score: stars gained over the last 90 complete days
801–900 of 1,211 by Attention Score · Aug 7, 2026 – Nov 4, 2026 (UTC)
802.Unidata / netcdf-fortran
Official GitHub repository for netCDF-Fortran libraries, which depend on the netCDF C library. Install the netCDF C library first.
- netcdf-fortran
- unidata
- netcdf-library
- dataset
- hacktoberfest
+3 stars
from 268 · score 1.39
+3 stars
from 267 · score 1.39
+3 stars
from 259 · score 1.39
805.nikodemus / screamer
Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
+3 stars
from 254 · score 1.39
806.math-comp / analysis
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
- ssreflect
+3 stars
from 244 · score 1.39
807.sindresorhus / p-debounce
Debounce promise-returning & async functions
+3 stars
from 237 · score 1.39
808.rocq-prover / equations
A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq
+3 stars
from 236 · score 1.39
809.volt-software / Ichor
C++20 Microservice Bootstrapping Framework
- threads
- event-loops
- boost
- cpp20
- cpp20-library
- coroutines
- +8 more
+3 stars
from 235 · score 1.39
+3 stars
from 232 · score 1.39
+3 stars
from 230 · score 1.39
812.filcuc / dotherside
C language library for creating bindings for the Qt QML language
- qml-bindings
- qt-qml-language
- qml
- qt
- bindings
+3 stars
from 223 · score 1.39
+3 stars
from 189 · score 1.39
+3 stars
from 169 · score 1.39
815.Neopallium / llvm-lua
Automatically exported from code.google.com/p/llvm-lua
+3 stars
from 161 · score 1.39
816.wahern / luaossl
Most comprehensive OpenSSL module in the Lua universe.
+3 stars
from 159 · score 1.39
817.fosskers / transducers
Transducers: Ergonomic, efficient data processing.
- functional-programming
- lisp
- transducers
+3 stars
from 158 · score 1.39
+3 stars
from 145 · score 1.39
819.stylewarning / cl-algebraic-data-type
Algebraic data types in Common Lisp
- common-lisp
- algebraic-data-types
- functional-programming
+3 stars
from 142 · score 1.39
820.ndantam / sycamore
A fast, purely functional data structure library in Common Lisp.
+3 stars
from 131 · score 1.39
821.AdaCore / RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
- parser
- binary-parser
- ada
- spark
- formal-verification
- formal-specification
- +5 more
+3 stars
from 128 · score 1.39
822.hugopl / gtk4.cr
GTK4 bindings for Crystal
+3 stars
from 126 · score 1.39
823.Streampunk / macadam
Async node.js interface to Blackmagic Design capture and playback devices.
+3 stars
from 124 · score 1.39
824.Coldzer0 / ImGui-Pascal
ImGui Binding for FreePascal / Delphi with the latest version & docking
- freepascal
- imgui
- imgui-binding
- opengl3
- pascal
- sdl2
- +1 more
+3 stars
from 76 · score 1.39
825.ak-coram / cl-duckdb
Common Lisp CFFI wrapper around the DuckDB C API
+3 stars
from 54 · score 1.39
826.Inspiaaa / HCoroutines
A powerful C# coroutine library for Godot.
- coroutines
- csharp
- godot
- hierarchical
- godot-engine
- godot4
- +1 more
+3 stars
from 52 · score 1.39
827.saman-pasha / cicili
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.
- c
- cicili
- compiler
- lisp
- programming-language
- haskell
- +8 more
+3 stars
from 47 · score 1.39
+3 stars
from 46 · score 1.39
+3 stars
from 43 · score 1.39
+3 stars
from 36 · score 1.39
831.VeriNum / vcfloat
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
+3 stars
from 32 · score 1.39
832.geoffmyers / multitrack-audio-visualizer
Browser-based multitrack audio visualiser with synchronised playback, configurable presets and video export via ffmpeg.wasm. Shares one core with a headless CLI.
+3 stars
from 4 · score 1.39
833.baconjs / bacon.js
Functional reactive programming library for TypeScript and JavaScript
+2 stars
from 6,447 · score 1.10
+2 stars
from 5,960 · score 1.10
835.developit / greenlet
🦎 Move an async function into its own thread.
- worker
- webworker
- thread
- web-worker
- workerize
+2 stars
from 4,682 · score 1.10
836.ankurp / Dollar
A functional tool-belt for Swift Language similar to Lo-Dash or Underscore.js in Javascript
- swift
- dollar
- xcode
- swift-language
- callback-returns
+2 stars
from 4,230 · score 1.10
+2 stars
from 4,019 · score 1.10
838.Jeffail / gabs
For parsing, creating and editing unknown or dynamic JSON in Go
- go
- json
- parsing
- golang
+2 stars
from 3,524 · score 1.10
+2 stars
from 3,482 · score 1.10
+2 stars
from 3,315 · score 1.10
+2 stars
from 2,585 · score 1.10
+2 stars
from 2,306 · score 1.10
+2 stars
from 2,002 · score 1.10
844.Zewo / Zewo
Lightweight library for web server applications in Swift on macOS and Linux powered by coroutines.
- swift
- coroutines
- synchronous-apis
- server-side-swift
- zewo
- swiftenv
- +9 more
+2 stars
from 1,839 · score 1.10
+2 stars
from 1,596 · score 1.10
846.webview / webview_deno
🌐 Deno bindings for webview, a tiny library for creating web-based desktop GUIs
+2 stars
from 1,588 · score 1.10
847.paldepind / flyd
The minimalistic but powerful, modular, functional reactive programming library in JavaScript.
+2 stars
from 1,564 · score 1.10
848.riverrun / comeonin
Password hashing specification for the Elixir programming language
- argon2
- bcrypt
- pbkdf2
- elixir
+2 stars
from 1,315 · score 1.10
849.ReadyTalk / avian
[INACTIVE] Avian is a lightweight virtual machine and class library designed to provide a useful subset of Java's features, suitable for building self-contained applications.
- java
- jit-compiler
- openjdk
- jvm
- portable
+2 stars
from 1,236 · score 1.10
850.clojure / core.match
An optimized pattern matching library for Clojure
+2 stars
from 1,218 · score 1.10
851.cch123 / elasticsql
convert sql to elasticsearch DSL in golang(go)
- elasticsearch
- sql
- golang
- dsl
- go
- elastic
- +1 more
+2 stars
from 1,187 · score 1.10
852.wende / elchemyArchived
Write Elixir code using statically-typed Elm-like syntax (compatible with Elm tooling)
- elixir
- elixir-lang
- elm
- transpiler
- language
- languages
- +2 more
+2 stars
from 1,149 · score 1.10
+2 stars
from 1,133 · score 1.10
854.xebecnan / UniLua
A pure c# implementation of Lua 5.2 focus on compatibility with Unity
+2 stars
from 1,119 · score 1.10
855.graphql / libgraphqlparserArchived
A GraphQL query parser in C++ with C and C++ APIs
+2 stars
from 1,104 · score 1.10
856.RubyCrypto / rbnacl
Ruby FFI binding to the Networking and Cryptography (NaCl) library (a.k.a. libsodium)
- cryptography
- nacl
- libsodium
- ruby
- x25519
- ed25519
- +2 more
+2 stars
from 984 · score 1.10
857.microsoft / MobiusArchived
C# and F# language binding and extensions to Apache Spark
- spark
- apache-spark
- rdd
- dataframe
- dstream
- dataset
- +10 more
+2 stars
from 945 · score 1.10
858.uniVocity / univocity-parsers
uniVocity-parsers is a suite of extremely fast and reliable parsers for Java. It provides a consistent interface for handling different file formats, and a solid framework for the development of new parsers.
+2 stars
from 935 · score 1.10
859.SodiumFRP / sodium
Sodium - Functional Reactive Programming (FRP) Library for multiple languages
+2 stars
from 851 · score 1.10
860.prasannavl / WinApi
A simple, direct, ultra-thin CLR library for high-performance Win32 Native Interop
- dotnet
- dotnetcore
- winapi
- directx
+2 stars
from 841 · score 1.10
861.brettwooldridge / NuProcess
Low-overhead, non-blocking I/O, external Process implementation for Java
+2 stars
from 738 · score 1.10
862.westonplatter / phashion
Ruby wrapper around pHash, the perceptual hash library for detecting duplicate multimedia files
- phash
- ruby
- image-analysis
- duplicate-multimedia-files
+2 stars
from 711 · score 1.10
863.advantageous / qbit
The Java microservice lib. QBit is a reactive programming lib for building microservices - JSON, HTTP, WebSocket, and REST. QBit uses reactive programming to build elastic REST, and WebSockets based cloud friendly, web services. SOA evolved for mobile and cloud. ServiceDiscovery, Health, reactive StatService, events, Java idiomatic reactive programming for Microservices.
- qbit
- java
- microservice
- websocket-support
- websocket
- actor
- +3 more
+2 stars
from 705 · score 1.10
+2 stars
from 663 · score 1.10
+2 stars
from 640 · score 1.10
866.uwplse / verdi
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
- distributed-systems
+2 stars
from 625 · score 1.10
867.emicklei / proto
parser for Google ProtocolBuffers definition
+2 stars
from 613 · score 1.10
868.CrowdHailer / OK
Elegant error/exception handling in Elixir, with result monads.
- pipeline
- monad
- macros
- elixir
- elixir-pipelines
+2 stars
from 605 · score 1.10
869.libSDL2pp / libSDL2pp
C++ bindings/wrapper for SDL2
+2 stars
from 597 · score 1.10
870.demystifyfp / FsToolkit.ErrorHandling
An opinionated F# Library for error handling
- fsharp
- error-handling
- railway-oriented-programming
- category-theory
+2 stars
from 550 · score 1.10
871.eratosthenesia / lispc
"Lispsy" Lisp(ish) to C Converter (designed for CLISP)
+2 stars
from 548 · score 1.10
872.LuaLanes / lanes
Lanes is a lightweight, native, lazy evaluating multithreading library for Lua 5.1 to 5.5.
+2 stars
from 537 · score 1.10
+2 stars
from 536 · score 1.10
874.Nihlus / AdvancedDLSupport
Delegate-based C# P/Invoke alternative - compatible with all platforms and runtimes.
- csharp
- pinvoke
- native
- c
- dotnet
- coreclr
- +2 more
+2 stars
from 509 · score 1.10
875.adrg / libvlc-go
Handcrafted Go bindings for libVLC and high-level media player interface
- libvlc
- go
- vlc
- bindings
- golang
- video
- +13 more
+2 stars
from 508 · score 1.10
876.hirrolot / mazeppa
A modern supercompiler for call-by-value functional languages
- compiler
- functional
- functional-programming
- language
- optimization
- performance
- +6 more
+2 stars
from 477 · score 1.10
877.cjrh / aiorun
A "run" function for asyncio-based apps that does all the boilerplate.
- async
- async-await
- asynchronous
- asynchronous-tasks
- asyncio
- asyncio-python
+2 stars
from 468 · score 1.10
878.kekyo / IL2C
IL2C - A translator for ECMA-335 CIL/MSIL to C language.
- cil
- msil
- c
- csharp
- dotnet
- translator
- +9 more
+2 stars
from 447 · score 1.10
879.LaurentMazare / ocaml-torch
OCaml bindings for PyTorch
- ocaml
- pytorch
- machine-learning
- artificial-intelligence
- neural-network
- tensor
- +2 more
+2 stars
from 442 · score 1.10
880.aiokitchen / aiomisc
aiomisc - miscellaneous utils for asyncio
- asyncio
- miscellaneous
- server-client
- service
- async-await
- asynchronous
- +4 more
+2 stars
from 425 · score 1.10
+2 stars
from 423 · score 1.10
+2 stars
from 412 · score 1.10
883.emmanueltouzery / prelude-ts
Functional programming, immutable collections and FP constructs for typescript and javascript
- typescript
- functional-programming
- immutable-collections
- javascript
- immutability
- futures
- +2 more
+2 stars
from 383 · score 1.10
+2 stars
from 376 · score 1.10
885.opencypher / cypher-for-gremlin
Cypher for Gremlin adds Cypher support to any Gremlin graph database.
- tinkerpop
- tinkerpop3
- gremlin
- cypher
- graph
+2 stars
from 373 · score 1.10
886.graphql-rust / graphql-parser
A graphql query language and schema definition language parser and formatter for rust
+2 stars
from 369 · score 1.10
+2 stars
from 364 · score 1.10
+2 stars
from 361 · score 1.10
889.RightTyper / RightTyper
A fast and efficient type assistant for Python, including tensor shape inference
- python
- typing
+2 stars
from 358 · score 1.10
+2 stars
from 356 · score 1.10
+2 stars
from 355 · score 1.10
+2 stars
from 353 · score 1.10
+2 stars
from 341 · score 1.10
+2 stars
from 301 · score 1.10
895.orthecreedence / cl-async
Asynchronous IO library for Common Lisp.
+2 stars
from 294 · score 1.10
896.moxystudio / node-proper-lockfile
An inter-process and inter-machine lockfile utility that works on a local or network file system.
- lockfile
- atomic
- nodejs
- cross-process
- lock
- filesystem
+2 stars
from 283 · score 1.10
+2 stars
from 271 · score 1.10
898.jmapper-framework / jmapper-core
Elegance, high performance and robustness all in one java bean mapper
- annotations
- xml
- java
- jmapper
- mapper
- mapping
- +2 more
+2 stars
from 245 · score 1.10
899.hikettei / Caten
[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold)
+2 stars
from 244 · score 1.10
+2 stars
from 241 · score 1.10