Trending repositories

1.FreeCAD / FreeCAD

Official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.

• freecad
• engineering
• opencascade
• architecture
• cad
• bim
• +10 more

2.spicetify / cli

Command-line tool to customize Spotify client. Supports Windows, macOS, and Linux.

• spotify
• customization
• golang
• macos
• linux
• windows
• +5 more

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

4.brunodev85 / winlator

Android application for running Windows applications with Wine and Box86/Box64

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

• javascript
• graphics
• education
• learning
• art
• design
• +5 more

6.espressif / arduino-esp32

Arduino core for the ESP32 family of SoCs

• arduino
• esp-idf
• esp32

7.NixOS / nix

Nix, the purely functional package manager

• nix
• functional-programming
• c-plus-plus
• package-manager
• declarative-language

8.languagetool-org / languagetool

Style and Grammar Checker for 25+ Languages

• grammar
• natural-language
• natural-language-processing
• style-checker
• proofreading
• spellcheck

9.gfwlist / gfwlist

The one and only one gfwlist here

• china
• censorship-circumvention
• anticensorship
• gfw
• censorship

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

11.libvips / libvips

A fast image processing library with low memory needs.

• libvips
• jpeg
• openslide
• imagemagick
• tiff
• gif
• +13 more

12.projectM-visualizer / projectm

projectM - Cross-platform Music Visualization Library. Open-source and Milkdrop-compatible.

• music-visualizer
• visualizer
• library
• music
• milkdrop

13.PHPMailer / PHPMailer

The classic email sending library for PHP

• php
• smtp
• php-library
• email
• xoauth2
• tls-support
• +3 more

14.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.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

16.cypht-org / cypht

Cypht: Lightweight Open Source webmail aggregator [PHP, JS]. Supports IMAP/SMTP, JMAP and EWS (Exchange Web Services)

• php
• webmail
• webmail-client
• imap
• pop3
• smtp
• +6 more

17.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

18.alibaba / COLA

🥤 COLA: Clean Object-oriented & Layered Architecture

• cola
• architecture
• clean

19.browsh-org / browsh

A fully-modern text-based browser, rendering to TTY and browsers

• tty
• ssh
• mosh
• bandwidth-saver
• http-performance
• vnc

20.SteveMacenski / slam_toolbox

Slam Toolbox for lifelong mapping and localization in potentially massive maps with ROS

21.gphoto / libgphoto2

The libgphoto2 camera access and control library.

• camera
• digital
• access
• usb
• canon
• nikon
• +7 more

22.sofa-framework / sofa

Real-time multi-physics simulation with an emphasis on medical simulation.

• real-time
• simulation
• medical
• physics
• cpp
• framework
• +3 more

23.RIOT-OS / RIOT

RIOT - The friendly OS for IoT

• c
• iot
• os
• internetofthings
• microcontrollers
• rtos
• +4 more

24.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

25.paramiko / paramiko

The leading native Python SSHv2 protocol library.

26.esp8266 / Arduino

ESP8266 core for Arduino

27.piskvorky / gensim

Topic Modelling for Humans

• gensim
• topic-modeling
• information-retrieval
• machine-learning
• natural-language-processing
• nlp
• +9 more

28.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

29.dompdf / dompdf

HTML to PDF converter for PHP

• dompdf
• php
• font
• html
• css
• html-to-pdf
• +1 more

30.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

31.videolan / libvlcsharp

Cross-platform .NET/Mono bindings for LibVLC

• dotnet
• vlc
• multimedia
• xamarin
• libvlc
• player
• +2 more

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

33.xwiki / xwiki-platform

The XWiki platform

34.ntop / PF_RING

High-speed packet processing framework

• pf-ring
• capture-packets
• high-speed
• 100gbit
• 10gbit
• 40gbit

35.OpenSCAP / openscap

NIST Certified SCAP 1.2 toolkit

• scap
• xccdf
• oval
• cpe
• compliance
• openscap
• +2 more

36.elapouya / python-docx-template

Use a docx as a jinja2 template

37.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

38.fukuchi / libqrencode

A fast and compact QR Code encoding library

39.csound / csound

Main repository for Csound

40.nurupo / vlc-pause-click-plugin

Plugin for VLC that pauses/plays video on mouse click

• vlc
• plugin
• vlc-plugin

41.SteveMacenski / spatio_temporal_voxel_layer

A new voxel layer leveraging modern 3D graphics tools to modernize navigation environmental representations

• ros
• navigation
• robot
• voxel
• openvdb
• tbb

42.visualfc / liteide

LiteIDE is a simple, open source, cross-platform Go IDE.

• liteide
• cross-platform
• ide
• golang
• go
• qt

43.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.

44.libsndfile / libsndfile

A C library for reading and writing sound files containing sampled audio data.

• libsndfile
• audio-library
• c
• cmake

45.mapnik / mapnik

Mapnik is an open source toolkit for developing mapping applications

• mapnik
• c-plus-plus
• mapping
• cartography
• gis
• wiki
• +3 more

46.urwid / urwid

Console user interface library for Python (official repo)

47.taglib / taglib

TagLib Audio Meta-Data Library

48.mdtraj / mdtraj

An open library for the analysis of molecular dynamics trajectories

• molecular-dynamics
• python
• mdtraj
• rmsd
• dihedral-angles
• pdb
• +2 more

49.auscaster / icey

Real-time media stack and lightweight libwebrtc alternative, built in C++20

50.cdk / cdk

The Chemistry Development Kit

