Tags populares：
Virtualização segurança DNS verificação formal análise de alcance IA erros do compilador conflito de macro extensão web framework de desenvolvimento Gráficos de Bitmap Todos os tags

Beam: Ferramenta de transferência de arquivos e pipes baseada em SSH

2025-01-04
Beam: Ferramenta de transferência de arquivos e pipes baseada em SSH

Beam é uma ferramenta que usa o protocolo SSH para transferir arquivos e pipes, requerendo apenas um cliente SSH; nenhuma instalação binária é necessária. Ele suporta transferência de pipes, oferece alta segurança com autenticação por chave pública e usa comandos SSH simples para enviar e receber dados. Nomes de canais aleatórios podem melhorar a segurança. Embora o servidor Beam esteja localizado na Alemanha, as velocidades de transferência podem ser limitadas e a criptografia de ponta a ponta não é suportada (os dados são descriptografados brevemente no servidor), sua natureza leve e a hospedagem simples o tornam uma solução conveniente para transferência de arquivos.

Leia mais
(github.com)
Desenvolvimento transferência de arquivos transferência de pipes

Sintaxe Transcendental: Construindo Abstrações Lógicas a partir de uma Linguagem de Baixo Nível

2025-01-04
Sintaxe Transcendental: Construindo Abstrações Lógicas a partir de uma Linguagem de Baixo Nível

Este projeto GitHub implementa a 'Sintaxe Transcendental' de Jean-Yves Girard, um método para construir abstrações lógicas a partir de uma linguagem de baixo nível, agnóstica à lógica. Ele usa uma linguagem base chamada 'resolução estelar', onde os objetos elementares (programas) são 'constelações'. Essas constelações são usadas em uma linguagem de nível superior, 'Stellogen' (uma linguagem de metaprogramação para constelações), para definir provas e fórmulas. O projeto está em desenvolvimento, com o guia atualmente disponível apenas em francês.

Leia mais
(github.com)
Desenvolvimento lógica metaprogramação

Ferramenta de compilação e empacotamento JavaScript/TypeScript ultrarrápida em JVM: swc4j

2025-01-04
Ferramenta de compilação e empacotamento JavaScript/TypeScript ultrarrápida em JVM: swc4j

swc4j é uma ferramenta de compilação e empacotamento JavaScript e TypeScript ultrarrápida na JVM. Faz parte do portfólio Javet, processando código JavaScript e TypeScript antes da execução em Node.js ou V8 na JVM. Recursos incluem análise AST, suporte a plugins, transformações de código, minificação, múltiplas versões de destino ES, mapas de origem e sanitização de código robusta (restrições de palavras-chave, proteção de objetos, etc.). Facilmente integrado a projetos via Maven ou Gradle, o swc4j oferece um fluxo de trabalho simplificado para compilação e empacotamento.

Leia mais
(github.com)
Desenvolvimento

PoC de Assinador Falso do F-Droid: Contornando a Fixação de Certificado

2025-01-04
PoC de Assinador Falso do F-Droid: Contornando a Fixação de Certificado

Este projeto é uma prova de conceito que demonstra vulnerabilidades na verificação de assinatura de APKs do F-Droid. Ataques podem explorar essas falhas para falsificar assinaturas, contornando o mecanismo de fixação de certificado do F-Droid e permitindo que aplicativos maliciosos se façam passar por legítimos. As vulnerabilidades decorrem de inconsistências em como o F-Droid lida com a ordem dos certificados e a verificação dentro do bloco de assinatura de APK. Manipulando essas inconsistências, os atacantes podem injetar informações de certificados falsos, enganando o F-Droid a aceitá-los como válidos. Embora correções tenham sido propostas e implementadas, novas vulnerabilidades e métodos de contorno foram descobertos, destacando os desafios contínuos na segurança da verificação de assinatura de APKs.

Leia mais
(github.com)
Desenvolvimento Segurança Android Assinatura APK Vulnerabilidade F-Droid

Renderização de terreno em menos de 20 linhas de código: um renascimento do motor Voxel Space

2025-01-03
Renderização de terreno em menos de 20 linhas de código: um renascimento do motor Voxel Space

