Desenvolvedor Full Stack na LOFRANO TECNOLOGIA.
Transformo necessidades de negócio em software sob medida, agentes de IA e processos conectados. Na LOFRANO TECNOLOGIA, desenvolvemos sistemas web, aplicações e integrações para empresas, da experiência de uso à implantação.
Conheça as soluções da LOFRANO TECNOLOGIA →
Dados consultados na API do GitHub; a data da última atualização aparece nos painéis. As linguagens representam volume de código público, não nível de domínio.
Mais tecnologias e ferramentas com que trabalho
- Front-end: TypeScript, React, Next.js, Vite e Tailwind CSS.
- Back-end e integrações: Node.js, Express, NestJS, APIs REST, webhooks e Stripe.
- Dados e infraestrutura: PostgreSQL, Supabase, Docker, Nginx e Google Cloud.
| Frente | Aplicações |
|---|---|
| Software sob medida | Sistemas web, portais para clientes, plataformas internas, MVPs e modernização de aplicações. |
| Inteligência artificial | Assistentes, consulta a documentos e agentes com fontes, permissões e critérios de avaliação definidos. |
| Automação de processos | Fluxos de aprovação, notificações, tarefas recorrentes e sincronização de dados. |
| Integração de sistemas | APIs e webhooks para conectar CRM, ferramentas de gestão e aplicações próprias. |
Uma aplicação de orquestração de agentes com servidor Node.js/Express e interface React de escritório pixelado. A edição pública reúne tarefas, salas, políticas de despacho e integrações opcionais.
Explorar o código do NexusOrchestrator →
A sede digital 3D da LOFRANO apresenta as áreas da software house e os estados compartilhados pelo NexusOrquestrator, com indicação de atualização da fonte.
Da ideia à primeira versão: como trabalhamos
- Conversar: você descreve a ideia e responde às perguntas para organizar objetivo, usuários e prioridades.
- Visualizar: explore modelos e aplicações demonstrativas. Se desejar, peça quatro prévias com IA, revisadas pela equipe antes do envio por e-mail.
- Construir: com escopo, prazo e investimento alinhados, o desenvolvimento avança por etapas e critérios de aceite.
- Evoluir: implantação, documentação e próximas entregas acompanham as necessidades do negócio.
A prévia ajuda a avaliar a solução. Engenharia, revisão e validação acompanham o desenvolvimento.
Explore o catálogo de projetos open source e ferramentas →
Consulte os commits e as evidências técnicas do portfólio →
| Projeto | O que experimentar | Abrir |
|---|---|---|
| GitHub Evidence Board | Inspecionar commits, horários e cobertura de CI de repositórios públicos. | Demo web |
| Freebusy Slot Studio | Encontrar horários comuns em cenários de disponibilidade explícitos. | Demo web |
| Schema Form Studio | Gerar formulários e inspecionar validações de um recorte de JSON Schema. | Demo web |
| Resumable Transfer Lab · C# | Retomar uma transferência HTTP com checkpoint, ETag e SHA-256 esperado. | Executar localmente |
| SQLite Migration Rehearsal Lab · Python | Ensaiar migrações up/down/up em cópias do banco e conferir dados. | Executar localmente |
| MQTT Session Recovery Lab · Go | Reproduzir recuperação de sessão e Last Will com Mosquitto isolado. | Executar localmente |
| Demo | O que experimentar | Código |
|---|---|---|
| Configurador de móveis | Editar dimensões, selecionar painéis e explorar a montagem em vista explodida. | GitHub |
| Distribuição de volumes | Posicionar caixas em milímetros, girar e conferir sobreposições. | GitHub |
| Transformações 3D | Editar hierarquias de coordenadas, inspecionar matrizes e comparar poses. | GitHub |
As demos usam cenários sintéticos. Seu código e arquivos publicados foram conferidos; a revisão visual em navegador permanece pendente. Veja o alcance da validação em EVIDENCIAS.md.
Ver os 98 projetos desta série
Publicado · desenvolvimento 0.1. Esta primeira leva reúne 10 projetos abertos com documentação bilíngue, testes e demos locais. Os links de Actions permitem conferir o status atual da CI de cada repositório.
| Projeto | Linguagem | Finalidade | Consulta |
|---|---|---|---|
| Health Probe CLI | Go | Confere um GET HTTP, status esperado, latência e limite de resposta. | Docs · Actions |
| Webhook Signature Lab | TypeScript | Assina e verifica corpos brutos com HMAC e tempo explícito. | Docs · Actions |
| NDJSON Redact | Rust | Substitui campos de NDJSON por JSON Pointer, com limites e diagnósticos sem valores. | Docs · Actions |
| Approval Flow Core | TypeScript | Organiza transições de aprovação, versão esperada e histórico reconstruível. | Docs · Actions |
| OpenAPI Example Check | TypeScript | Confere exemplos JSON no recorte documentado de OpenAPI 3.1.1, offline. | Docs · Actions |
| Retrieval Eval Kit | TypeScript | Avalia rankings rotulados com Recall@K, MRR@K, fonte e abstenção. | Docs · Actions |
| Tenant Policy Lab | SQL · PostgreSQL | Demonstra RLS por tenant com papéis distintos, dados fictícios e testes negativos. | Docs · Actions |
| Cursor Page Kit | PHP | Demonstra paginação por chave composta, cursor validado e snapshot SQLite. | Docs · Actions |
| Static Link Audit | Ruby | Confere destinos e fragmentos de links em uma exportação HTML local. | Docs · Actions |
| Business Day Calendar | Java | Calcula datas úteis com fins de semana e fechamentos explicitamente configurados. | Docs · Actions |
Publicado · desenvolvimento 0.1. Mais oito ferramentas com contratos explícitos, documentação em português e inglês, testes e demos reproduzíveis. Confira a execução atual nos links de Actions.
| Projeto | Linguagem | Finalidade | Consulta |
|---|---|---|---|
| Trace Waterfall SVG | C++ | Transforma eventos de trace em SVG com faixas, tempos e prévia reproduzível. | Docs · Actions |
| HAR Budget Audit | Dart | Audita requisições, bytes conhecidos e latência de HAR com resultado explícito quando faltam dados. | Docs · Actions |
| Test Shard Plan | Python | Distribui testes por duração estimada e grupos de afinidade, com plano determinístico. | Docs · Actions |
| Metric Cardinality Audit | Lua | Conta séries e valores de rótulos de métricas e confere orçamentos de cardinalidade. | Docs · Actions |
| Sequence Gap Audit | Elixir | Encontra intervalos ausentes, repetições e chegadas fora de ordem em logs sequenciais. | Docs · Actions |
| HTTP Freshness Core | Kotlin | Calcula frescor e decisões de cache HTTP dentro de um contrato documentado. | Docs · Actions |
| UTC Cron Preview | C# | Mostra próximas ocorrências de expressões cron no recorte UTC suportado. | Docs · Actions |
| POSIX Run Capture | C | Executa um comando local com prazo, captura limitada de saída e resultado estruturado no Linux. | Docs · Actions |
Publicado · desenvolvimento 0.1. Ferramentas e laboratórios com documentação bilíngue, testes e exemplos reproduzíveis. Os links de Actions mostram o estado atual do CI. As três demos web têm arquivos publicados conferidos por HTTP; a validação visual em navegador ainda está pendente.
| Projeto | Linguagem | Finalidade | Consulta |
|---|---|---|---|
| window-stats-stream | Java | Calcula estatísticas em janelas com tempo explícito, fechamento e tratamento de eventos atrasados. | Docs · Actions |
| sse-stream-inspector | Rust | Inspeciona eventos SSE com parsing incremental, limites e diagnósticos de UTF-8. | Docs · Actions |
| budget-hold-ledger | Go | Modela reservas, despacho e custos incertos em cotas inteiras, com histórico verificável. | Docs · Actions |
| transactional-outbox-lab | Python | Demonstra outbox SQLite, leases, fencing e reentrega após perda da confirmação. | Docs · Actions |
| positional-record-codec | PHP | Codifica e confere registros posicionais com contrato, trailer e valores inteiros exatos. | Docs · Actions |
| rollout-rule-engine | Ruby | Avalia regras de liberação com SemVer, dependências e distribuição determinística. | Docs · Actions |
| cidr-subnet-planner | Python | Planeja sub-redes IPv4/IPv6 e VLSM com limites e conservação de endereços. | Docs · Actions |
| freebusy-slot-studio | JavaScript | Encontra horários livres a partir de intervalos explícitos, com inspeção e exportação local. | Docs · Actions · Demo |
| schema-form-studio | JavaScript | Gera formulários de um subconjunto documentado de JSON Schema e explica erros. | Docs · Actions · Demo |
| github-evidence-board | JavaScript | Inspeciona evidências de repositórios por commit, horário e cobertura de workflows. | Docs · Actions · Demo |
| Config Provenance Resolver | Rust | Resolve camadas de configuração com proveniência por caminho e redação de segredos. | Docs · Actions |
| SQLite Migration Rehearsal Lab | Python | Ensaios de migração up/down/up em cópias SQLite, conferindo esquema e dados. | Docs · Actions |
| Fulfillment Reconciliation Lab | Go | Concilia pedidos, reservas e remessas sintéticos, destacando conflitos e evidências ausentes. | Docs · Actions |
| Resumable Transfer Lab | C# | Demonstra retomada HTTP por Range, ETag, checkpoint e SHA-256 esperado em loopback. | Docs · Actions |
Publicado · desenvolvimento 0.1. Bibliotecas e laboratórios com contratos de estado e recursos explícitos, testes independentes e demos locais.
| Projeto | Linguagem | Finalidade | Consulta |
|---|---|---|---|
| Saga Compensation Lab | Java | Demonstra compensação reversa, persistência e reconciliação de resultados incertos com serviços HTTP locais. | Docs · Actions |
| Duplex Drain Pump | C | Retransmite dois fluxos Linux com buffers limitados, contrapressão e half-close por direção. | Docs · Actions |
| Guillotine Cut Plan | C++ | Planeja cortes guilhotinados com espessura de corte e certificado geométrico verificável. | Docs · Actions |
| Deficit Round Queue | Lua | Escalona custos declarados por deficit round-robin, com filas limitadas e contabilidade exata. | Docs · Actions |
Publicado · desenvolvimento 0.1. Exemplos verificáveis de estado, processamento externo e integração com processos locais.
| Projeto | Linguagem | Finalidade | Consulta |
|---|---|---|---|
| ETS Snapshot Bundles | Elixir | Publica gerações imutáveis de dados ETS com leases por processo, limites e limpeza de pins. | Docs · Actions |
| Spill Outer Join | Kotlin | Faz full outer join de JSONL com ordenação externa, multiplicidade e limites compartilhados de disco. | Docs · Actions |
| MQTT Session Recovery Lab | Go | Exercita retained, recuperação de sessão, reinício e Last Will com um broker local próprio. | Docs · Actions |
Publicado · desenvolvimento 0.1. Ferramentas com contratos explícitos, referências, testes independentes e demos reproduzíveis.
| Projeto | Linguagem | Finalidade | Consulta |
|---|---|---|---|
| Pairwise Fixture Plan | Python | Gera fixtures que cobrem pares viáveis de opções, com restrições declarativas e verificador independente. | Docs · Actions |
| Capability Match Core | PHP | Maximiza atribuições compatíveis e minimiza custo inteiro, com certificados de fluxo e custo. | Docs · Actions |
| PostgreSQL Isolation Replay Lab | Ruby | Reproduz anomalias de isolamento, rollback e retentativas com PostgreSQL próprio e barreiras. | Docs · Actions |
| Loopback DNS Cache Lab | TypeScript | Exercita cache DNS positivo/negativo e recuperação UDP para TCP com autoridade local. | Docs · Actions |
| Rollback Connectivity Timeline | Rust | Consulta conectividade ao longo de um histórico de arestas com union-find reversível. | Docs · Actions |
| Orthogonal Route Core | C++ | Roteia conectores em grade inteira com obstáculos, comprimento mínimo e desempate por curvas. | Docs · Actions |
| Bounded Token Net | Elixir | Explora modelos finitos de recursos e devolve testemunhos de deadlock e limites de exploração. | Docs · Actions |
| Revision Validity Index | Kotlin | Preserva consultas históricas por revisão ao corrigir intervalos de validade em memória. | Docs · Actions |
| Fenced Weight Cache | Dart | Combina cache LRU por peso, TTL e carregamento único com proteção contra resultados antigos. | Docs · Actions |
| Mask Region Core | Java | Calcula componentes, buracos e distâncias quadráticas exatas em máscaras binárias, com adaptador PNG. | Docs · Actions |
| Stripe Recovery Kit | Rust | Restaura arquivos a partir de fragmentos redundantes, tratando blocos ausentes ou corrompidos. | Docs · Actions |
| Bounded Observed Set | C# | Modela conjunto replicado com remoção observada, histórico limitado e snapshots validados. | Docs · Actions |
Publicado · desenvolvimento 0.1. Sete projetos com documentação bilíngue, testes e demos locais verificáveis. Os contratos descrevem os limites de cada implementação; consulte a execução atual nos links de Actions.
| Projeto | Linguagem | Finalidade | Consulta |
|---|---|---|---|
| Monotone Curve Core | Dart | Interpola dados crescentes com PCHIP, derivadas, integrais e intervalos inversos explícitos. | Docs · Actions |
| Selection Bitmap Core | C# | Avalia predicados tipados em bitmaps, preservando resultados verdadeiros, falsos e desconhecidos. | Docs · Actions |
| Source Map Chain Replay Lab | TypeScript | Reproduz mapas encadeados de código com TypeScript, esbuild e comparação com o Node. | Docs · Actions |
| Revisioned FTS Search Lab | PHP | Demonstra busca FTS5, revisões, tombstones e consultas consistentes entre HTTP e SQLite. | Docs · Actions |
| SMTP MIME Capture Lab | Ruby | Captura mensagens SMTP locais e inspeciona MIME com armazenamento e recuperação demonstráveis. | Docs · Actions |
| Rational Polyphase Stream | C++ | Reamostra sequências numéricas em blocos com filtro FIR, limites e oráculo de convolução. | Docs · Actions |
| Connection Handoff Reload Lab | C | Demonstra troca de gerações e transferência de conexões TCP por descritores Unix. | Docs · Actions |
Publicado · desenvolvimento 0.1.0. Nove projetos com documentação bilíngue, testes e demos locais. Os links de Actions permitem conferir o commit e o resultado da execução atual; os contratos registram o alcance de cada implementação.
| Projeto | Linguagem | Finalidade | Consulta |
|---|---|---|---|
| Anchored Affine Alignment | Kotlin | Biblioteca de alinhamento global com custo afim de lacunas, âncoras obrigatórias, desempate determinístico e operações verificáveis. | Docs · Actions |
| Control Flow Dominance Core | Java | Biblioteca de análise de fluxo de controle com dominância, pós-dominância condicionada à saída, dependências e laços naturais verificáveis. | Docs · Actions |
| Git Bundle Merge Rehearsal | Ruby | Aplicação offline para ensaiar merges de bundles Git em repositório descartável, produzindo resultado verificável ou conflitos estruturados. | Docs · Actions |
| gRPC Cancellation Tree Lab | TypeScript | Laboratório gRPC sem interface gráfica para propagação de prazos, cancelamento cooperativo e contabilização de tarefas entre processos locais. | Docs · Actions |
| Loopback TLS Rotation Lab | Java | Laboratório JSSE para troca atômica de contexto TLS, preservação de sessões existentes e verificação local com PKI descartável. | Docs · Actions |
| Multipart Object Commit Lab | PHP | Aplicação local de upload multipart com publicação atômica de lotes, deduplicação por conteúdo e recuperação de arquivos órfãos. | Docs · Actions |
| OFD Lock Ownership Lab | C | Laboratório Linux de locks por faixa de bytes, com processos concorrentes, herança de descritores e aquisição com prazo explícito. | Docs · Actions |
| Revisioned Text Buffer | C++ | Biblioteca de texto UTF-8 com edições múltiplas atômicas, snapshots imutáveis, posições UTF-16 e mapas explícitos de reposicionamento. | Docs · Actions |
| Verified Block Delta | Rust | Biblioteca de diferenças binárias com assinaturas deslizantes, operações determinísticas e aplicação verificada sem alterar o arquivo base. | Docs · Actions |
Publicado · desenvolvimento 0.1.0. Onze projetos com documentação bilíngue, testes e demonstrações. Três aplicações React incluem cenas 3D e versões acessíveis por GitHub Pages; a revisão visual em navegador permanece pendente. Consulte o contrato e o commit de cada execução em Actions.
| Projeto | Linguagem | Finalidade | Consulta |
|---|---|---|---|
| Cabinet Assembly Studio | TypeScript | Configura um gabinete em 3D, explora a montagem e exporta medidas e componentes conceituais. | Docs · Actions |
| Frame Transform Studio | TypeScript | Explora hierarquias de coordenadas em 3D e compara poses locais e globais. | Docs · Actions |
| Integer Periodic Neighbors | Python | Biblioteca de vizinhança periódica com coordenadas inteiras, reconstrução conservadora e comparação exata com um oráculo de todos os pares. | Docs · Actions |
| Logical Snapshot Handoff Lab | Go | Laboratório PostgreSQL/SQLite para bootstrap por snapshot exportado, replicação lógica transacional e retomada após falhas. | Docs · Actions |
| Modbus Register Replay Lab | Rust | Laboratório Modbus TCP sintético com cliente, emulador independente e falhas controladas, sem hardware ou destinos externos. | Docs · Actions |
| OCI Layer Effect Explorer | Go | Explica o sistema de arquivos efetivo de imagens OCI locais, incluindo whiteouts e origem por camada, sem executar a imagem. | Docs · Actions |
| Offline Dependency Capsule | Kotlin | Resolve catálogos locais de dependências com restrições explícitas, mudanças mínimas no lock e resultados inconclusivos quando o orçamento termina. | Docs · Actions |
| Relational Fixture Slice | SQL | Extrai fixtures PostgreSQL limitadas, com fechamento referencial, e demonstra a restauração em outro banco vazio. | Docs · Actions |
| Revisioned Formula Cells | Dart | Biblioteca de fórmulas tipadas com edições atômicas, recálculo incremental e recibos de revisão, sem eval. | Docs · Actions |
| Scoped Congruence Explanations | C# | Motor limitado de igualdades entre termos concretos, com congruência, escopos reversíveis e explicações de conflitos verificadas também pelo Z3. | Docs · Actions |
| Spatial Loading Studio | TypeScript | Planeja a ocupação volumétrica em 3D com colisões explícitas, rotações e desfazer. | Docs · Actions |
Publicado · desenvolvimento 0.1.0. Sete projetos com documentação bilíngue, testes e demonstrações locais. Os contratos explicam os limites e os links de Actions permitem conferir cada execução.
| Projeto | Linguagem | Finalidade | Consulta |
|---|---|---|---|
| Trace Context Hop Lab | TypeScript | Reproduz propagação de contexto W3C entre serviços locais, com OpenTelemetry e verificações de continuidade e falhas. | Docs · Actions |
| Byte Corpus Suffix Index | Lua | Indexa pequenos corpora binários com array de sufixos, busca sobreposta e contagens por documento. | Docs · Actions |
| Inotify Convergence Lab | C | Reconcilia diretórios próprios após eventos inotify, distinguindo estado atual, dados antigos e observação incompleta. | Docs · Actions |
| Raster Priority Mosaic | Python | Produz mosaicos de rasters GeoTIFF com prioridade explícita, máscara de validade e conferência independente pelo GDAL. | Docs · Actions |
| LSP Rename Rehearsal | TypeScript | Ensaia renomeação semântica em cópia própria, verifica edições e compila o resultado sem alterar a origem. | Docs · Actions |
| Booklet Imposition Pack | PHP | Organiza páginas PDF em cadernos dobráveis, com mapa de posições e validação por estrutura, texto e rasterização. | Docs · Actions |
| Audio Edit Replay Lab | C# | Monta cortes e silêncio de áudio PCM por índices de amostras, com mapa de saída e conferência dos valores decodificados. | Docs · Actions |
Publicado · desenvolvimento 0.1. Bibliotecas e ferramentas com contratos explícitos, testes nativos, documentação bilíngue e consumo de pacotes conferido fora do código-fonte. Consulte os limites e as execuções de Actions de cada projeto.
| Projeto | Linguagem | Finalidade | Consulta |
|---|---|---|---|
| Swift Actor Transition Rehearsal | Swift | Ensaios de transições em atores, com cancelamento, confirmação de etapas e resultados reproduzíveis. | Docs · Actions |
| SFTP Generation Publisher | Rust | Publica gerações por SFTP em um servidor próprio, com verificação de arquivos e pontos de confirmação explícitos. | Docs · Actions |
| Gettext Generation Workbench | Ruby | Cria gerações de traduções Gettext, confere arquivos GNU e mantém consultas vinculadas a uma versão. | Docs · Actions |
| Julia Bounded GK Evidence | Julia | Resume fluxos inteiros com limites de recursos e certificados de posição conferidos contra os dados de teste. | Docs · Actions |
| Corpus Font Bundle | Python | Produz subconjuntos TTF e WOFF2 para corpus declarado, conferindo composição de glifos e métricas com HarfBuzz. | Docs · Actions |
| OTP State Upgrade Rehearsal | Elixir | Ensaios de troca de código e migração de estado OTP, com recuperação do histórico confirmado em memória. | Docs · Actions |
| LDAP Membership Evidence Lab | C# | Explica caminhos de grupos LDAP sintéticos, ciclos, referências ausentes e observações incompletas. | Docs · Actions |
Publicado · desenvolvimento 0.1.0. Seis bibliotecas e ferramentas com exemplos originais, documentação bilíngue, testes e pacotes conferidos fora do código-fonte. Os contratos descrevem os limites e distinguem resultados completos de execuções inconclusivas.
| Projeto | Linguagem | Finalidade | Consulta |
|---|---|---|---|
| Indexed PNG Palette Pack | C++ | Converte pequenos PNGs RGBA em paletas indexadas, com verificação independente dos pixels e dos limites do formato. | Docs · Actions |
| Stratified Permutation Mass | R | Calcula massas combinatórias exatas de somas em atribuições finitas, preservando os totais de cada estrato. | Docs · Actions |
| Parquet Schema Union Rewrite | Python | Reescreve pequenos conjuntos Parquet em um esquema compatível, com proveniência por linha e conferência pelo DuckDB. | Docs · Actions |
| OCaml Regular Path Witness | OCaml | Encontra percursos de grafos aceitos por expressões regulares, com testemunhas verificadas e limites explícitos de busca. | Docs · Actions |
| Rational Halfspace Witnesses | Haskell | Resolve pequenos sistemas de desigualdades racionais com pontos ou certificados conferidos separadamente e resultado inconclusivo quando necessário. | Docs · Actions |
| Wasm Capability Replay | Go | Reproduz chamadas de módulos WebAssembly sintéticos, conferindo o histórico e a consistência com a entrada declarada. | Docs · Actions |
Junção por similaridade, parsing preditivo, lógica temporal, tensores, geometria, grafos, cinemática 3D, robótica, binários ELF, empacotamento determinístico, cursores JDBC, orçamento geométrico GLB e transições iCalendar · Projetos abertos
Publicado · desenvolvimento 0.1.0. Ensaios de ligação JPMS, algoritmos exatos de junção por similaridade, contratos temporais trivalentes, otimização de árvores de tensores, parsing preditivo LL(1), fatiamento exato de malhas com aritmética racional, isomorfismo exato de grafos com refinamento 1-D Weisfeiler-Lehman, cinemática analítica de desdobramento de embalagens 3D em Three.js, bancada educacional de cinemática de braços articulados de 3 juntas rotativas, auditoria de binários ELF com arquivos de depuração auxiliares (.gnu_debuglink) em Zig, empacotador determinístico de releases ZIP em Rust, laboratório empírico de cursores e cancelamento JDBC PostgreSQL em Java 21, auditor de geometria e orçamento de recursos glTF 2.0 Binary (GLB) em C++20 e ensaio de recorrência e transições de fuso horário iCalendar em PHP 8.4.
| Projeto | Linguagem | Finalidade | Consulta |
|---|---|---|---|
| JPMS Linkage Rehearsal | Java | Ensaios de ligação JPMS, evolução binária de interfaces, encapsulamento e isolamento de processos no Linux. | Docs · Actions |
| Set Overlap Join | Go | Junção exata em lote por similaridade de Jaccard com indexação por prefixos e verificação inteira exata. | Docs · Actions |
| Temporal Obligation Core | PHP | Contratos temporais offline sob Strong Kleene com memoização compacta e operador Until incremental. | Docs · Actions |
| Tensor Order Core | C++ | Otimização combinatória exata de árvores binárias de contração de tensores com DP sobre bipartições e aritmética checada em 128 bits. | Docs · Actions |
| Predictive Grammar Kit | Rust | Análise de gramáticas livres de contexto, derivação de FIRST/FOLLOW e parsing preditivo LL(1) bounded em arena. | Docs · Actions |
| Mesh Section Loops | C# | Fatiamento exato de malhas fechadas 2-variedades em polígonos planares 2D com aritmética racional e simplificação colinear. | Docs · Actions |
| Colored Graph Witness | Kotlin | Isomorfismo exato de grafos pequenos direcionados e rotulados com refinamento 1-D Weisfeiler-Lehman e busca com retrocesso. | Docs · Actions |
| Carton Hinge Studio | TypeScript | Cinemática analítica de desdobramento de embalagens retangulares em 3D (Three.js), convergência de junções e exportação de faca de corte em SVG. | Docs · Actions |
| Reach Branch Studio | TypeScript | Cinemática analítica de braço robótico com 3 juntas rotativas (Three.js), enumeração de ramos de cotovelo, alternativas radiais e rejeição por limites articulares. | Docs · Actions |
| Debuglink Companion Audit | Zig | Auditor de binários ELF e arquivos de depuração auxiliares (.gnu_debuglink) com verificação de CRC32 IEEE 802.3, interoperabilidade libelf e barreiras contra TOCTOU. | Docs · Actions |
| Reproducible ZIP Release Packer | Rust | Empacotador delimitado de releases para arquivos próprios com bytes ZIP estáveis sob compressão fixada, concessão cooperativa de fontes e publicação atômica via linkat. | Docs · Actions |
| JDBC Cursor & Cancellation Rehearsal | Java | Laboratório de cursores no servidor PostgreSQL, consumo delimitado, inspeção de portais em pg_cursors e cancelamento de buscas via PGConnection. | Docs · Actions |
| GLB Geometry Budget | C++ | Auditor delimitado de geometria e orçamento de recursos para arquivos glTF 2.0 Binary (GLB) em C++20 com alocador seguro, transformações em dupla precisão e oráculo Khronos. | Docs · Actions |
| iCalendar Transition Rehearsal | PHP | Motor de ensaio de recorrência iCalendar (RFC 5545) com Sabre VObject, resolução física de instantes UTC, políticas para lacunas e dobras e oráculo zdump. | Docs · Actions |
Site oficial · Contato · Insights sobre software e IA · LinkedIn