+1 stars
from 287 · score 0.69
Trending repositories
Ranked by Attention Score: stars gained over the last 30 complete days
801–900 of 929 by Attention Score · Oct 6, 2026 – Nov 4, 2026 (UTC)
802.vardius / message-bus
Go simple async message bus
- message-bus
- event-sourcing
- ddd
- async
- message-queue
- message-broker
- +4 more
+1 stars
from 283 · score 0.69
+1 stars
from 277 · score 0.69
804.statebox / idris-ct
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
+1 stars
from 272 · score 0.69
805.bohonghuang / cl-gtk4
GTK4/Libadwaita/WebKit2 bindings for Common Lisp.
+1 stars
from 266 · score 0.69
+1 stars
from 261 · score 0.69
807.yantrajs / yantra
JavaScript Engine for .NET
- netcore
- standard
- csharp
- csharp-library
- net-standard
- javascript
- +13 more
+1 stars
from 261 · score 0.69
808.GoogleCloudPlatform / healthcare-data-harmonization
This is an engine that converts data of one structure to another, based on a configuration file which describes how. There is an accompanying syntax to make writing mappings easier and more robust.
+1 stars
from 249 · score 0.69
809.GPars / GPars
The GPars concurrency and parallelism framework for the JVM
+1 stars
from 248 · score 0.69
810.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
+1 stars
from 243 · score 0.69
+1 stars
from 242 · score 0.69
+1 stars
from 239 · score 0.69
814.volt-software / Ichor
C++20 Microservice Bootstrapping Framework
- threads
- event-loops
- boost
- cpp20
- cpp20-library
- coroutines
- +8 more
+1 stars
from 237 · score 0.69
+1 stars
from 234 · score 0.69
816.weavejester / reagi
An FRP library for Clojure and ClojureScript
+1 stars
from 233 · score 0.69
817.BeRo1985 / pasvulkan
Vulkan header generator, OOP-style API wrapper, framework and prospective Vulkan-based game engine for Object Pascal
- pascal
- vulkan
- vulkan-api
- vulkan-library
- object-pascal
- freepascal
- +3 more
+1 stars
from 229 · score 0.69
818.cardmagic / simple-rss
A simple, flexible, extensible, and liberal RSS and Atom reader for Ruby. It is designed to be backwards compatible with the standard RSS parser, but will never do RSS generation.
+1 stars
from 229 · score 0.69
819.davedufresne / SwiftParsec
A parser combinator library written in the Swift programming language.
- parser
- parser-combinators
- swift
- functional
+1 stars
from 229 · score 0.69
820.charcoal-lang / Charcoal
A concise language for sketching ASCII art.
- esoteric-language
- ascii-art
- golfing-language
+1 stars
from 227 · score 0.69
821.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
822.functionaljs / functional-js
A functional JavaScript library that facilitates currying and point-free programming
- ai-friendly
- composition
- curry
- currying
- data-last
- esm
- +14 more
+1 stars
from 224 · score 0.69
823.emicklei / melrose
interactive programming of melodies, producing MIDI
+1 stars
from 213 · score 0.69
+1 stars
from 211 · score 0.69
825.goptics / varmq
A Simplest in-memory and Distributed Storage-Agnostic Message Queue for Your Concurrent Go Program
- concurrency
- go
- goroutine
- priority-queue
- queue
- worker
- +6 more
+1 stars
from 208 · score 0.69
826.jeroen / V8
Embedded JavaScript Engine for R
+1 stars
from 207 · score 0.69
827.jscert / jscert
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
+1 stars
from 207 · score 0.69
+1 stars
from 205 · score 0.69
829.uwplse / verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
- distributed-systems
- consensus
- +1 more
+1 stars
from 203 · score 0.69
+1 stars
from 191 · score 0.69
831.extism / go-sdk
Extism Go SDK - easily run WebAssembly modules in your Go applications
+1 stars
from 185 · score 0.69
+1 stars
from 182 · score 0.69
833.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
834.HiTECNOLOGYs / cl-charms
More up-to-date version of cl-charms. Forked it because it was, apparently, abandoned by author and I couldn't contact him.
+1 stars
from 179 · score 0.69
+1 stars
from 171 · score 0.69
+1 stars
from 170 · score 0.69
837.astrochili / narrator
The Ink language parser and runtime implementation in Lua
- ink
- lua
- narrative
- interactive-fiction
- lpeg
- defold
+1 stars
from 166 · score 0.69
838.boraseoksoon / Throttler
One Line to throttle, debounce and delay: Say Goodbye to Reactive Programming such as RxSwift and Combine.
+1 stars
from 166 · score 0.69
839.dafrito / luacxx
Lua binding library for modern C++
- lua
- bindings
- c-plus-plus
- c-plus-plus-library
- modern-cpp-template
+1 stars
from 164 · score 0.69
+1 stars
from 164 · score 0.69
+1 stars
from 162 · score 0.69
842.wahern / luaossl
Most comprehensive OpenSSL module in the Lua universe.
+1 stars
from 161 · score 0.69
+1 stars
from 161 · score 0.69
844.crystal-lang / crystal-sqlite3
SQLite3 bindings for Crystal
+1 stars
from 160 · score 0.69
845.fosskers / transducers
Transducers: Ergonomic, efficient data processing.
- functional-programming
- lisp
- transducers
+1 stars
from 160 · score 0.69
846.lispnik / iup
Common Lisp CFFI bindings to the IUP Portable User Interface library (pre-ALPHA)
- common-lisp
- cffi
- gui
- iup
+1 stars
from 157 · score 0.69
847.stevenvar / OMicroB
An OCaml generic virtual machine for microcontrollers
+1 stars
from 155 · score 0.69
848.leandro-lugaresi / hub
:incoming_envelope: A fast Message/Event Hub using publish/subscribe pattern with support for topics like* rabbitMQ exchanges for Go applications
- topic
- pubsub
- go
- golang
- eventbus
- message-bus
- +1 more
+1 stars
from 149 · score 0.69
849.tondrej / chakracore-delphi
Delphi and Free Pascal bindings and classes for Microsoft's ChakraCore library
- chakracore
- microsoft
- javascript-engine
- delphi
- freepascal
- lazarus
- +2 more
+1 stars
from 147 · score 0.69
+1 stars
from 147 · score 0.69
+1 stars
from 146 · score 0.69
852.stylewarning / cl-algebraic-data-type
Algebraic data types in Common Lisp
- common-lisp
- algebraic-data-types
- functional-programming
+1 stars
from 144 · score 0.69
853.uds-psl / coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
+1 stars
from 144 · score 0.69
+1 stars
from 143 · score 0.69
855.tomhea / flipjump
The single instruction language - Flip a bit, then Jump
- esoteric-programming-language
- programming-language
- oisc
- esolang
- macro-assembler
- compiler
+1 stars
from 142 · score 0.69
+1 stars
from 139 · score 0.69
857.Bayer-Group / paquo
PAthological QUpath Obsession - QuPath and Python conversations
- digital-pathology
- qupath
- python
+1 stars
from 137 · score 0.69
858.STREGAsGate / Raylib
A Swift package for Raylib. Builds Raylib from source so no need to fiddle with libraries. Just add as a dependency in you game package and go!
- gamedev
- raylib
- raylib-swift
- swift
+1 stars
from 135 · score 0.69
859.rocq-community / coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
- coq-ci
+1 stars
from 135 · score 0.69
860.clojure / data.avl
Persistent sorted maps and sets with log-time rank queries
+1 stars
from 134 · score 0.69
861.ndantam / sycamore
A fast, purely functional data structure library in Common Lisp.
+1 stars
from 133 · score 0.69
+1 stars
from 130 · score 0.69
863.s-expressionists / Eclector
A portable Common Lisp reader that is highly customizable, can recover from errors and can return concrete syntax trees
- common-lisp
- reader
- extensible
- error-recovery
- portable
- concrete-syntax-trees
+1 stars
from 130 · score 0.69
864.hugopl / gtk4.cr
GTK4 bindings for Crystal
+1 stars
from 128 · score 0.69
865.quil-lang / sbcl-librarian
Dynamic library delivery tools for SBCL.
+1 stars
from 128 · score 0.69
866.Streampunk / macadam
Async node.js interface to Blackmagic Design capture and playback devices.
+1 stars
from 126 · score 0.69
867.BeRo1985 / pasmp
PasMP - a parallel-processing/multi-processing library for Object Pascal
+1 stars
from 124 · score 0.69
868.JonasKruckenberg / tauri-sys
Bindings to the Tauri API for projects using wasm-bindgen
- rust
- tauri
- wasm
- wasm-bindgen
- webassembly
+1 stars
from 124 · score 0.69
+1 stars
from 122 · score 0.69
870.pinterface / burgled-batteries
A bridge between Python and Lisp (FFI bindings, etc.)
+1 stars
from 120 · score 0.69
+1 stars
from 120 · score 0.69
872.josh-perry / peachy
A parser/renderer for Aseprite animations in LÖVE. :peach:
- love2d
- love
- love2d-framework
- animation
- graphics
- game-development
+1 stars
from 116 · score 0.69
873.rocq-community / corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
- coq-platform
+1 stars
from 116 · score 0.69
+1 stars
from 115 · score 0.69
+1 stars
from 111 · score 0.69
+1 stars
from 107 · score 0.69
+1 stars
from 106 · score 0.69
878.vstelmakh / url-highlight
PHP library to find URLs in text and turn them into clickable links. Made to handle complex URLs, HTML markup and edge cases.
+1 stars
from 103 · score 0.69
879.orsinium-labs / infer-types
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
- code-formatter
- code-generation
- mypy
- pyannotate
- python
- python3
- +7 more
+1 stars
from 102 · score 0.69
880.club-doki7 / vulkan4j
Computer Graphics and Gaming API (Vulkan, OpenGL, GLFW, STB, ...) bindings for Java using Java 22 FFM APIs
- glfw
- glfw3
- glfw3-bindings
- java
- java22
- opengl
- +12 more
+1 stars
from 101 · score 0.69
881.SSProve / ssprove
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
- formal-verification
- modular-cryptographic-proofs
+1 stars
from 90 · score 0.69
+1 stars
from 89 · score 0.69
883.libgdx / gdx-jnigen
jnigen is a small library that can be used with or without libGDX which allows C/C++ code to be written inline with Java source code.
- java
- jni
- gradle
+1 stars
from 87 · score 0.69
+1 stars
from 84 · score 0.69
885.bohonghuang / claw-raylib
Fully auto-generated Common Lisp bindings to Raylib (6.0/5.5) and Raygui (4.0) using claw and cffi-object
+1 stars
from 83 · score 0.69
886.stcarrez / ada-util
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
- json
- beans
- +1 more
+1 stars
from 83 · score 0.69
887.vindarel / cl-cookieproject
Generate a ready-to-use Common Lisp project
- common-lisp
- cookiecutter
- lisp
+1 stars
from 83 · score 0.69
888.orsinium-labs / mypy-baseline
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
- baseline
- cli
- legacy-code
- mypy
- python
- python3
- +3 more
+1 stars
from 82 · score 0.69
+1 stars
from 78 · score 0.69
890.affeldt-aist / monae
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
- mathcomp
- ssreflect
- +2 more
+1 stars
from 77 · score 0.69
891.malisper / Clamp
Common Lisp with Arc Macros and Procedures
+1 stars
from 75 · score 0.69
892.stil / CurlThin
Lightweight cURL wrapper for C# with support for curl_multi polling interface through libuv
- curl
- libcurl
- libuv
- multiprocessing
- http
- http-client
+1 stars
from 71 · score 0.69
893.fjames86 / ftw
Common Lisp Win32 GUI library
+1 stars
from 70 · score 0.69
+1 stars
from 69 · score 0.69
895.jingtaozf / literate-lisp
Load Common Lisp code blocks from Org files
+1 stars
from 69 · score 0.69
896.shiryel / rayex
Raylib binds to elixir for programming games
+1 stars
from 69 · score 0.69
+1 stars
from 68 · score 0.69
898.vectaport / flowgraph
Flowgraph package for scalable asynchronous system development
- dataflow
- scalable
- distributed
+1 stars
from 67 · score 0.69
899.VSoftTechnologies / VSoft.Messaging
Simple internal application messaging for Delphi
- dpmpackage
- delphi
- vsoft
- vcl
- fmx
+1 stars
from 63 · score 0.69
900.Goldziher / go-utils
Simple and performant utilies using Go generics inspired by JavaScript and Python
- golang
- go
- utilities
- generics
+1 stars
from 62 · score 0.69