Este projeto recria o algoritmo de renderização de terreno Voxel Space usado no jogo Comanche de 1992. O algoritmo, implementado em menos de 20 linhas de código, utiliza mapas de altura e cor para renderizar terrenos usando uma abordagem semelhante ao ray casting. O artigo detalha o algoritmo, oferecendo estratégias de otimização como renderização de trás para frente e da frente para trás, e ajustes de nível de detalhe para melhorar o desempenho. O projeto é open-source, incluindo código e uma demonstração web executável.

Leia mais
(github.com)
Jogos Renderização de gráficos

SQLFlow: Processamento de Stream com DuckDB e SQL

2025-01-03
SQLFlow: Processamento de Stream com DuckDB e SQL

SQLFlow é um motor de processamento de stream alimentado pelo DuckDB, permitindo operações baseadas em SQL em dados em tempo real de fontes como Kafka e webhooks. Ele suporta transformações de dados, enriquecimento, agregação, agregações de janela móvel e saídas para destinos como Kafka, bancos de dados ou arquivos locais. O SQLFlow possui alta taxa de transferência, manipulando dezenas de milhares de mensagens por segundo, e suporta serialização e codificação personalizadas. A implantação do Docker está readily available para configuração fácil.

Leia mais
(github.com)
Desenvolvimento processamento de stream

Org-Supertag: Aprimorando o Sistema de Tags do Org-mode

2025-01-03
Org-Supertag: Aprimorando o Sistema de Tags do Org-mode

Org-Supertag é um plugin Emacs para Org-mode que aprimora a funcionalidade de tags, permitindo que tags não apenas atribuam atributos a nós, mas também os manipulem diretamente, para um gerenciamento de conhecimento mais flexível. Inspirado no Tana, ele é não intrusivo e coexiste perfeitamente com os recursos existentes do Org-mode. Introduz 'super tags' que definem a estrutura e o comportamento dos nós, com suporte para sistemas de campos e comportamentos para propriedades estruturadas e ações automatizadas. Seu sistema de consulta permite pesquisa unificada em nós, tags e campos, com várias opções de exportação.

Leia mais
(github.com)
Desenvolvimento Gerenciamento de Conhecimento

PWCT2: Programação Visual sem Codificação

2025-01-03
PWCT2: Programação Visual sem Codificação

PWCT2 é uma linguagem de programação visual de segunda geração escrita em Ring, projetada para programação visual agradável e visualizações interativas. Ela suporta importação e exportação de código Ring e roda em Windows, Linux e macOS. Disponível na Steam, o PWCT2 possui uma ampla gama de recursos que cobrem desenvolvimento web, desenvolvimento de jogos 2D e muito mais, juntamente com extensos vídeos tutoriais e documentação.

Leia mais
(github.com)
Desenvolvimento linguagem Ring

Teclado Ergonômico de Código Aberto: Ergo S-1 - Construa Seu Próprio Conforto

2025-01-03
Teclado Ergonômico de Código Aberto: Ergo S-1 - Construa Seu Próprio Conforto

O Ergo S-1 é um teclado ergonômico, sem fio e dividido, de código aberto, compatível com switches Cherry/Gateron e keycaps Cherry/OEM/DCS, usando o firmware ZMK. Projetado durante um período de desemprego, este teclado prioriza a facilidade de montagem DIY, tornando-o acessível a um público maior. O projeto fornece instruções de montagem completas, lista de materiais e arquivos de design Fusion 360, além de suporte para layouts de teclado personalizados. Embora kits completos ainda não estejam disponíveis, teclados pré-montados são vendidos na Etsy, e o criador está trabalhando ativamente para criar kits mais fáceis de montar.

Leia mais
(github.com)
Hardware teclado ergonômico

Gource: Visualizando seu repositório de código com animações impressionantes

2025-01-03
Gource: Visualizando seu repositório de código com animações impressionantes

Gource é um software de código aberto que visualiza o histórico do seu repositório de controle de versão de uma forma animada e impressionante. A raiz do repositório fica no centro, os diretórios são ramos, os arquivos são folhas e os desenvolvedores se tornam personagens dinâmicos que se movem pela árvore de código, com suas contribuições mostradas em trilhas animadas. O Gource usa renderização OpenGL e requer uma placa de vídeo com aceleração 3D. Ele suporta vários sistemas de controle de versão, como Git, SVN, Mercurial e oferece parâmetros extensos para personalização, permitindo que você gere facilmente visualizações impressionantes do histórico do seu repositório de código.

