https://github.com/rurban/ctl

My variant of the C Template Library

algorithms algorithms-and-data-structures c deque hashmap hashtable header-only iterator list priority-queue queue rbtree set stack stl-containers tree verified

Last synced: 14 May 2025

https://github.com/qoomon/actions--create-commit

GitHub Action to create signed commits from within a GitHub Action workflow

action commit git github-actions sign verified

Last synced: 14 Apr 2025

https://github.com/ef55/stainless-stlc

System F in Stainless

lambda-calculus stainless system-f verified

Last synced: 10 Feb 2025

https://github.com/alvarogzp/git-sign-commits

A proper setup for signing git commits with a gpg key

commit git github gpg gpg-agent gpg-key gpg2 pgp sign tag verified

Last synced: 02 Mar 2025

https://github.com/rutgerbrf/mininix-formalization

Coq Formalization for Mininix

coq interpreter nix verified

Last synced: 14 Apr 2025

https://github.com/cyberanchor/emailcompare

Yet Another comparing email services, focusing on privacy, security, and infrastructure. Features an interactive web interface, and JSON-based data.

anonymity comparison disroot email encryption infrastructure json jurisdiction mail mailfence onion privacy protonmail providers security service tor tutanota verified

Last synced: 05 May 2025

https://github.com/mabt-tech-com/web_debug

odoo addon /module to activate debug mod from web

odoo odoo-addons odoo17 verified

Last synced: 16 Mar 2025

https://github.com/mabt-tech-com/hia_restrict_user_menu

odoo odoo-addons odoo17 verified

Last synced: 16 Mar 2025

https://github.com/mabt-tech-com/odoo17_users_limits

Limit the number of users created by the admin or other user

odoo odoo-addons odoo-custom-addons odoo17 verified

Last synced: 16 Mar 2025

https://github.com/abdulqasem-bakhshi/verified-commits-github

This is a step by step process to set up verified commits for every commit you make on GitHub.

commit github tutorial verified

Last synced: 25 Apr 2025

https://github.com/midplayz/youtube-auto-unsubscriber

A tool to automatically unsubscribe from YouTube channels with ease. Manage your subscriptions effectively with this automation tool.

automatic automation subscription tool unsubscribe verified youtube

Last synced: 17 Mar 2025

https://github.com/eladrion/certpcspkr_linux

coq device driver linux linux-kernel synthesis verified

Last synced: 27 Mar 2025

https://github.com/mabt-tech-com/docker-odoo17

Odoo 17 Docker setup with PostgreSQL, Supervisor, and single volume for persistent data storage.

containerization docker docker-hub docker-image docker-volume odoo17 ubuntu-server verified vps

Last synced: 06 Apr 2025

https://github.com/mabt-tech-com/disable_debug_mode

This works on odoo 16 & odoo 17

odoo odoo-addons odoo16 odoo17 verified

Last synced: 16 Mar 2025