reapxdev/zenodo-scraper huggingface dataset:
iona-ce/NocturnalParasitoids: NocturnalParasitoids
Authors: Iona Cunningham-Eurich, Sumner, Seirian, Broad, Gavin
Type: Software
Published: 2026-08-03
Keywords: parasitoid, Hymenoptera

<p>Archived code used for paper "Moth traps shine a light on nocturnal parasitoid wasps: snapshot assessment of UK diversity and distributions" (Cunningham-Eurich, I., Aucock, L., Walters-Hutton, B., Sumner, S., Broad, G) in <em><a href="https://www.wiley.com/en-us/shop/general-introductory-life-sciences/insect-conservation-and-diversity-p-17524598">Insect Conservation and Diversity</a> </em>(2026).</p>
Peculium
Authors: Silva, Túlio Ribeiro de Moura e
Type: Software
Published: 2026-08-03
Keywords: investimentos, renda variável, imposto de renda, B3, nota de corretagem, carteira de investimentos, preço médio, criptografia, Python, SQLite

<p>Gerenciador de investimentos pessoais para uso individual: programa desktop, monousuário, com o acervo inteiro num arquivo cifrado por senha mestra e sem nenhuma porta de rede aberta.</p><p>Mantém um razão append-only de lançamentos do qual posição, preço médio e resultado são derivados por recomputação; importa os relatórios da B3 e as notas de corretagem em PDF (a única fonte dos custos operacionais); apura imposto de renda sobre renda variável em baldes que não se compensam entre si; e emite relatórios gerenciais, incluindo a posição pelo custo de aquisição para a declaração de bens.</p><p>Escrito em Python com pywebview e SQLite. Interface em português do Brasil.</p>
Learning with AI: Companion Materials
Authors: Hyman, James M.
Type: Software
Published: 2026-08-03
Keywords: artificial intelligence, higher education, assessment, academic integrity, teaching

Free, MIT-licensed companion materials for the book "Learning with AI: A Framework for Students, Instructors, and Universities" (James M. Hyman, SIAM Books). For students: the Study Partner Protocol, the Define Personal Preferences guide, a pre-submission checklist, disclosure templates, and worked study sessions in mathematics, physics, statistics, and computing. For instructors: assignment templates, assessment models, rubrics, syllabus language, and discipline overlays. For departments: policy language and an adoption quickstart. The book itself is under SIAM copyright and is not part of this archive.
puffin_female_harvest: code and data for 'Pre-breeding Atlantic puffins (Fratercula arctica) are disappearing from Faroese colonies'
Authors: Ausems, Anne N.M.A., Jensen, Jens-Kjeld
Type: Software
Published: 2026-08-03
Keywords: demographics, seabirds, traditional harvest, recruitment, brood patch, seabird conservation

No description provided.
CALIPER: Comparative Analysis of LLM Inference Perturbation, Evaluation, and Ranking
Authors: Andrés, César, Martín-Moncunill, David, Baños, José Manuel
Type: Software
Published: 2026-08-03
Keywords: LLM evaluation, variance decomposition, statistical power, ranking fragility, reproducible research, empirical software engineering, HumanEval+

First public research release of CALIPER, a reproducible factorial LLM evaluation framework for variance-aware analysis, statistical design guidance, and ranking stability. Accompanying Paper 1 (Empirical Software Engineering manuscript in preparation). Authors: César Andrés (corresponding); David Martín-Moncunill; José Manuel Baños. Primary entry points: README.md, docs/getting-started.md, docs/author_identity.md. Experiment outputs are not bundled; regenerate from configs under configs/.
Lean 4 Formalization Artifact for the Seifert-van Kampen Theorem via Computational Paths
Authors: Ramos, Arthur F., de Veras, Tiago M. L., de Queiroz, Ruy J. G. B., de Oliveira, Anjolina G.
Type: Software
Published: 2026-08-03

<p>This record contains the curated Lean 4 formalization artifact supporting the manuscript "The Seifert-van Kampen Theorem via Computational Paths: A Formalized Approach to Computing Fundamental Groups."</p>
<p>Version 0.4.2 contains the 31 paper entry modules and their 61 transitive local ComputationalPaths dependencies (92 Lean files), Lean/Lake metadata, the MIT license, a theorem manifest, the invariant checker, and the corrected manuscript and reviewer-response sources. It includes the final transcription alignment of the displayed Step codomain with Lean (Type (u + 1)) and the displayed word operation with PushoutPaths.lean (noncomputable inverse).</p>
<p>Headline results include proof-relevant presented path groupoids and fundamental groups; the presented Seifert-van Kampen group equivalence; circle and nontrivial figure-eight specializations; the topological circle comparison with Mathlib's FundamentalGroup (AddCircle 1) 0; the unconditional equivalence between every presented path groupoid and the topological fundamental groupoid of its genuine Mathlib simplicial-nerve realization; the unconditional quotient-compatible topological groupoid certificate for endpoint-varying geometric computational paths; and presented and ambient specializations of that certificate.</p>
<p>The standalone artifact builds with Lean 4.24.0 and Mathlib v4.24.0 and contains zero sorry, admit, or custom axiom declarations. Source commit: a4f8950afeb15492026b7e2b718e80f210559015. Repository release: https://github.com/Arthur742Ramos/ComputationalPathsLean/releases/tag/v0.4.2</p>
<p>SHA-256: 80bba4a3e0d2853c997fd43d5d909be26426ce65ff6b0f9b414ed2b82181e62c.</p>