Todos os repositórios

Uma coleção de componentes de interface de IA lindamente projetados que você pode copiar e colar em seus aplicativos. Acessível. Personalizável. Código Aberto.

Fontes canônicas para o sistema de demonstração de teoremas HOL4. O branch develop é onde ocorre o "desenvolvimento principal"; quando o develop passa em nossos testes de regressão, o master é mesclado para atualização.

Habilidade de descoberta de trabalhos de meio período confiáveis na era da IA + verificação antifraude: inferência de sinal de demanda + verificação de validade em tempo real + rubrica antifraude + loop de calibração personalizada

🎨 Biblioteca de seleção de cores Kotlin Multiplatform para obter cores de qualquer imagem tocando na cor desejada.

Um guia completo de modding para iOS, do original ao jailbreak.

mangos é uma implementação pura em Golang dos "Scalability Protocols" do nanomsg

Descrever a expressão regular sob o cursor

Resumo de ferramentas online gratuitas de remoção de marca d'água por IA: remova marcas d'água de imagens e vídeos com um clique

Ferramenta para desbloquear o bootloader e habilitar acesso Root em Windows Phones

LibreCuts é um editor de vídeo gratuito e de código aberto para Android que prioriza a simplicidade e a eficiência.

Gateway Exchange e Office 365 DavMail POP/IMAP/SMTP/CalDAV/CardDAV/LDAP - Sincronizado com o repositório principal do subversion em

📕 Editor visual H5, com suporte para adição de imagens/texto/formas, e recursos como camadas, guias, réguas, alinhamento magnético automático e muito mais

SDK JavaScript para TON (The Open Network)

Alguns pequenos projetos de aprendizado em Rust

O Big Brother V6.0 é uma plataforma OSINT armada que inclui enumeração de nomes de usuário (mais de 473 plataformas), inteligência visual de vetor quádruplo, rastreamento Sky Radar, análise de carteiras criptográficas, inteligência SSL, reconstrução de pegada digital, extração EXIF, dorking avançado e reconhecimento de rede.

Compondo NSAttributedString com sintaxe estilo SwiftUI

Escale suas vulnerabilidades SSRF em ambientes de nuvem modernos. O `surf` permite filtrar uma lista de hosts, retornando uma lista de candidatos viáveis a SSRF.

Uma biblioteca para criar vetores de controle RepE

Gõ Nhanh - Um método de entrada em vietnamita moderno e de alto desempenho para macOS.

Ferramentas de transporte ótimo implementadas com o framework JAX para resolver problemas de correspondência em larga escala de qualquer tipo.

Previsão hierárquica probabilística 👑 com métodos estatísticos e econométricos.

Este documento visa ajudar você a obter um start_macro simples, porém poderoso, para sua impressora voron!

Uma plataforma completa de engenharia reversa baseada no navegador construída sobre o Rizin, rodando inteiramente no lado do cliente via WebAssembly.

[AAAI 2025] Códigos oficiais de "ResAdapter: Domain Consistent Resolution Adapter for Diffusion Models".

Um modelo de plugin de áudio JUCE. JUCE 8, Catch2, Pluginval, notarização para macOS, Azure Trusted Signing, Github Actions

Resolva o Cubo de Rubik em menos de 19 movimentos em média com Python.

Mais de 1000 flashcards para aprender Rust, SQLite, Lua, C, Godot ou Wolfram Language a partir de princípios fundamentais. Escritos em markdown com script para convertê-los em baralhos do Anki ou arquivos PDF.

📁 Uma proposta para o diretório .config/.

Um parser de CSV mais rápido em 5KB (min)

Cliente PHP para Meilisearch