Leia mais
(github.com)
Desenvolvimento visualização de código

Controle seu Roku com gestos: Um projeto Python e MediaPipe

2025-01-03
Controle seu Roku com gestos: Um projeto Python e MediaPipe

O HandiRokuRemote permite controlar seu Roku usando gestos! Este projeto Python usa o MediaPipe do Google para rastreamento de mão em tempo real, traduzindo gestos em comandos enviados ao seu Roku através de seu Protocolo de Controle Externo (ECP). A interface intuitiva possui detecção automática de dispositivos, configurações personalizáveis (modo de depuração, inicialização automática, visualização de esqueleto) e uma variedade de gestos suportados para navegação e controle de mídia. Embora existam limitações atuais quanto à distância de detecção de mão, o desenvolvimento futuro visa expandir a compatibilidade para outras Smart TVs e dispositivos habilitados para HDMI-CEC.

Leia mais
(github.com)
Desenvolvimento

Doações Incríveis: Uma Lista Curada de Projetos FLOSS para Apoiar

2025-01-03
Doações Incríveis: Uma Lista Curada de Projetos FLOSS para Apoiar

Este repositório GitHub, awesome-donations, é uma lista curada de opções de doação para inúmeros projetos de Software Livre e de Código Aberto (FLOSS). Ele fornece acesso fácil para apoiar projetos que vão desde grandes fundações como a Linux Foundation e a Mozilla Foundation até projetos individuais como LibreOffice, GIMP e QEMU. Seja você prefere PayPal, cartões de crédito ou outros métodos, você pode contribuir facilmente para a comunidade de código aberto e ajudar a garantir o desenvolvimento contínuo de softwares livres essenciais.

Leia mais
(github.com)
Desenvolvimento doações

XiangShan: Um processador RISC-V de alto desempenho de código aberto

2025-01-02
XiangShan: Um processador RISC-V de alto desempenho de código aberto

XiangShan é um projeto de processador RISC-V de alto desempenho e código aberto, desenvolvido em conjunto pelo Instituto de Tecnologia de Computação da Academia Chinesa de Ciências e pelo Laboratório Peng Cheng. Várias versões estáveis foram lançadas, juntamente com documentação abrangente, tutoriais e visões gerais da microarquitetura. A versão mais recente, Kunminghu, está em desenvolvimento e suporta várias ferramentas de simulação e IDEs. XiangShan visa avançar a tecnologia de processadores RISC-V, empregando uma metodologia de desenvolvimento ágil, e seu trabalho foi publicado em artigos revisados por pares, recebendo reconhecimento internacional.

Leia mais
(github.com)
Hardware Processador de código aberto

Connet: Um Proxy Reverso P2P com Traversal NAT

2025-01-02
Connet: Um Proxy Reverso P2P com Traversal NAT

Connet é um proxy reverso peer-to-peer para travessia NAT, inspirado em ngrok, frp e rathole. Ele permite que você exponha serviços locais a outros dispositivos na internet sem precisar de um endereço IP público. Diferente de seus predecessores, os clientes Connet rodam tanto no provedor de serviço (destino) quanto no solicitante de serviço (origem), garantindo comunicação privada e eficiente. Atualmente em alfa, o Connet suporta conexões diretas e de servidor de retransmissão, criptografando toda a comunicação com TLS.

Leia mais
(github.com)
Desenvolvimento proxy reverso travessia NAT

HtmlSlice: Gerador de Fragmentos HTML Reutilizáveis para Ruby

2025-01-02
HtmlSlice: Gerador de Fragmentos HTML Reutilizáveis para Ruby

HtmlSlice é uma gem Ruby que permite que classes Ruby gerem dinamicamente fragmentos HTML reutilizáveis. Ele aborda limitações de geradores HTML existentes, como problemas de escopo de instância do Markaby. HtmlSlice suporta uma ampla gama de tags HTML, incluindo tags vazias, e escapa com segurança o conteúdo HTML para evitar vulnerabilidades XSS. É leve e fácil de usar, adequado para gerar HTML de aplicativos inteiros ou apenas partes HTML. A integração com o Rails também é demonstrada.

Leia mais
(github.com)
Desenvolvimento

mitmproxy2swagger: Engenharia Reversa Automática de APIs REST

