Refinement Types, SMT Integration, Dependent Haskell, Contract Programming
The Clowder Project
golem.ph.utexas.edu·2d
On zero-order consistency residue and background pressure for the conservative SPH fluid dynamics
arxiv.org·2d
FinDPO: Financial Sentiment Analysis for Algorithmic Trading through Preference Optimization of LLMs
arxiv.org·2d
Ramírez’s Decade With Org Mode
irreal.org·1d
Loading...Loading more...