Cover Image

shawnjason/Hamiltonian-Microscope: v1.0 — Machine-Checked Principal Results

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Shawn Kevin Jason
Format:	Recurso digital
Published:	Zenodo 2026
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

S-Kanzari/vGFit-1.0: vGFit-1.0
by: S-Kanzari
Published: (2025)

risingpower/hcr-core: v1.0.0 — Paper release
by: Crispin, Jason
Published: (2026)

KirklandLab/CRISPR-ScreenAnalysis: v1.0.0
by: Kevin Boyd
Published: (2025)

nfdi4plants/ARCWebView: v1.0.0
by: Frey, Kevin, et al.
Published: (2025)

TESSIA (v.1.0)
by: Mityuryaev, Oleg
Published: (2025)

rnajena/viralclust: Release v1.1.0
by: Kevin Lamkiewicz, et al.
Published: (2025)

Emotional Data Model (EDM) v0.8.0
by: Harvey, Jason
Published: (2026)

cheesesnakes/WhatFishDo: v2.2
by: Shawn Dsouza
Published: (2025)

Model Checking of vGOAL
by: Yang, Yi, et al.
Published: (2024)

Hamiltonian Reduction in Affine Principal Bundles
by: Berbel, Miguel Ángel, et al.
Published: (2026)

adslabcuhk/hats: v1.0
by: Yuanming Ren, et al.
Published: (2026)

scp-llm v1.0
by: Adde, Antoine
Published: (2026)

RIVERS dataset v 1.0
by: Boyes, Christina Anne, et al.
Published: (2026)

ddceruti/pyheatpump: v1.0
by: Amedeo Ceruti
Published: (2025)

dna_replicationtiming-v1.0
by: Sewell, Allysa
Published: (2025)

zatailm/wcloudgui: v1.0
by: MAZ Ilmam
Published: (2025)

UCBCFD/MLegS: v1.0
by: Joon Lee, et al.
Published: (2024)

piyxu/bitloss: v1.0
by: π y x u(t)
Published: (2025)

lifewatch/planktonclas: v1.0-PI10
by: wout decrop, et al.
Published: (2026)

Aditya-Ramesh-10/chunktd: v1.0
by: Aditya Ramesh
Published: (2025)

cmarti/shine_dalgarno: v1.0
by: Carlos Martí-Gómez
Published: (2026)

amulbham/cognitive-physics: v1.0
by: Amul Bham
Published: (2026)

L-SIGMA-RELATION v1.0
by: Kryukova, Svetlana
Published: (2026)

D-POAF® Terminology v1.0
by: IHSINE, Azzeddine, et al.
Published: (2026)

hartmast/arch_FL: v1.0
by: Stefan Hartmann
Published: (2026)

EFU-Nitrogen Standard v1.0
by: Simor, István
Published: (2025)

ahsouri/ozonerates: Ozonerates v1.0
by: Souri, Amir, et al.
Published: (2025)

SolarAlma/SALAT: v1.0
by: Jafarzadeh, Shahin, et al.
Published: (2021)

vasile-paskardlgm/CPF: v1.0
by: PaskardLi
Published: (2025)

lizhez/MusicCloud: v1.0
by: li zhe
Published: (2025)

ABlackx/MDCC: MDCC v1.0
by: ABlackx
Published: (2025)

Text+ Architecture v1.0 (2024)
by: Buddenbohm, Stefan, et al.
Published: (2025)

yuzhimanhua/CoF: v1.0
by: Yu Zhang
Published: (2025)

somnya/petit_rnas: v1.0
by: Eddy Mendoza-Galindo
Published: (2025)

MsRC_code_v1.0
by: Sun, Tianbao
Published: (2025)

jbkinney/24_diagrams: v1.0
by: Rebecca-J-Rousseau, et al.
Published: (2025)

jesstierney/pliocene-da: v1.0
by: Jonathan King, et al.
Published: (2025)

Metabolic Tzolkin OS v1.0
by: LvsD
Published: (2025)

jjmpal/cad_causality: v1.0
by: Joonatan Palmu
Published: (2025)

Dolphin v1.0 Technical Report
by: Weng, Taohan, et al.
Published: (2025)