14 May 23
K is the executable notation at the heart of a high performance programming platform. It is designed for analyzing massive amounts of real-time and historical data – ideal for financial modelling.
25 Jan 22
19 Jun 21
An interactive learning platform to teach the Ada and SPARK programming languages.