Composable static typing, proofs and formal verification for Julia

Playground for formal specifications of interfaces in Julia – GitHub – Keno/InterfaceSpecs.jl: Playground for formal specifications of interfaces in Julia… Read more

Similar

Benchmarking Arrow, Pandas, Julia, R, Spark

This page aims to benchmark various database-like tools popular in open-source data science. It runs regularly against very latest versions of these packages and automatically updates. We provide this as a service to both developers of these packages and ... (more…)

Read more »

A review of the Julia language (2014-15)

Here's a language that gives near-C performance that feels like Python or Ruby with optional type annotations (that you can feed to one of two static analysis tools) that has good support for macros plus decent-ish support for FP, plus a lot more. What's ... (more…)

Read more »