2025-01-02
mitmproxy2swagger: Engenharia Reversa Automática de APIs REST

O mitmproxy2swagger é uma ferramenta poderosa que converte automaticamente o tráfego capturado pelo mitmproxy em especificações OpenAPI 3.0. Isso permite que você faça engenharia reversa automática de APIs REST simplesmente executando seus aplicativos e capturando o tráfego. Ele suporta arquivos de fluxo mitmproxy e arquivos HAR exportados das ferramentas de desenvolvedor do navegador. Para usá-lo, capture o tráfego com o mitmproxy, salve-o como um arquivo e, em seguida, execute o mitmproxy2swagger, especificando o arquivo de entrada, o arquivo de saída e o prefixo da API. A primeira execução gera um esquema inicial que requer edição manual para remover caminhos indesejados. Uma segunda execução gera a especificação OpenAPI completa com base no esquema editado, opcionalmente incluindo dados de exemplo.

Leia mais
(github.com)
Desenvolvimento

Zasper: Um IDE supercarregado para Ciência de Dados

2025-01-02
Zasper: Um IDE supercarregado para Ciência de Dados

Zasper é um novo IDE desenvolvido do zero para ciência de dados, oferecendo grande concorrência, pegada de memória mínima e velocidade excepcional. É perfeitamente adequado para aplicativos de dados estilo REPL, sendo os notebooks Jupyter um exemplo. Atualmente, o Zasper tem suporte total para Mac e suporte limitado para Linux. Os benchmarks mostram que ele usa 75% menos RAM e CPU do que o JupyterLab. Criado por Prasun Anand, visa ser uma solução gratuita e de código aberto que roda localmente, maximizando o poder dos computadores modernos.

Leia mais
(github.com)
Desenvolvimento

Kotaemon: Ferramenta RAG de código aberto para conversar com seus documentos

2025-01-02
Kotaemon: Ferramenta RAG de código aberto para conversar com seus documentos

Kotaemon é uma ferramenta de código aberto baseada em Geração Aumentada por Recuperação (RAG) que permite conversar com seus próprios documentos. Possui uma interface limpa e amigável, suportando vários Modelos de Linguagem Grandes (LLMs), como OpenAI, Azure OpenAI e LLMs locais. Seja você um usuário final realizando QA de documentos ou um desenvolvedor construindo seu próprio pipeline RAG, o Kotaemon fornece ferramentas convenientes e uma interface de usuário personalizável. Ele suporta vários tipos de arquivos e oferece recursos avançados, como QA multimodal, raciocínio complexo e configurações personalizáveis.

Leia mais
(github.com)
Desenvolvimento

Mercure: Solução de comunicação em tempo real rápida e confiável

2025-01-02
Mercure: Solução de comunicação em tempo real rápida e confiável

Mercure é uma solução aberta, fácil, rápida, confiável e eficiente em termos de bateria para enviar atualizações de dados para navegadores da web e outros clientes HTTP. É ideal para publicar atualizações assíncronas e em tempo real de recursos servidos por APIs da web, alimentando aplicativos web e móveis reativos. O protocolo e uma implementação Go pronta para produção, juntamente com bibliotecas e uma imagem Docker, estão disponíveis no GitHub. Uma versão gerenciada e altamente escalonável também é oferecida em Mercure.rocks.

Leia mais
(github.com)
Desenvolvimento comunicação em tempo real API da web

DeepSeek-VL2: Modelos de Linguagem e Visão Baseados em Mistura de Especialistas

2025-01-01
DeepSeek-VL2: Modelos de Linguagem e Visão Baseados em Mistura de Especialistas

DeepSeek-VL2 é uma série avançada de grandes modelos de linguagem e visão baseados em Mistura de Especialistas (MoE) que melhoram significativamente seu antecessor. Ele se destaca em várias tarefas, incluindo resposta a perguntas visuais, reconhecimento óptico de caracteres e compreensão de documentos/tabelas/gráficos. A série é composta por três variantes: DeepSeek-VL2-Tiny, DeepSeek-VL2-Small e DeepSeek-VL2, com 1,0B, 2,8B e 4,5B de parâmetros ativados, respectivamente. DeepSeek-VL2 atinge desempenho competitivo ou de ponta com parâmetros ativados semelhantes ou menores em comparação com modelos de código aberto existentes. O projeto é de código aberto, oferecendo downloads de modelos, guias de início rápido e exemplos de demonstração.

