Popular projects | Page 171

forkgram/tdesktop on GitHub

Fork of Telegram Desktop messaging app.

fork

forkgram

messenger

telegram-desktop

Language:

C++

GTModpackTeam/GregTech-Expert-2 on GitHub

Change the recipe of the other mod to greg recipe for 1.12.2.

https://www.curseforge.com/minecraft/modpacks/gregtech-expert-2

curseforge

gregtech

minecraft

Language:

ZenScript

GTModpackTeam/GTExpert-Core on GitHub

Mod to increase QoL of GTCEu.

Language:

Java

conan-io/cmake-conan on GitHub

CMake wrapper for conan C and C++ package manager

c

cmake

cmake-wrapper

conan

cpp

package-manager

Languages:

Python

CMake

helm/teleport-agent-kube/teleport-plugin-event-handler on Artifact Hub

A Helm chart for Teleport Event Handler Plugin

3liz/lizmap-web-client on GitHub

Transfer a QGIS project on a server, Lizmap is providing the web interface to browse it

https://www.lizmap.com

javascript

lizmap

openlayers

php

qgis

qgis-server

Languages:

JavaScript

PHP

monaco-editor on Node.js Yarn

A browser based code editor

https://github.com/microsoft/monaco-editor

starkillerOG/reolink_aio on GitHub

Reolink NVR/camera API PyPI package

Language:

Python

beercss/beercss on GitHub

Build material design interfaces in record time... without stress for devs... 🍺💛

https://www.beercss.com

css

design-system

html

material

material-3

material-3-design

material-3-expressive

material-design-3

material-you

semantic-html

web

Languages:

Vue

CSS

TypeScript

eneam/mboxviewer on GitHub

A small but powerfull app for viewing MBOX files

Language:

C++

ansible-community/ansible-vault on GitHub

🔑 Ansible role for Hashicorp Vault

ansible-role

consul

devops

hacktoberfest

hashicorp

vagrant

vault

vault-enterprise

vault-hsm

vault-key

vault-tls

virtualbox

Languages:

Jinja

Shell

rocq-prover/rocq on GitHub

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.

https://rocq-prover.org

coq

dependent-types

proof-assistant

theorem-proving

Languages:

OCaml

Rocq Prover