Applied Category Theory is a new paradigm of applied mathematics that incorporates the advances in type theory to analyze scientific and engineering systems.... (more…)
Read more »
In an HBO series and a reality competition on the Food Network, the grande dame of American gastronomy is put in service of the streaming age. (more…)
Read more »
On February 6 (10AM PST/1 PM EST/19:00 CET) Chris Rackauckas gave an introductory tutorial on solving differential equations in Julia. This tutorial targets ... (more…)
Read more »
Catlab.jl is a framework for applied and computational category theory, written in the Julia language. Catlab provides a programming library and interactive interface for applications of category theory to scientific and engineering fields. It emphasizes ... (more…)
Read more »
A simple traits system where the trait-type contains the object - xiaodaigh/TraitWrappers.jl... (more…)
Read more »