Leia mais
(github.com)
IA Modelo de Linguagem e Visão Mistura de Especialistas Compreensão Multimodal

ShredOS: Apagador de Disco Seguro para Todos os Processadores

2025-01-01
ShredOS: Apagador de Disco Seguro para Todos os Processadores

ShredOS é uma distribuição Linux leve e inicializável, construída com Buildroot, projetada para a exclusão segura de discos. Ele apresenta o nwipe, uma ferramenta poderosa que oferece vários métodos de limpeza, incluindo conformidade com o DoD 5220.22-M, e suporta processadores de 32 e 64 bits. Inicializável a partir de USB ou CD, o ShredOS não requer instalação e fornece uma interface amigável. Ele também inclui utilitários como smartmontools e hdparm para diagnóstico e manutenção de disco.

Leia mais
(github.com)
Desenvolvimento apagamento de disco segurança de dados

Modelos de Conceito Grandes do Facebook: Modelagem de Linguagem no Espaço de Representação de Frases

2025-01-01
Modelos de Conceito Grandes do Facebook: Modelagem de Linguagem no Espaço de Representação de Frases

A pesquisa do Facebook apresenta os Modelos de Conceito Grandes (LCMs), uma nova abordagem para modelagem de linguagem que opera em um espaço de representação de frases. Usando o espaço de incorporação SONAR, os LCMs suportam até 200 idiomas de texto e 57 idiomas de fala. Tratando frases como 'conceitos', os LCMs empregam um modelo sequência-a-sequência para previsão de frases autorregressiva. O projeto fornece receitas para treinar e ajustar modelos de 1,6B de parâmetros, explorando regressão MSE e geração baseada em difusão.

Leia mais
(github.com)
IA Representação de Frases Multilíngue

Tirreno: Análise de Usuários de Segurança de Código Aberto para Melhor Proteção da Plataforma

2025-01-01
Tirreno: Análise de Usuários de Segurança de Código Aberto para Melhor Proteção da Plataforma

Tirreno é um software de análise de usuários de segurança de código aberto projetado para monitorar várias plataformas online, incluindo sites, aplicativos, SaaS, comunidades e dispositivos IoT. Ele detecta e defende contra assunções de conta, bots maliciosos e vulnerabilidades comuns decorrentes do comportamento do usuário. Construído com PHP e PostgreSQL, o Tirreno é fácil de instalar e usar, fornecendo análises em tempo real. Uma assinatura paga aprimora suas capacidades antifraude, oferecendo verificação adicional de endereços IP, e-mails e números de telefone. Desenvolvido pela Tirreno Technologies Sàrl, o Tirreno prioriza a privacidade e a segurança de dados; seu código é de código aberto, mas a marca comercial não é.

Leia mais
(github.com)
Desenvolvimento análise de usuários

Projeto de código aberto Arnis: Replicando locais do mundo real no Minecraft

2024-12-31
Projeto de código aberto Arnis: Replicando locais do mundo real no Minecraft

Arnis é um projeto de código aberto escrito em Rust que gera qualquer local escolhido do mundo real na edição Java do Minecraft com alto nível de detalhe. Aproveitando dados geospaciais do OpenStreetMap e o poder do Rust, o Arnis cria eficientemente mundos Minecraft complexos e precisos, refletindo a geografia e a arquitetura do mundo real. Os usuários selecionam uma área, e o Arnis processa os dados para gerar um mundo Minecraft centrado nas coordenadas 0,0,0. Originalmente desenvolvido em Python, foi portado para Rust para melhor desempenho.

Leia mais
(github.com)
Jogos Geração de mapas

Agentarium: Framework de código aberto para simulações de agentes de IA

2024-12-31
Agentarium: Framework de código aberto para simulações de agentes de IA

Agentarium é uma poderosa estrutura Python de código aberto para criar e gerenciar facilmente simulações preenchidas com agentes alimentados por IA. Ele oferece uma plataforma flexível e intuitiva para projetar ambientes interativos complexos, onde os agentes podem agir, aprender e evoluir. Recursos importantes incluem gerenciamento avançado de agentes, gerenciamento robusto de interação, um sistema de ponto de verificação para salvar e restaurar estados, geração de dados sintéticos e uma arquitetura extensível. Os ambientes são configurados usando arquivos YAML.

