Submissions from github.com/keno

		Formal specifications and static checking of interfaces in Julia (github.com/keno)
		4 points by amkkma on Sept 22, 2023 \| past
		Composable static typing, proofs and formal verification for Julia (github.com/keno)
		2 points by amkkma on Sept 22, 2023 \| past
		Next-Generation Automatic Differentiation (Ad) in Julia (github.com/keno)
		9 points by xiaodai on July 25, 2021 \| past \| 3 comments
		Cxx.jl: C++ interpreter embedded in Julia (github.com/keno)
		16 points by vmorgulis on Jan 12, 2016 \| past \| 5 comments
		Interactively Call C++ from Julia (github.com/keno)
		4 points by one-more-minute on Nov 25, 2014 \| past