• code4lib
• chemistry
• java
• cheminformatics
• bioinformatics
• blueobelisk

51.OpenTSDB / opentsdb

A scalable, distributed Time Series Database.

52.mono / taglib-sharp

Library for reading and writing metadata in media files

53.suavecode / SUAVE

An Aircraft Design Toolbox

• aircraft
• python
• aircraft-design
• aerospace
• urban-air-mobility
• evtol
• +1 more

54.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

55.LPCIC / coq-elpi

Rocq plugin embedding Elpi

• coq
• metaprogramming
• extension-language
• lambda-prolog
• scripting

56.yue / yue

A library for creating native cross-platform GUI apps

57.ParallelSSH / parallel-ssh

Asynchronous parallel SSH client library.

• parallel-ssh
• ssh
• parallel
• asynchronous
• library
• python
• +14 more

58.evil-mad / stipplegen

Software that can create stipple drawings and “TSP art,” from image files

59.DFIR-ORC / dfir-orc

Forensics artefact collection tool for systems running Microsoft Windows

• dfir
• incident-response
• collection

60.NGSolve / netgen

The repository host gives no description.

• mesh-generator

61.vala-lang / vala-language-server

Code Intelligence for Vala & Genie

• language-server
• vala
• genie
• gnome
• vls
• vscode
• +3 more

62.accord-net / frameworkArchived

Machine learning, computer vision, statistics and general scientific computing for .NET

• machine-learning
• framework
• c-sharp
• nuget
• visual-studio
• statistics
• +6 more

63.libMesh / libmesh

libMesh github repository

• fem
• finite-element-methods
• simulation
• parallel
• amr
• finite-element-analysis
• +2 more

64.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.

65.rocq-prover / equations

A function definition package for Rocq

• coq
• programming-language
• dependent-types
• rocq

66.ezyang / htmlpurifier

Standards compliant HTML filter written in PHP

67.pwnlandia / mhn

Modern Honey Network

• hacktoberfest

68.etr / libhttpserver

C++ library for creating an embedded Rest HTTP server (and more)

• http
• http-server
• https
• https-server
• c-plus-plus
• ipv6
• +6 more

69.openslide / openslide

C library for reading virtual slide images

• pathology
• whole-slide-imaging
• c

70.eXist-db / exist

eXist Native XML Database and Application Platform

• xquery
• xml
• java
• xslt
• xproc
• tei-xml
• +7 more

71.arduino-libraries / ArduinoBLE

ArduinoBLE library for Arduino

72.freeswitch / sofia-sip

Sofia-SIP is an open-source SIP User-Agent library, compliant with the IETF RFC3261 specification.

73.r-dbi / DBI

A database interface (DBI) definition for communication between R and RDBMSs

• r
• database
• interface

74.reaktoro / reaktoro

a unified framework for modeling chemically reactive systems

• chemical-equilibrium
• chemical-kinetics
• reactive-transport
• chemical-reactions
• geochemical
• geochemical-modeling

75.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

76.thery / coqprime

Prime numbers for Coq

• coq
• theorem-proving
• elliptic-curves
• prime-numbers
• pocklington-certificate

77.php-amqplib / php-amqplib

The most widely used PHP client for RabbitMQ

• php
• amqp
• rabbitmq
• messaging
• php-amqplib
• hacktoberfest

78.man-group / arctic

High performance datastore for time series and tick data

• tickstore
• mongodb
• pandas
• arctic
• timeseries
• timeseries-database
• +2 more

79.papyros / qml-material

:book: Material Design implemented in QtQuick

80.nhibernate / nhibernate-core

NHibernate Object Relational Mapper

• nhibernate
• c-sharp
• nhibernate-developers
• linq
• orm
• dotnet
• +5 more

81.kmuto / review

Re:VIEW is flexible document format/conversion system

82.hyperrealm / libconfig

C/C++ Library for Processing Structured Configuration Files

83.libcheck / check

A unit testing framework for C

84.jekyll / classifier-reborn

A general classifier module to allow Bayesian and other types of classifications. A fork of cardmagic/classifier.

• ruby
• rubyml
• bayesian-classifier

85.spatial-go / geoos

A library provides spatial data and geometric algorithms

• geometry-library
• gis
• geospatial
• golang

86.oaubert / python-vlc

Python vlc bindings

87.amosavian / AMSMB2

Swift framework to connect SMB2/3 shares

• swift
• ios
• smb
• smb2
• smb3

88.risoflora / brookframework

Microframework which helps to develop web Pascal applications.

• http
• iot
• pcre
• tls
• embedded
• delphi
• +4 more

89.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.

90.stb-tester / stb-tester

Automated Testing for Set-Top Boxes and Smart TVs

• python
• test-automation
• set-top-box
• remote-control
• gstreamer
• lirc
• +14 more

91.bonitasoft / bonita-engine

Deploy, execute, manage process-based applications made with Bonita studio or through Engine APIs

• bpm
• bpmn
• engine
• java
• bpm-engine
• subtree
• +3 more

92.GNOME / pygobject

Read-only mirror of https://gitlab.gnome.org/GNOME/pygobject

93.vlisivka / bash-modules

Useful modules for bash

94.affeldt-aist / monae

Monadic effects and equational reasoning in Rocq

• monads
• monad-transformers
• probabilistic-programming
• nondeterminism
• mathcomp
• ssreflect
• +2 more

95.Wolfyxon / lover

Command line cross platform builder and runner for Love2D projects

• build-system
• build-tool
• love
• love2d
• lua
• cross-platform
• +1 more