1.FreeCAD / FreeCAD
Official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.
- freecad
- engineering
- opencascade
- architecture
- cad
- bim
- +10 more
+243 stars
from 34,851 · score 5.50
Trending repositories
Ranked by Attention Score: stars gained over the last 7 complete days
70 repositories by Attention Score · Oct 28, 2026 – Nov 3, 2026 (UTC)
2.brunodev85 / winlator
Android application for running Windows applications with Wine and Box86/Box64
+145 stars
from 19,654 · score 4.98
3.semgrep / semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
- static-analysis
- static-code-analysis
- java
- go
- sast
- semgrep
- +6 more
+122 stars
from 17,310 · score 4.81
4.spicetify / cli
Command-line tool to customize Spotify client. Supports Windows, macOS, and Linux.
+85 stars
from 25,278 · score 4.45
5.processing / p5.js
p5.js is a client-side JS platform that empowers artists, designers, students, and anyone to learn to code and express themselves creatively on the web. It is based on the core principles of Processing. Looking for p5.js 2.0? http://beta.p5js.org
+54 stars
from 24,243 · score 4.01
6.NixOS / nix
Nix, the purely functional package manager
- nix
- functional-programming
- c-plus-plus
- package-manager
- declarative-language
+47 stars
from 17,920 · score 3.87
7.espressif / arduino-esp32
Arduino core for the ESP32 family of SoCs
+31 stars
from 17,632 · score 3.47
8.languagetool-org / languagetool
Style and Grammar Checker for 25+ Languages
- grammar
- natural-language
- natural-language-processing
- style-checker
- proofreading
- spellcheck
+27 stars
from 15,204 · score 3.33
9.gfwlist / gfwlist
The one and only one gfwlist here
- china
- censorship-circumvention
- anticensorship
- gfw
- censorship
+18 stars
from 25,691 · score 2.94
10.rocq-prover / rocq
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
+17 stars
from 5,640 · score 2.89
11.sshuttle / sshuttle
Transparent proxy server that works as a poor man's VPN. Forwards over ssh. Doesn't require admin. Works with Linux and MacOS. Supports DNS tunneling.
+15 stars
from 13,628 · score 2.77
12.libvips / libvips
A fast image processing library with low memory needs.
+13 stars
from 11,768 · score 2.64
13.projectM-visualizer / projectm
projectM - Cross-platform Music Visualization Library. Open-source and Milkdrop-compatible.
- music-visualizer
- visualizer
- library
- music
- milkdrop
+12 stars
from 4,553 · score 2.56
+11 stars
from 13,079 · score 2.48
15.gphoto / libgphoto2
The libgphoto2 camera access and control library.
+11 stars
from 1,400 · score 2.48
16.paramiko / paramiko
The leading native Python SSHv2 protocol library.
+10 stars
from 9,885 · score 2.40
17.cypht-org / cypht
Cypht: Lightweight Open Source webmail aggregator [PHP, JS]. Supports IMAP/SMTP, JMAP and EWS (Exchange Web Services)
+10 stars
from 1,776 · score 2.40
18.PHPMailer / PHPMailer
The classic email sending library for PHP
+8 stars
from 22,337 · score 2.20
19.browsh-org / browsh
A fully-modern text-based browser, rendering to TTY and browsers
- tty
- ssh
- mosh
- bandwidth-saver
- http-performance
- vnc
+8 stars
from 19,104 · score 2.20
+8 stars
from 16,697 · score 2.20
21.crankyoldgit / IRremoteESP8266
Infrared remote library for ESP8266/ESP32: send and receive infrared signals with multiple protocols. Based on: https://github.com/shirriff/Arduino-IRremote/
- protocols
- arduino-ide
- infrared
- airconditioners
- remote-control
- home-automation
- +12 more
+8 stars
from 3,653 · score 2.20
22.SteveMacenski / slam_toolbox
Slam Toolbox for lifelong mapping and localization in potentially massive maps with ROS
+7 stars
from 2,693 · score 2.08
23.SteveMacenski / spatio_temporal_voxel_layer
A new voxel layer leveraging modern 3D graphics tools to modernize navigation environmental representations
+6 stars
from 871 · score 1.95
24.ntop / PF_RING
High-speed packet processing framework
- pf-ring
- capture-packets
- high-speed
- 100gbit
- 10gbit
- 40gbit
+5 stars
from 2,985 · score 1.79
25.sofa-framework / sofa
Real-time multi-physics simulation with an emphasis on medical simulation.
- real-time
- simulation
- medical
- physics
- cpp
- framework
- +3 more
+5 stars
from 1,293 · score 1.79
26.nurupo / vlc-pause-click-plugin
Plugin for VLC that pauses/plays video on mouse click
- vlc
- plugin
- vlc-plugin
+5 stars
from 1,217 · score 1.79
27.RIOT-OS / RIOT
RIOT - The friendly OS for IoT
+4 stars
from 5,828 · score 1.61
28.SteamRE / SteamKit
SteamKit2 is a .NET library designed to interoperate with Valve's Steam network. It aims to provide a simple, yet extensible, interface to perform various actions on the network.
- steamkit2
- c-sharp
- nuget
- steam
- valve
- networking
- +3 more
+4 stars
from 3,217 · score 1.61
29.idaholab / moose
Multiphysics Object Oriented Simulation Environment: A robust, modern, extendable, finite element/finite volume framework that excels at creating complex multiphysics simulations.
- multiphysics
- simulation
- fem
- finite-elements
- object-oriented
- parallel
- +2 more
+4 stars
from 2,396 · score 1.61
30.libsndfile / libsndfile
A C library for reading and writing sound files containing sampled audio data.
- libsndfile
- audio-library
- c
- cmake
+4 stars
from 1,723 · score 1.61
31.visualfc / liteide
LiteIDE is a simple, open source, cross-platform Go IDE.
+3 stars
from 7,767 · score 1.39
32.spotbugs / spotbugs
SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
- findbugs
- static-analysis
- code-analysis
- static-code-analysis
- linter
- hacktoberfest
+3 stars
from 3,962 · score 1.39
+3 stars
from 3,048 · score 1.39
34.videolan / libvlcsharp
Cross-platform .NET/Mono bindings for LibVLC
+3 stars
from 1,826 · score 1.39
35.evil-mad / stipplegen
Software that can create stipple drawings and “TSP art,” from image files
+3 stars
from 486 · score 1.39
36.piskvorky / gensim
Topic Modelling for Humans
- gensim
- topic-modeling
- information-retrieval
- machine-learning
- natural-language-processing
- nlp
- +9 more
+2 stars
from 16,508 · score 1.10
37.dompdf / dompdf
HTML to PDF converter for PHP
+2 stars
from 11,207 · score 1.10
+2 stars
from 5,066 · score 1.10
39.mapnik / mapnik
Mapnik is an open source toolkit for developing mapping applications
+2 stars
from 3,971 · score 1.10
+2 stars
from 3,611 · score 1.10
+2 stars
from 1,465 · score 1.10
42.mono / taglib-sharp
Library for reading and writing metadata in media files
+2 stars
from 1,460 · score 1.10
+2 stars
from 1,327 · score 1.10
44.cdk / cdk
The Chemistry Development Kit
- code4lib
- chemistry
- java
- cheminformatics
- bioinformatics
- blueobelisk
+2 stars
from 610 · score 1.10
45.jjazzboss / JJazzLab
A complete and open application for automatic backing tracks generation.
- music
- music-library
- music-generation
- music-composition
- music-player
- music-theory
- +12 more
+2 stars
from 606 · score 1.10
46.joaopauloschuler / neural-api
CAI NEURAL API - Pascal based deep learning neural network API optimized for AVX, AVX2 and AVX512 instruction sets plus OpenCL capable devices including AMD, Intel and NVIDIA.
- pascal
- lazarus
- delphi
- free-pascal
- cifar10
- cifar-10
- +14 more
+2 stars
from 463 · score 1.10
+2 stars
from 396 · score 1.10
48.checkstyle / checkstyle
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.
- java
- static-code-analysis
- command-line-tool
- static-analysis
- code-quality
- hacktoberfest
+1 stars
from 9,624 · score 0.69
49.ezyang / htmlpurifier
Standards compliant HTML filter written in PHP
+1 stars
from 3,347 · score 0.69
50.urwid / urwid
Console user interface library for Python (official repo)
+1 stars
from 3,026 · score 0.69
51.libfann / fann
Official github repository for Fast Artificial Neural Network Library (FANN)
- fann
- c
- neural-network
- library
+1 stars
from 1,747 · score 0.69
52.kmuto / review
Re:VIEW is flexible document format/conversion system
+1 stars
from 1,409 · score 0.69
53.auscaster / icey
Real-time media stack and lightweight libwebrtc alternative, built in C++20
+1 stars
from 1,369 · score 0.69
54.ParallelSSH / parallel-ssh
Asynchronous parallel SSH client library.
+1 stars
from 1,285 · score 0.69
55.hyperrealm / libconfig
C/C++ Library for Processing Structured Configuration Files
+1 stars
from 1,221 · score 0.69
56.gromacs / gromacs
Public/backup repository of the GROMACS molecular simulation toolkit. Please do not mine the metadata blindly; we use https://gitlab.com/gromacs/gromacs for code review and issue tracking.
+1 stars
from 973 · score 0.69
57.mdtraj / mdtraj
An open library for the analysis of molecular dynamics trajectories
- molecular-dynamics
- python
- mdtraj
- rmsd
- dihedral-angles
- pdb
- +2 more
+1 stars
from 743 · score 0.69
58.suavecode / SUAVE
An Aircraft Design Toolbox
- aircraft
- python
- aircraft-design
- aerospace
- urban-air-mobility
- evtol
- +1 more
+1 stars
from 534 · score 0.69
59.DFIR-ORC / dfir-orc
Forensics artefact collection tool for systems running Microsoft Windows
- dfir
- incident-response
- collection
+1 stars
from 452 · score 0.69
60.mariadb-corporation / mariadb-connector-j
MariaDB Connector/J is used to connect applications developed in Java to MariaDB and MySQL databases. MariaDB Connector/J is LGPL licensed.
+1 stars
from 365 · score 0.69
+1 stars
from 363 · score 0.69
62.freeswitch / sofia-sip
Sofia-SIP is an open-source SIP User-Agent library, compliant with the IETF RFC3261 specification.
+1 stars
from 355 · score 0.69
63.vala-lang / vala-language-server
Code Intelligence for Vala & Genie
- language-server
- vala
- genie
- gnome
- vls
- vscode
- +3 more
+1 stars
from 333 · score 0.69
+1 stars
from 313 · score 0.69
65.rocq-prover / equations
A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq
+1 stars
from 238 · score 0.69
66.rocq-community / rocq-lsp
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
- interactive-theorem-proving
- language-server-protocol
- +2 more
+1 stars
from 211 · score 0.69
67.LPCIC / coq-elpi
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
- scripting
+1 stars
from 197 · score 0.69
+1 stars
from 152 · score 0.69
69.rocq-community / coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
- coq-ci
- coq-platform
+1 stars
from 102 · score 0.69
70.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