Leia mais
(github.com)
IA estrutura de simulação

Ferramenta de Congelamento de Classes Core do Ruby: Ruby Refrigerator

2024-12-31
Ferramenta de Congelamento de Classes Core do Ruby: Ruby Refrigerator

O Ruby Refrigerator é uma ferramenta que congela todas as classes e módulos core do Ruby, prevenindo modificações inesperadas em classes core em tempo de execução. Ele fornece um método `freeze_core` para congelar classes core e um método `check_require` para verificar bibliotecas quanto a modificações em classes core. `check_require` suporta opções para pré-definir módulos e classes, excluir classes específicas e especificar dependências. Uma ferramenta de linha de comando, `bin/check_require`, também é fornecida para facilitar o uso. Esta ferramenta é incrivelmente útil para garantir a estabilidade do código em ambientes de produção e teste.

Leia mais
(github.com)
Desenvolvimento congelamento classes core

Engenharia Reversa da Placa de Conectividade Duco: Integração com o Home Assistant

2024-12-31
Engenharia Reversa da Placa de Conectividade Duco: Integração com o Home Assistant

Frustrado com as opções limitadas de controle de seu sistema de ventilação DucoBox (apenas quatro modos via um simples botão), o autor decidiu fazer engenharia reversa na placa de conectividade Duco oficial, que é essencialmente um ESP32. Usando um analisador lógico e informações do site da Duco, o autor analisou o protocolo de comunicação entre a placa e o sistema de ventilação. Descobriu-se que não era Modbus, mas um protocolo personalizado. Após decifrar o protocolo, o autor criou um componente ESPhome, permitindo a integração perfeita com o Home Assistant. Isso aprimora significativamente o controle e permite a leitura de dados do sensor de CO2 e outras informações.

Leia mais
(github.com)
Hardware

Tipos Soma e Switches Minimalistas para Lua: lua-match

2024-12-31
Tipos Soma e Switches Minimalistas para Lua: lua-match

lua-match é uma biblioteca Lua minimalista que fornece tipos soma e funcionalidade de switch. Ela utiliza uma função de marcação para uma maneira limpa e eficiente de lidar com vários tipos de dados e ramificações condicionais. Com uma simples função de marcação e uma tabela switch, você pode facilmente implementar um comportamento semelhante ao tipo soma e correspondência de padrões, simplificando significativamente seu código Lua. A biblioteca é de código aberto e usa a licença MIT.

Leia mais
(github.com)
Desenvolvimento Tipos Soma

Panel Graphic Walker: Exploração interativa de dados com HoloViz Panel

2024-12-30
Panel Graphic Walker: Exploração interativa de dados com HoloViz Panel

O Panel Graphic Walker é uma biblioteca Python que integra o poder do Graphic Walker ao HoloViz Panel para exploração interativa de dados em Jupyter Notebooks e aplicativos Panel. Ele oferece uma interface semelhante ao Tableau, permitindo que os usuários criem visualizações e tabelas dinâmicas rapidamente com código mínimo. Ele suporta vários backends de dados e renderizadores e pode lidar com grandes conjuntos de dados usando computação do lado do servidor. O projeto está em seus estágios iniciais; recomenda-se fixar uma versão específica.

Leia mais
(github.com)
Desenvolvimento exploração interativa de dados

curl-impersonate atualizado: recursos aprimorados de imitação de navegador

2024-12-30
curl-impersonate atualizado: recursos aprimorados de imitação de navegador

O projeto lexiforest/curl-impersonate é um fork ativo do curl-impersonate, aprimorando as capacidades de imitação de navegador e oferecendo suporte a mais versões e destinos de build. Este projeto modifica o curl para imitar o comportamento de navegadores principais (Chrome, Edge, Safari e Firefox) durante as conexões TLS e HTTP, contornando restrições de sites baseadas em impressão digital. As atualizações incluem suporte para ECH, compressão ZSTD, curva X25519Kyber768 e mais versões de navegador, fornecendo ferramentas de linha de comando e funções de biblioteca aprimoradas.

Leia mais
(github.com)
Desenvolvimento imitação de navegador
1 2 … 43 44 45 47 49 50 51