Type-level Programming, Proof-carrying Code, Agda, Type Safety
haskell/vector
github.comยท3d
A roboticist's journey with JAX: Finding efficiency in optimal control and simulation
developers.googleblog.comยท2d
Integrating React Native into iOS Apps
blog.codeminer42.comยท48m
VizGenie: Toward Self-Refining, Domain-Aware Workflows for Next-Generation Scientific Visualization
arxiv.orgยท1d
PHAX: A Structured Argumentation Framework for User-Centered Explainable AI in Public Health and Biomedical Sciences
arxiv.orgยท1d
A Dual-Feature Extractor Framework for Accurate Back Depth and Spine Morphology Estimation from Monocular RGB Images
arxiv.orgยท16h
Morph: ChirpTransformer-based Encoder-decoder Co-design for Reliable LoRa Communication
arxiv.orgยท16h
Loading...Loading more...