AlgebraicJulia: Applied Category Theory in Julia

Applied Category Theory is a new paradigm of applied mathematics that incorporates the advances in type theory to analyze scientific and engineering systems…. Read more

Similar

A Review of the Julia Language

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 »