+1 stars
from 60 · score 0.69
Trending repositories
Ranked by Attention Score: stars gained over the last 30 complete days
901–930 of 930 by Attention Score · Oct 6, 2026 – Nov 4, 2026 (UTC)
902.querycert / qcert
Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
- coq-proof-assistant
- sql
- +2 more
+1 stars
from 60 · score 0.69
903.xoofx / SharpScss
A portable cross-platform pinvoke .NET wrapper around libsass to convert SCSS to CSS
+1 stars
from 60 · score 0.69
+1 stars
from 57 · score 0.69
905.adampetcher / fcf
Foundational Cryptography Framework for machine-checked proofs of cryptography.
+1 stars
from 57 · score 0.69
906.ak-coram / cl-duckdb
Common Lisp CFFI wrapper around the DuckDB C API
+1 stars
from 56 · score 0.69
+1 stars
from 55 · score 0.69
908.Inspiaaa / HCoroutines
A powerful C# coroutine library for Godot.
- coroutines
- csharp
- godot
- hierarchical
- godot-engine
- godot4
- +1 more
+1 stars
from 54 · score 0.69
909.RDP1974 / Delphi64RTL
Intel Integrated Performance Primitives and Intel Threading Building Block for Delphi RTL
+1 stars
from 53 · score 0.69
910.impermeable / rocq-waterproof
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
+1 stars
from 52 · score 0.69
+1 stars
from 50 · score 0.69
912.math-comp / finmap
Finite sets, finite maps, multisets and generic sets
- coq
- ssreflect
- mathcomp
- finite-sets
+1 stars
from 50 · score 0.69
913.turborium / TurboRaylib
TurboRaylib is a cool and clean Raylib bindings for Object Pascal (Delphi and FreePascal)
- delphi
- easy-to-use
- freepascal
- game
- game-dev
- game-development
- +11 more
+1 stars
from 50 · score 0.69
+1 stars
from 48 · score 0.69
+1 stars
from 47 · score 0.69
916.Chromatophore / HP48-Superchip
Modified HP-48 Superchip Binary to address undesirable quirks present in the platform.
+1 stars
from 46 · score 0.69
917.rocq-community / graph-theory
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
- mathcomp-ci
+1 stars
from 45 · score 0.69
918.ChrisCho-H / bithoven
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
+1 stars
from 43 · score 0.69
+1 stars
from 38 · score 0.69
920.ttytm / dialog
A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.
- cross-platform
- dialog
- file
- filesystem
- gtk2
- gtk3
- +7 more
+1 stars
from 34 · score 0.69
921.hexdigest / execpool
A pool that spins up a given number of processes in advance and attaches stdin and stdout when needed. Very similar to FastCGI but works for any command.
+1 stars
from 29 · score 0.69
922.jhspetersson / packrat
Gatherers library for Java Stream API
- java
- streams-api
- gatherer
- gatherers
- streams
- jdk25
+1 stars
from 29 · score 0.69
923.floooh / sokol-d
D bindings for the sokol headers (https://github.com/floooh/sokol)
- bindings
- d
- dlang
- sokol
- cross-platform
- emscripten
- +1 more
+1 stars
from 28 · score 0.69
924.CHSZLab / CHSZLabLib
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
- combinatorial-optimization
- community-detection
- dynamic-graphs
- edge-orientation
- graph-algorithms
- graph-partitioning
- +8 more
+1 stars
from 27 · score 0.69
925.pi8027 / stablesort
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
- insertion-sort
- rocq
- +3 more
+1 stars
from 26 · score 0.69
926.superkabuki / threefive_is_scte35
The #1 SCTE-35 parser for five years. threefive decodes and encodes all SCTE-35 formats ***.
- adbreak
- adrianofdoom
- adtech
- hls-live-streaming
- hls-scte35
- python3
- +11 more
+1 stars
from 23 · score 0.69
927.BrightSec / har
HAR (HTTP Archive) parser in Crystal
- har
- http-archive
- http-archive-format
- json
- crystal
- parser
+1 stars
from 21 · score 0.69
928.CertiGraph / CertiGraph
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
+1 stars
from 20 · score 0.69
929.mickelsamuel / migrationpilot
PostgreSQL migration linter. Blocks unsafe migrations before merge: 112 rules, the real Postgres parser, lock analysis, auto-fix. CLI, GitHub Action, MCP.
- cli
- database
- ddl
- devops
- github-action
- linter
- +14 more
+1 stars
from 8 · score 0.69
930.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.
+1 stars
from 6 · score 0.69