Skip to content
View nunesgh's full-sized avatar

Highlights

  • Pro

Organizations

@inscrypt @theory-expertise @topete-research

Block or report nunesgh

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Internet search engine for text-oriented websites. Indexing the small, old and weird web.

HTML 1,561 42 Updated Nov 9, 2025

Examples for Caesar's deductive verification infrastructure for probabilistic programs

1 Updated Oct 13, 2025
JavaScript 3 Updated Nov 4, 2025

This repository is a mirror of https://git.openwrt.org/openwrt/openwrt.git It is for reference only and is not active for check-ins. We will continue to accept Pull Requests here. They will be merg…

C 24,432 11,722 Updated Nov 9, 2025

This repository is fork from openwrt official repo, we will update the latest tag and release GL.iNet firmware based on it.

C 329 97 Updated Oct 9, 2023

A simple to use Ollama autocompletion engine with options exposed and streaming functionality

TypeScript 139 31 Updated Apr 7, 2025

Deductive verification infrastructure for probabilistic programs

Rust 1 Updated Sep 24, 2025

Deductive verification infrastructure for probabilistic programs

Rust 25 11 Updated Oct 21, 2025

Easy access to IAB Tech Lab taxonomies, including Content, Audience and Ad Product

155 45 Updated Sep 23, 2025

Nextcloud extension to support WebDAV-Push on calendars/address books

PHP 81 1 Updated Sep 28, 2025

Review and audit all shares

JavaScript 13 2 Updated Nov 9, 2025

YunoHost apps catalog

Shell 243 171 Updated Nov 9, 2025

YunoHost is an operating system aiming to simplify as much as possible the administration of a server. This repository corresponds to the core code, written mostly in Python and Bash.

Python 2,707 325 Updated Nov 9, 2025

📁 💾 A tool to create a snapshot ( poor man's backup ) of a directory.

Python 22 4 Updated Jun 18, 2022

OpenID Connect App for Nextcloud

JavaScript 112 12 Updated Nov 8, 2025

OIDC connect user backend for Nextcloud

PHP 133 43 Updated Nov 7, 2025

A web framework for Rust.

Rust 25,480 1,613 Updated Oct 1, 2025

Waterfox for Android

JavaScript 203 15 Updated Nov 6, 2025

The official Waterfox 💧 source code repository

JavaScript 4,709 383 Updated Nov 6, 2025

⛔️ [DEPRECATED] Send moved to -> https://github.com/thunderbird/tbpro-add-on

TypeScript 111 2 Updated Jul 16, 2025

Invite others to grab times on your calendar. Choose a date. Make appointments as easy as it gets.

Python 393 15 Updated Nov 7, 2025

Malicious traffic detection system

Python 7,691 1,188 Updated Nov 9, 2025

Daily feed of bad IPs (with blacklist hit scores)

2,069 169 Updated Nov 9, 2025

IP blocklist extension for Ubuntu ufw firewall

Shell 187 29 Updated Mar 21, 2025

Nix, the purely functional package manager

C++ 15,411 1,753 Updated Nov 9, 2025
Jupyter Notebook 2 Updated May 26, 2025

Main repository of SageMath

Python 2,066 688 Updated Oct 27, 2025

CVE cache of the official CVE List in CVE JSON 5 format

2,309 529 Updated Nov 9, 2025

⚡️⚡️⚡️ Self-hosted collaborative bookmark manager to collect, read, annotate, and fully preserve what matters, all in one place.

TypeScript 15,464 600 Updated Nov 8, 2025
Next