tools

A wide range of scripts for Windows interpreter (cmd.exe) and other interpreters such as bash shell (.sh), visual basic (.vbs), jscript (.js), python (.py), perl (.pl) and so on. Plus some set of standalone console utilities and tools aside other utilities and tools from cygwin, msys and mingw. • 📃 https://github.com/andry81-stats/contools--gh-stats 📃

Unity project on start help tool

power tools for git ⊙ https://gitc.id

RoboPigeon is a ruby dsl that helps you automate tasks in your ci pipelines. Specifically it has tools that help you work with merge requests, jira, gitlab, and slack to do approvals, tagging, and notifications.

GNATGPR is the swiss knife for GPR projects. It allows the user to query a GNAT GPR project file content, from the console or a dedicated Ada API

Mirror of Randall's Codex 📜

A repository of useful tools, scripts, and information for developing on the Celo ecosystem.

La page web de know-rmandie

🛡️ Le chiffrement contre la surveillance de masse globale

Bash library to enhance your terminal, and manage repositories + data-syncs.

Core matlab toolbox, analysis tools, and C++/Mex helper library.

https://tools.nese.dev/

Collezione di esercizi per i vari corsi

[Jekyll] EzAF homepage and catalog. http://ezaf.io

https://web-work.tools Resources for Independent Web-Workers: SEO, Publishing, Git, GitHub Pages, Indieweb, Ubuntu Linux, and Static Site Generators.

一個 說明文檔 編輯 工具

Docker containers for the stuff I need and you might find useful too.

Libre Graphics Meeting 2016: A quest for a Git visualizing tool for designers